63 search results - page 1 / 13 » Synthesis of Fault-Tolerant Concurrent Programs |
PODC
1998
ACM
14 years 3 months ago
1998
ACM
EDCC
2005
Springer
14 years 4 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
14 years 5 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
14 years 3 months ago
1999
Springer
PVM
2007
Springer
14 years 5 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...