Formal verification and performance evaluation of task scheduling heuristics for makespan optimization and workflow distribution in large-scale computing systems.
Sardar Khaliq uz ZamanAtta ur Rehman KhanSaif Ur Rehman MalikAbdul Nasir KhanTahir MaqsoodSajjad Ahmad MadaniPublished in: Comput. Syst. Sci. Eng. (2017)
Keyphrases
- computing systems
- formal verification
- model checking
- computer systems
- computing technologies
- model checker
- bounded model checking
- scheduling problem
- high performance computing
- automated verification
- autonomic computing
- parallel computing
- real world
- high end
- autonomic computing systems
- state space
- computing platform
- heuristic search
- symbolic model checking
- flowshop
- temporal logic
- lower bound
- optimal solution
- database systems