454 search results - page 1 / 91 » Making distributed systems secure with program analysis and ... |
PASTE
2005
ACM
13 years 11 months ago
2005
ACM
SRDS
2003
IEEE
13 years 10 months ago
2003
IEEE
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...
POPL
2000
ACM
13 years 9 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
ASPLOS
1996
ACM
13 years 9 months ago
1996
ACM
On a distributed memory machine, hand-coded message passing leads to the most efficient execution, but it is difficult to use. Parallelizing compilers can approach the performance...
OOPSLA
2009
Springer
13 years 12 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...