5934 search results - page 88 / 1187 » Detecting a Network Failure |
115
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper shows that, in an environment where we do not bound the number of faulty processes, the class P of Perfect failure detectors is the weakest (among realistic failure det...
134
click to vote
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
The growing computational and storage needs of several scientific applications mandate the deployment of extreme-scale parallel machines, such as IBM’s BlueGene/L which can acc...
136
Voted
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
Protocols that solve agreement problems are essential building blocks for fault tolerant distributed systems. While many protocols have been published, little has been done to ana...
118
Voted
EEE
2005
IEEE
15 years 9 months ago
2005
IEEE
With the boom in e-business, several corporations have emerged in the late nineties that have primarily conducted their business through the Internet and the Web. They have come t...
148
click to vote
IFM
2005
Springer
15 years 9 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...