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.
      Název anglicky: Parallel Algorithms for Detection of Negative Cycles
      RIV/00216224:14330/03:00008594 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Brim, Lubos (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Hejtmánek, Lukáš (203 Česká republika)
      Klíčová slova anglicky: model-checking; parallel computing
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
      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.
      URL
      Název anglicky: Parallel Algorithms for Detection of Negative Cycles
      RIV/00216224:14330/03:00008564 Odborná kniha. Informatika. čeština. Česká republika.
      Brim, Lubos (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Hejtmánek, Lukáš (203 Česká republika)
      Klíčová slova anglicky: model-checking; parallel computing
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
      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.
      Název anglicky: PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.
      RIV/00216224:14330/03:00008595 Odborná kniha. Informatika. angličtina. Nizozemské království.
      Brim, Luboš (203 Česká republika, garant) -- Grumberg, Orna (376 Izrael)
      Klíčová slova anglicky: model checking; parallel computing; distributed computing
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
      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.
      Název anglicky: PDMC 2002 - Parallel and Distributed Model Checking.
      RIV/00216224:14330/02:00007762 Uspořádání workshopu. Počítačový hardware a software. angličtina. Nizozemské království.
      Brim, Luboš (203 Česká republika, garant) -- Grumberg, Orna (376 Izrael)
      Klíčová slova anglicky: model checking; parallel computing
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
      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.
      Název anglicky: PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.
      RIV/00216224:14330/02:00006419 Odborná kniha. Počítačový hardware a software. angličtina. Nizozemské království.
      Brim, Luboš (203 Česká republika, garant) -- Grumberg, Orna (376 Izrael)
      Klíčová slova anglicky: model checking; parallel computing
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
      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.
      URL
      Počítačový hardware a software. angličtina. Česká republika.
      Klíčová slova anglicky: JAVA; distributed computing; parallel computing; RMI; CORBA; HORB
      Změnil: RNDr. Lubomír Markovič, učo 2777. Změněno: 22. 2. 2001 15:49.
      Podrobněji: https://is.muni.cz/publication/345399/cs