276 search results - page 8 / 56 » A Fault Tolerant Abstraction for Transparent Distributed Pro... |
CONCUR
2008
Springer
13 years 10 months ago
2008
Springer
We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and ...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
Checkpoint/restart is a general idea for which particular implementations enable various functionalities in computer systems, including process migration, gang scheduling, hiberna...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
Hypervisor-based fault tolerance (HBFT), a checkpoint-recovery mechanism, is an emerging approach to sustaining mission-critical applications. Based on virtualization technology, H...
SSS
2007
Springer
14 years 2 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...
DSN
2003
IEEE
14 years 1 months ago
2003
IEEE
Clock-related operations are one of the many sources of replica non-determinism and of replica inconsistency in fault-tolerant distributed systems. In passive replication, if the ...