J 2005

Distributed Partial Order Reduction of State Spaces

BRIM, Luboš; Ivana ČERNÁ; Pavel MORAVEC a Jiří ŠIMŠA

Základní údaje

Originální název

Distributed Partial Order Reduction of State Spaces

Název česky

Distribuovaná redukce stavového prostoru

Autoři

Vydání

Electronic Notes on Theoretical Computer Science, Elsevier, 2005, 1571-0661

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Nizozemské království

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14330/05:00012369

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

partial order reduction

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 22. 11. 2006 08:32, prof. RNDr. Luboš Brim, CSc.

Anotace

ORIG CZ

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.

Česky

Je navržen distribuovaný algoritmus pro redukci stavového prostoru.

Návaznosti

GA201/03/0509, projekt VaV
Název: Automatizovaná verifikace paralelních a distribuovaných systémů
Investor: Grantová agentura ČR, Automatizovaná verifikace paralelních a distribuovaných systémů
MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy