Filtrování

    2007

    1. Relaxed Cycle Condition Improves Partial Order Reduction D - Stať ve sborníku
      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.
      Podrobněji: https://is.muni.cz/publication/727871/cs

    2006

    1. Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction D - Stať ve sborníku
      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.
      Podrobněji: https://is.muni.cz/publication/702313/cs
Zobrazit podrobně