Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance.
Fuad AbujaradSandeep S. KulkarniPublished in: SRDS (2009)
Keyphrases
- fault tolerance
- fault tolerant
- distributed computing
- distributed systems
- load balancing
- group communication
- high availability
- response time
- replicated databases
- high performance computing
- failure recovery
- fault management
- data replication
- mobile agents
- peer to peer
- high scalability
- database replication
- distributed query processing
- node failures
- error detection