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á bibliografia

Vydané v:	The Journal of systems and software Ročník 124; s. 1 - 21
Hlavní autori:	Keshanchi, Bahman, Souri, Alireza, Navimipour, Nima Jafari
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Inc 01.02.2017
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!