2214 search results - page 81 / 443 » Dynamic Protocol Recovery |
NCA
2005
IEEE
14 years 3 months ago
2005
IEEE
Datacenters are complex environments consisting of thousands of failure-prone commodity components connected by fast, high-capacity interconnects. The software running on such dat...
APLAS
2007
ACM
14 years 2 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
EUROSYS
2006
ACM
14 years 1 months ago
2006
ACM
This paper describes and evaluates Fireflies, a scalable protocol for supporting intrusion-tolerant network overlays.1 While such a protocol cannot distinguish Byzantine nodes fro...
SIGCOMM
1995
ACM
14 years 1 months ago
1995
ACM
Reliable multicast communication is important in large-scale distributed applications. For example, reliable multicast is used to transmit terrain and environmental updates in dis...
CASCON
2004
13 years 11 months ago
2004
We report on initial experiments in tree locking schemes for compiled database applications. Such applications have a repository style of architecture in which a collection of sof...