Distributed Partial Order Reduction of State Spaces

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, 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í 2004
Druh Článek ve sborníku
Konference Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004)
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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.