3497 search results - page 454 / 700 » Making Distributed Applications Robust |
175
click to vote
ICPP
2005
IEEE
16 years 6 days ago
2005
IEEE
High performance intra-node communication support for MPI applications is critical for achieving best performance from clusters of SMP workstations. Present day MPI stacks cannot ...
160
click to vote
IPPS
2005
IEEE
16 years 6 days ago
2005
IEEE
Modern internet and telephone switches consist of numerous VLSI-circuits operating at high frequencies to handle high bandwidths. It is beyond question that such systems must cont...
175
click to vote
SAC
2005
ACM
16 years 5 days ago
2005
ACM
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to...
168
click to vote
EUROPAR
2005
Springer
16 years 4 days ago
2005
Springer
Availability and performance can be improved using data replication as the basic technique, thus benefitting the services provided by a distributed system. However, replication im...
176
click to vote
TCC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...