Lookup NU author(s): Dr Victor Khomenko,
Professor Maciej Koutny
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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.
Author(s): Heljanko K, Khomenko V, Koutny M
Editor(s): Katoen, J.P., Stevens, P.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference (TACAS)
Year of Conference: 2002
ISSN: 0302-9743 (print) 1611-3349 (online)
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science