1221 search results - page 162 / 245 » A Comparison of Two Programming Models for Pervasive Computi... |
148
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
98
Voted
IPPS
1996
IEEE
15 years 7 months ago
1996
IEEE
Virtual memory-mapped communication (VMMC) is a communication model providing direct data transfer between the sender's and receiver's virtual address spaces. This model...
161
click to vote
FPCA
1995
15 years 7 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
147
Voted
INDOCRYPT
2003
Springer
15 years 8 months ago
2003
Springer
We consider both information-theoretic and cryptographic settings for Multi-Party Computation (MPC), based on the underlying linear secret sharing scheme. Our goal is to study the ...
113
click to vote
SC
1991
ACM
15 years 7 months ago
1991
ACM
We present a new approach that enables compiler optimization of procedure calls and loop nests containing procedure calls. We introduce two interprocedural transformationsthat mov...