Filtrování

    2003

    1. Parallel Algorithms for Detection of Negative Cycles
      BRIM, Lubos; Ivana ČERNÁ a Lukáš HEJTMÁNEK. Parallel Algorithms for Detection of Negative Cycles. In Proceedings of the 10th ParCo Conference. Holandsko: Elsevier B.V., 2003, s. 98-111.
      Podrobněji: https://is.muni.cz/publication/489815/cs
    2. Parallel Algorithms for Detection of Negative Cycles
      BRIM, Lubos; Ivana ČERNÁ a Lukáš HEJTMÁNEK. Parallel Algorithms for Detection of Negative Cycles. Brno: Faculty of Informatics, 2003, 14 s. Technical Reports, FIMU-RS-2003-04.
      Podrobněji: https://is.muni.cz/publication/488138/cs
    3. PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.
      BRIM, Luboš a Orna GRUMBERG. PDMC 2003 - Parallel and Distributed Model Checking. Proceedings. Nizozemsko: Elsevier, 2003, 130 s. ENTCS, Vol. 89, No. 1.
      Podrobněji: https://is.muni.cz/publication/489820/cs

    2002

    1. PDMC 2002 - Parallel and Distributed Model Checking.
      BRIM, Luboš a Orna GRUMBERG. PDMC 2002 - Parallel and Distributed Model Checking. 2002.
      Podrobněji: https://is.muni.cz/publication/486514/cs
    2. PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.
      BRIM, Luboš a Orna GRUMBERG. PDMC 2002 - Parallel and Distributed Model Checking. Proceedings. Nizozemsko: Elsevier, 2002, 165 s. ENTCS, Vol. 68, No. 4. ISBN 0444512918.
      Podrobněji: https://is.muni.cz/publication/405363/cs

    2000

    1. High Performance Computing in JAVA -- Fact or Fiction?
      DVOŘÁK, Václav a Lubomír MARKOVIČ. High Performance Computing in JAVA -- Fact or Fiction? Brno (Czech Republic), 2000. FIMU-RS-2000-11.
      Podrobněji: https://is.muni.cz/publication/345399/cs
Zobrazit podrobně