XSpeed: Accelerating Reachability Analysis on Multi-core Processors

Haifa Verification Conference, pp. 3-18, 2015.

被引用20|引用|浏览7
EI
其它链接dblp.uni-trier.de|academic.microsoft.com

摘要

We present XSpeed a parallel state-space exploration algorithm for continuous systems with linear dynamics and nondeterministic inputs. The motivation of having parallel algorithms is to exploit the computational power of multi-core processors to speed-up performance. The parallelization is achieved on two fronts. First, we propose a para...更多

代码

数据

您的评分 :
0

 

标签
评论