4690 search results - page 364 / 938 » An operational semantics for Scheme |
161
click to vote
JLP
2011
14 years 9 months ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
193
Voted
P2P
2006
IEEE
16 years 26 days ago
2006
IEEE
Content storage in a distributed collaborative environment uses redundancy for better resilience and thus provides good availability and durability. In a peer-to-peer environment,...
168
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
With the development of computer systems, function inlining schemes were used to reduce execution time while increasing codes. In embedded systems such as wireless sensor nodes, t...
167
click to vote
APPROX
2004
Springer
16 years 7 days ago
2004
Springer
A quantum encryption scheme (also called private quantum channel, or state randomization protocol) is a one-time pad for quantum messages. If two parties share a classical random s...
185
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
MPI Alltoall is one of the most communication intense collective operation used in many parallel applications. Recently, the supercomputing arena has witnessed phenomenal growth o...