242 search results - page 4 / 49 » Computing bounds for fault tolerance using formal techniques |
ICDCS
2003
IEEE
14 years 22 days 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...
PODC
2012
ACM
11 years 9 months ago
2012
ACM
Multi-party communication complexity involves distributed computation of a function over inputs held by multiple distributed players. A key focus of distributed computing research...
ICDCN
2009
Springer
14 years 2 months ago
2009
Springer
We present the first wait-free and self-stabilizing implementation of a single-writer/single-reader regular register by single-writer/single-reader safe registers. The constructio...
ISORC
2009
IEEE
14 years 2 months ago
2009
IEEE
General-purpose middleware, by definition, cannot readily support domain-specific semantics without significant manual efforts in specializing the middleware. This paper prese...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
Fault tolerance is an important issue for large machines with tens or hundreds of thousands of processors. Checkpoint-based methods, currently used on most machines, rollback all ...