BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC a Jiří ŠIMŠA. Distributed Partial Order Reduction of State Spaces. In Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004). London, U.K.: Imperial College London, 2004, s. 3-18, 15 s. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{571355, author = {Brim, Luboš and Černá, Ivana and Moravec, Pavel and Šimša, Jiří}, address = {London, U.K.}, booktitle = {Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004)}, keywords = {partial order reduction}, language = {eng}, location = {London, U.K.}, pages = {3-18}, publisher = {Imperial College London}, title = {Distributed Partial Order Reduction of State Spaces}, year = {2004} }
TY - JOUR ID - 571355 AU - Brim, Luboš - Černá, Ivana - Moravec, Pavel - Šimša, Jiří PY - 2004 TI - Distributed Partial Order Reduction of State Spaces PB - Imperial College London CY - London, U.K. KW - partial order reduction N2 - In this paper we propose a distrubuted partial order reduction algorithm for generating a reduced state space. Our algorithm exploits some features of the partial order reduction which make the idea of distributed DFS-based algorithm feasible. A pseudocode of the algorithm is given, its correctness is proven, its complexity is discussed and experimental results are presented. ER -
BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC a Jiří ŠIMŠA. Distributed Partial Order Reduction of State Spaces. In \textit{Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004)}. London, U.K.: Imperial College London, 2004, s.~3-18, 15 s.
|