5235 search results - page 584 / 1047 » Analysis of Multithreaded Programs |
199
click to vote
ESSOS
2010
Springer
16 years 4 months ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...
210
click to vote
ICSM
2009
IEEE
16 years 2 months ago
2009
IEEE
Program call graph representation can be used to support many tasks in compiler optimization, program comprehension, and software maintenance. During software evolution, the call ...
179
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
190
click to vote
CCS
2004
ACM
16 years 1 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
225
click to vote
FCCM
2002
IEEE
16 years 17 days ago
2002
IEEE
Reconfigurable systems, and in particular, FPGA-based custom computing machines, offer a unique opportunity to define application-specific architectures. These architectures offer...