1268 search results - page 207 / 254 » Verifying distributed systems: the operational approach |
156
click to vote
SRDS
2007
IEEE
16 years 11 days ago
2007
IEEE
Constructing logical machines out of collections of physical machines is a well-known technique for improving the robustness and fault tolerance of distributed systems. We present...
176
click to vote
SOSP
2005
ACM
16 years 3 months ago
2005
ACM
This paper describes a general approach to constructing cooperative services that span multiple administrative domains. In such environments, protocols must tolerate both Byzantin...
150
click to vote
FAST
2007
15 years 7 months ago
2007
Component failure in large-scale IT installations is becoming an ever larger problem as the number of components in a single cluster approaches a million. In this paper, we presen...
175
click to vote
USENIX
1996
15 years 7 months ago
1996
This paper describes a new method for providingtransparent fault tolerance for parallel applications on a network of workstations. We have designed our method in the context of sh...
171
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
Idle desktops have been successfully used to run sequential and master-slave task parallel codes on a large scale in the context of volunteer computing. However, execution of messa...