42 search results - page 1 / 9 » Global Predicate Detection in Distributed Systems with Small... |
SSS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We study the problem of global predicate detection in presence of permanent and transient failures. We term the transient failures as small faults. We show that it is imp...
ICDCS
2003
IEEE
13 years 10 months ago
2003
IEEE
Writing correct distributed programs is hard. In spite of extensive testing and debugging, software faults persist even in commercial grade software. Many distributed systems, esp...
SRDS
2000
IEEE
13 years 9 months ago
2000
IEEE
DC
1998
13 years 5 months ago
1998
We show that the problem of predicate detection in distributed systems is NP-complete. In the past, efficient algorithms have been developed for special classes of predicates suc...
WDAG
1997
Springer
13 years 9 months ago
1997
Springer