Filter

    2003

    1. Parallel Algorithms for Detection of Negative Cycles
      BRIM, Lubos; Ivana ČERNÁ and Lukáš HEJTMÁNEK. Parallel Algorithms for Detection of Negative Cycles. In Proceedings of the 10th ParCo Conference. Holandsko: Elsevier B.V., 2003, p. 98-111.
      Name (in English): Parallel Algorithms for Detection of Negative Cycles
      RIV/00216224:14330/03:00008594 Proceedings paper. Informatics. English. Netherlands.
      Brim, Lubos (203 Czech Republic, guarantor) -- Černá, Ivana (203 Czech Republic) -- Hejtmánek, Lukáš (203 Czech Republic)
      Keywords in English: model-checking; parallel computing
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32.
      More: https://is.muni.cz/publication/489815/en
    2. Parallel Algorithms for Detection of Negative Cycles
      BRIM, Lubos; Ivana ČERNÁ and Lukáš HEJTMÁNEK. Parallel Algorithms for Detection of Negative Cycles. Brno: Faculty of Informatics, 2003, 14 pp. Technical Reports, FIMU-RS-2003-04.
      URL
      Name (in English): Parallel Algorithms for Detection of Negative Cycles
      RIV/00216224:14330/03:00008564 Book on a specialized topic. Informatics. Czech. Czech Republic.
      Brim, Lubos (203 Czech Republic, guarantor) -- Černá, Ivana (203 Czech Republic) -- Hejtmánek, Lukáš (203 Czech Republic)
      Keywords in English: model-checking; parallel computing
      International impact: yes
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32.
      More: https://is.muni.cz/publication/488138/en
    3. PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.
      BRIM, Luboš and Orna GRUMBERG. PDMC 2003 - Parallel and Distributed Model Checking. Proceedings. Nizozemsko: Elsevier, 2003, 130 pp. ENTCS, Vol. 89, No. 1.
      Name (in English): PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.
      RIV/00216224:14330/03:00008595 Book on a specialized topic. Informatics. English. Netherlands.
      Brim, Luboš (203 Czech Republic, guarantor) -- Grumberg, Orna (376 Israel)
      Keywords in English: model checking; parallel computing; distributed computing
      International impact: yes
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32.
      More: https://is.muni.cz/publication/489820/en

    2002

    1. PDMC 2002 - Parallel and Distributed Model Checking.
      BRIM, Luboš and Orna GRUMBERG. PDMC 2002 - Parallel and Distributed Model Checking. 2002.
      Name (in English): PDMC 2002 - Parallel and Distributed Model Checking.
      RIV/00216224:14330/02:00007762 Organization of a workshop. Computer hardware and software. English. Netherlands.
      Brim, Luboš (203 Czech Republic, guarantor) -- Grumberg, Orna (376 Israel)
      Keywords in English: model checking; parallel computing
      International impact: yes
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32.
      More: https://is.muni.cz/publication/486514/en
    2. PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.
      BRIM, Luboš and Orna GRUMBERG. PDMC 2002 - Parallel and Distributed Model Checking. Proceedings. Nizozemsko: Elsevier, 2002, 165 pp. ENTCS, Vol. 68, No. 4. ISBN 0444512918.
      Name (in English): PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.
      RIV/00216224:14330/02:00006419 Book on a specialized topic. Computer hardware and software. English. Netherlands.
      Brim, Luboš (203 Czech Republic, guarantor) -- Grumberg, Orna (376 Israel)
      Keywords in English: model checking; parallel computing
      International impact: yes
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32.
      More: https://is.muni.cz/publication/405363/en

    2000

    1. High Performance Computing in JAVA -- Fact or Fiction?
      DVOŘÁK, Václav and Lubomír MARKOVIČ. High Performance Computing in JAVA -- Fact or Fiction? Brno (Czech Republic), 2000. FIMU-RS-2000-11.
      URL
      Computer hardware and software. English. Czech Republic.
      Keywords in English: JAVA; distributed computing; parallel computing; RMI; CORBA; HORB
      Changed by: RNDr. Lubomír Markovič, učo 2777. Changed: 22/2/2001 15:49.
      More: https://is.muni.cz/publication/345399/en