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

详细信息    查看全文

• 作者：Bahman Keshanchi^aAuthor Vitae ; Alireza Souri^aAuthor Vitae ; Nima Jafari Navimipour^b ; ^{jafari@iaut.ac.ir}Author Vitae
• 关键词：Cloud computing ; Directed acyclic graph ; Genetic algorithm ; Formal verification ; Task scheduling ; Model checking
• 刊名：Journal of Systems and Software
• 出版年：2017
• 出版时间：February 2017
• 年：2017
• 卷：124
• 期：Complete
• 页码：1-21
• 全文大小：7843 K
• 卷排序：124

文摘

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.