Static Analysis Meets Distributed Fault-Tolerance: Enabling State-Machine Replication with Nondeterminism.
Joseph G. SlemberPriya NarasimhanPublished in: HotDep (2006)
Keyphrases
- fault tolerant
- state machine
- fault tolerance
- static analysis
- distributed systems
- state machines
- dynamic analysis
- distributed computing
- group communication
- database replication
- high availability
- high scalability
- single point of failure
- source code
- fault management
- replicated databases
- load balancing
- data replication
- distributed environment
- failure recovery
- mobile agents
- node failures
- test suite
- mobile agent system
- open source
- database