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í: 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
• 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ů
• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů