Load Balancing Parallel Explicit State Model Checking.
Rahul KumarEric G. MercerPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- load balancing
- model checking
- dynamic load balancing
- temporal logic
- finite state machines
- parallel query processing
- load balancing strategy
- parallel database systems
- load balance
- transition systems
- formal verification
- distributed systems
- fault tolerance
- temporal properties
- peer to peer
- formal specification
- mobile agents
- fault tolerant
- data skew
- formal methods
- round robin
- epistemic logic
- automated verification
- concurrent systems
- computation tree logic
- model checker
- data replication
- artificial intelligence
- pc cluster
- symbolic model checking
- load balancing strategies
- inter processor communication
- timed automata
- data partitioning
- grid computing
- multiprocessor systems
- query optimization
- data structure