Using Program Analysis to Identify and Compensate for Nondeterminism in Fault-Tolerant, Replicated Systems.

Joseph G. Slember Priya Narasimhan

Published in: SRDS (2004)

Keyphrases

fault tolerant
distributed systems
fault tolerance
safety critical
load balancing
high assurance
high availability
complex systems
computer systems
message passing
management system
expert systems
state machine
intelligent systems
physical systems
data replication
database