Filter

    2009

    1. DiVinE 2.0 (software) R - Software
      ROČKAI, Petr; Jiří BARNAT; Luboš BRIM and Milan ČEŠKA. DiVinE 2.0. 2009.
      URL
      Name in Czech: DiVinE 2.0
      Name (in English): DiVinE 2.0
      RIV/00216224:14330/09:00028810 Software. Informatics. English. Czech Republic.
      Ročkai, Petr (703 Slovakia, belonging to the institution) -- Barnat, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Brim, Luboš (203 Czech Republic, belonging to the institution) -- Češka, Milan (203 Czech Republic, belonging to the institution)
      Keywords in English: parallel verification; multi-core; model-checking; cluster; mpi
      International impact: yes
      Type of record: Software
      Changed by: RNDr. Petr Ročkai, Ph.D., učo 139761. Changed: 18/2/2013 12:42.
      More: https://is.muni.cz/publication/875229/en

    2007

    1. DiVinE Multi-Core (software) R - Software
      BARNAT, Jiří; Luboš BRIM and Petr ROČKAI. DiVinE Multi-Core. 2007.
      URL
      Name in Czech: DiVinE Multi-Core
      Name (in English): DiVinE Multi-Core
      RIV/00216224:14330/07:00019614 Software. Informatics. English. Czech Republic.
      Barnat, Jiří (203 Czech Republic) -- Brim, Luboš (203 Czech Republic, guarantor) -- Ročkai, Petr (203 Czech Republic)
      Keywords in English: parallel verification; multi-core architecture; model-checking
      International impact: yes
      Type of record: Software
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 12/2/2009 09:41.
      More: https://is.muni.cz/publication/759931/en

    2006

    1. DiVinE Library (software) R - Software
      BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Pavel MORAVEC; Pavel ŠIMEČEK and Jakub CHALOUPKA. DiVinE Library. 2006.
      URL
      Name in Czech: Knihovna DiVinE
      Name (in English): DiVinE Library
      RIV/00216224:14330/06:00024474 Software. Informatics. English. Czech Republic.
      Barnat, Jiří (203 Czech Republic) -- Brim, Luboš (203 Czech Republic, guarantor) -- Černá, Ivana (203 Czech Republic) -- Moravec, Pavel (203 Czech Republic) -- Šimeček, Pavel (203 Czech Republic) -- Chaloupka, Jakub (203 Czech Republic)
      Keywords in English: parallel verification; LTL model-checking
      International impact: yes
      Type of record: Software
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 2/6/2009 11:35.
      More: https://is.muni.cz/publication/834420/en