1740 search results - page 175 / 348 » Group communication protocol for flexible distributed system... |
SENSYS
2009
ACM
14 years 3 months ago
2009
ACM
Network protocols are typically designed and tested individually. In practice, however, applications use multiple protocols concurrently. This discrepancy can lead to failures fro...
CONCUR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are ...
PODC
2012
ACM
11 years 11 months ago
2012
ACM
In recent years, there have been a few proposals to add a small amount of trusted hardware at each replica in a Byzantine fault tolerant system to cut back replication factors. Th...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
Programmers and users of compute intensive scientific applications often do not want to (or even cannot) code load balancing and fault tolerance into their programs. The PBEAM syst...
EUROPAR
2009
Springer
14 years 3 months ago
2009
Springer
The size of supercomputers in numbers of processors is growing exponentially. Today’s largest supercomputers have upwards of a hundred thousand processors and tomorrow’s may ha...