Distributed Partial Order Reduction of State Spaces

• 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
• 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