Specification and Verification of Fault-Tolerance, Timing, and Scheduling.
Zhiming LiuMathai JosephPublished in: ACM Trans. Program. Lang. Syst. (1999)
Keyphrases
- fault tolerance
- asynchronous circuits
- fault tolerant
- formal verification
- response time
- scheduling algorithm
- load balancing
- distributed systems
- distributed computing
- formal methods
- high availability
- model checking
- group communication
- peer to peer
- scheduling problem
- protocol specification
- mobile agents
- database replication
- distributed query processing
- fault management
- computational grids
- data replication
- high performance computing
- resource constraints
- replicated databases
- artificial intelligence
- component failures
- formal specification
- resource allocation
- high scalability
- database systems