An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: Formal verification, simulation, and statistical testing

•Elitism technique with unusual selections is adopted to evade premature convergence.•Statistical analyzes on the different randomly generated graphs are done.•The proposed technique is translated into a verifiable behavioral model. Cloud computing is a new platform to manage and provide services on...

Celý popis

Podrobná bibliografie

Vydáno v:	The Journal of systems and software Ročník 124; s. 1 - 21
Hlavní autoři:	Keshanchi, Bahman, Souri, Alireza, Navimipour, Nima Jafari
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.02.2017
Témata:	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
ISSN:	0164-1212, 1873-1228
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!