An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: Formal verification, simulation, and statistical testing
作者: Bahman KeshanchiAlireza SouriNima Jafari Navimipour
作者单位: 1Young Researchers and Elite Club, Tabriz Branch, Islamic Azad University, Tabriz, Iran
2Department of Computer Engineering, Tabriz Branch, Islamic Azad University, Tabriz, Iran
刊名: The Journal of Systems & Software, 2017, Vol.124 , pp.1-21
来源数据库: Elsevier Journal
DOI: 10.1016/j.jss.2016.07.006
关键词: Cloud computingDirected acyclic graphGenetic algorithmFormal verificationTask schedulingModel checking
原始语种摘要: Abstract(#br)Cloud computing is a new platform to manage and provide services on the internet. Lately, researchers have paid attention a lot to this new subject. One of the reasons to have high performance in a cloud environment is the task scheduling. Since the task scheduling is an NP-Complete problem, in many cases, meta-heuristics scheduling algorithms are used. In this paper to optimize the task scheduling solutions, a powerful and improved genetic algorithm is proposed. The proposed algorithm uses the advantages of evolutionary genetic algorithm along with heuristic approaches. For analyzing the correctness of the proposed algorithm, we have presented a behavioral modeling approach based on model checking techniques. Then, the expected specifications of the proposed algorithm is...
全文获取路径: Elsevier  (合作)
分享到:
来源刊物:
影响因子:1.135 (2012)

×
关键词翻译
关键词翻译
  • algorithm 算法
  • scheduling 
  • genetic 遗传的
  • simulation 模拟
  • proposed 建议的
  • improved 改进
  • heuristic 试探
  • statistical 统计的
  • expected 预期
  • verification 检验