7961 search results - page 549 / 1593 » Input-Output Model Programs |
295
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
199
click to vote
HOTOS
2009
IEEE
15 years 11 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
331
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
235
click to vote
ASPLOS
1996
ACM
15 years 11 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...
171
click to vote
ICALP
2004
Springer
16 years 18 days ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...