An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: Formal verification, simulation, and statistical testing - Keshanchi, Bahman; Souri, Alireza; Navimipour, Nima Jafari (The Journal of systems and software, 2017)
Keywords: Cloud computing; Directed acyclic graph; Formal verification; Genetic algorithm; Model checking; Task scheduling; Task scheduling; Model checking; Cloud computing; Directed acyclic graph; Genetic algorithm; Formal verification