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...

Full description

Bibliographic Details

Published in:	The Journal of systems and software Vol. 124; pp. 1 - 21
Main Authors:	Keshanchi, Bahman, Souri, Alireza, Navimipour, Nima Jafari
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.02.2017
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!