Detailed Information on Publication Record
2004
Distributed Partial Order Reduction of State Spaces
BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC and Jiří ŠIMŠABasic information
Original name
Distributed Partial Order Reduction of State Spaces
Name in Czech
Distribuovaná redukce stavového prostoru
Authors
BRIM, Luboš (203 Czech Republic, guarantor), Ivana ČERNÁ (203 Czech Republic), Pavel MORAVEC (203 Czech Republic) and Jiří ŠIMŠA (203 Czech Republic)
Edition
London, U.K. Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004), p. 3-18, 15 pp. 2004
Publisher
Imperial College London
Other information
Language
English
Type of outcome
Stať ve sborníku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
United Kingdom of Great Britain and Northern Ireland
Confidentiality degree
není předmětem státního či obchodního tajemství
RIV identification code
RIV/00216224:14330/04:00011102
Organization unit
Faculty of Informatics
Keywords in English
partial order reduction
Změněno: 3/2/2006 15:12, Mgr. Pavel Moravec
V originále
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.
In Czech
Je navržen distribuovaný algoritmus pro redukci stavového prostoru.
Links
| GA201/03/0509, research and development project |
| ||
| MSM 143300001, plan (intention) |
|