作者
Keijo Heljanko, Victor Khomenko, Maciej Koutny
发表日期
2002
研讨会论文
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002)
页码范围
371-385
出版商
Springer Berlin/Heidelberg
简介
In this paper, we first present theoretical results, helping to understand the unfolding algorithm presented in [6],[7]. We then propose a modification of this algorithm, which can be efficiently parallelised and admits a more efficient implementation. Our experiments demonstrate that the degree of parallelism is usually quite high and resulting algorithms potentially can achieve significant speedup comparing with the sequential case.
引用总数
2001200220032004200520062007200820092010201120122013201420152016201720182019202020211574436315431341114
学术搜索中的文章
K Heljanko, V Khomenko, M Koutny - Tools and Algorithms for the Construction and Analysis …, 2002