GPU accelerated on-the-fly reachability checking

• المؤلفون الرئيسيون: WU, Zhimin, LIU, Yang, SUN, Jun, SHI, Jianqi, QIN, Shengchao
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2015
• الموضوعات: Computer and Systems Architecture; Software Engineering
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/4951; https://ink.library.smu.edu.sg/context/sis_research/article/5954/viewcontent/ICECCS2015b.pdf
• المؤسسة: Singapore Management University

Model checking suffers from the infamous state space explosion problem. In this paper, we propose an approach, named GPURC, to utilize the Graphics Processing Units (GPUs) to speed up the reachability verification. The key idea is to achieve a dynamic load balancing so that the many cores in GPUs ar...