Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance.
Anish AroraMohamed G. GoudaGeorge VarghesePublished in: Specification of Parallel Algorithms (1994)
Keyphrases
- constraint satisfaction
- fault tolerance
- fault tolerant
- constraint satisfaction problems
- distributed computing
- distributed systems
- load balancing
- high availability
- response time
- mobile agents
- group communication
- constraint relaxation
- replicated databases
- constraint programming
- constraint propagation
- heuristic search
- database replication
- peer to peer
- data replication
- constraint solving
- soft constraints
- failure recovery
- fault management
- error detection
- russian doll search
- component failures
- robust fault detection
- multi agent systems
- constraint optimization
- constrained problems
- constraint networks
- arc consistency
- sat solvers
- database systems