Distributed Partial Order Reduction of State Spaces

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Distribuovaná redukce stavového prostoru
Autoři	BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ŠIMŠA Jiří
Rok publikování	2005
Druh	Článek v odborném periodiku
Časopis / Zdroj	Electronic Notes on Theoretical Computer Science
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	partial order reduction
Popis	Je navržen distribuovaný algoritmus pro redukci stavového prostoru.
Související projekty:	Automatizovaná verifikace paralelních a distribuovaných systémů Vysoce paralelní a distribuované výpočetní systémy