An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: Formal verification, simulation, and statistical testing.
Bahman KeshanchiAlireza SouriNima Jafari NavimipourPublished in: J. Syst. Softw. (2017)
Keyphrases
- formal verification
- model checking
- bounded model checking
- model checker
- automated verification
- priority queue
- symbolic model checking
- simulation model
- cloud computing environment
- program slicing
- waiting times
- grid computing
- computing environments
- temporal logic
- statistical analysis
- cloud computing
- software engineering