63 search results - page 1 / 13 » Synthesis of Fault-Tolerant Concurrent Programs |
PODC
1998
ACM
13 years 9 months ago
1998
ACM
EDCC
2005
Springer
13 years 10 months ago
2005
Springer
We present a hybrid synthesis method for automatic addition of fault-tolerance to distributed programs. In particular, we automatically specify and add pre-synthesized fault-tolera...
SSS
2007
Springer
13 years 11 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
WDAG
1999
Springer
13 years 9 months ago
1999
Springer
PVM
2007
Springer
13 years 11 months ago
2007
Springer
Many existing clusters use inexpensive Gigabit Ethernet and often have multiple interfaces cards to improve bandwidth and enhance fault tolerance. We investigate the use of Concurr...