Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2007

    1. Relaxed Cycle Condition Improves Partial Order Reduction
      MORAVEC, Pavel a Jiří ŠIMŠA. Relaxed Cycle Condition Improves Partial Order Reduction. In 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo, Czech Republic: FI MU, FIT VUT, 2007, s. 140-147. ISBN 978-80-7355-077-6.
      Název česky: Oslabení podmínky na cykly zlepšující redukci pomocí reprezentantů
      Název anglicky: Relaxed Cycle Condition Improves Partial Order Reduction
      RIV/00216224:14330/07:00019497 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Moravec, Pavel (203 Česká republika, garant) -- Šimša, Jiří (203 Česká republika)
      Klíčová slova anglicky: model checking; partial order reduction; proviso checking
      Změnil: Mgr. Pavel Moravec, učo 39589. Změněno: 28. 11. 2007 10:10.
      Podrobněji: https://is.muni.cz/publication/727871/cs

    2006

    1. Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction
      MORAVEC, Pavel. Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction. In 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). Mikulov, Czech Republic: FI MU Report Series, 2006, s. 129-136.
      Název česky: Experimentální porovnání algoritmů ověřujících proviso pro redukci pomocí reprezentantů
      Název anglicky: Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction
      RIV/00216224:14330/06:00015445 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Moravec, Pavel (203 Česká republika, garant)
      Klíčová slova anglicky: model checking; partial order reduction; proviso checking
      Změnil: Mgr. Pavel Moravec, učo 39589. Změněno: 4. 12. 2006 15:24.
      Podrobněji: https://is.muni.cz/publication/702313/cs
Zobrazeno: 31. 7. 2024 11:39