D 2004

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í

London, U.K. Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004), od s. 3-18, 15 s. 2004

Nakladatel

Imperial College London

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Velká Británie a Severní Irsko

Utajení

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

Kód RIV

RIV/00216224:14330/04:00011102

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

partial order reduction

Štítky

Změněno: 3. 2. 2006 15:12, Mgr. Pavel Moravec, Ph.D.

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ů
MSM 143300001, záměr
Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů