Software Fault Tolerance: The Evaluation by Functional Verification.
Ondrej CekanJakub PodivinskyZdenek KotásekPublished in: DSD (2015)
Keyphrases
- fault tolerance
- fault tolerant
- functional verification
- distributed systems
- load balancing
- distributed computing
- response time
- hardware software
- software development
- software systems
- group communication
- database replication
- mobile agents
- source code
- peer to peer
- high performance computing
- replicated databases
- design process
- data processing
- failure recovery
- fault management
- single point of failure