Hybrid reliable load balancing with MOSIX as middleware and its formal verification using process algebra.
Shakti MishraDharmender Singh KushwahaArun Kumar MisraPublished in: Future Gener. Comput. Syst. (2011)
Keyphrases
- load balancing
- formal verification
- model checking
- process algebra
- distributed systems
- concurrent systems
- temporal logic
- formal specification
- dynamic load balancing
- mobile agents
- rfid middleware
- load balancing strategies
- formal methods
- asynchronous circuits
- load balance
- peer to peer
- grid computing
- load balancing strategy
- distributed environment
- real time
- petri net