2678 search results - page 434 / 536 » Operational Semantics of Transactions |
131
click to vote
JFP
2010
15 years 10 days ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
123
click to vote
PVM
2010
Springer
15 years 9 days ago
2010
Springer
With the ever-increasing numbers of cores per node on HPC systems, applications are increasingly using threads to exploit the shared memory within a node, combined with MPI across ...
117
click to vote
SRDS
2010
IEEE
14 years 11 months ago
2010
IEEE
Virtual machine (VM) introspection is a powerful technique for determining the specific aspects of guest VM execution from outside the VM. Unfortunately, existing introspection so...
117
click to vote
FAST
2009
14 years 11 months ago
2009
Clustered applications in storage area networks (SANs), widely adopted in enterprise datacenters, have traditionally relied on distributed locking protocols to coordinate concurre...
126
click to vote
CRYPTO
2010
Springer
14 years 10 months ago
2010
Springer
We present a general method to compile any cryptographic algorithm into one which resists side channel attacks of the only computation leaks information variety for an unbounded nu...