česky | in English
Název česky: DiVinE 2.0
Název anglicky: DiVinE 2.0
RIV/00216224:14330/09:00028810 Software. Informatika. angličtina. Česká republika.
Ročkai, Petr (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Češka, Milan (203 Česká republika, domácí)
Klíčová slova anglicky: parallel verification; multi-core; model-checking; cluster; mpi
Mezinárodní význam: ano
Změnil: RNDr. Petr Ročkai, Ph.D., učo 139761. Změněno: 18. 2. 2013 12:42.
Název česky: Distribuované ověřování modelu LTL s využitím prohledávání grafu do šířky
Název anglicky: Distributed breadth-first search LTL model checking
RIV/00216224:14330/06:00015452 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
Barnat, Jiří (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika)
Klíčová slova anglicky: LTL model checking; Distributed memory; Breadth-first Search
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 6. 2009 21:13.
Název česky: Od distribuovane detekce cyklu k paralelnimu LTL overovani modelu
Název anglicky: From Distributed Memory Cycle Detection to Parallel LTL Model Checking
RIV/00216224:14330/05:00012493 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Chaloupka, Jakub (203 Česká republika)
Klíčová slova anglicky: LTL model checking; breadth first search; distributed memory
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.
Název česky: Od distribuovane detekce cyklu k paralelnimu LTL overovani modelu
Název anglicky: From Distributed Memory Cycle Detection to Parallel LTL Model Checking
RIV/00216224:14330/04:00010725 Stať ve sborníku. Informatika. angličtina. Česká republika.
Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Chaloupka, Jakub (203 Česká republika)
Klíčová slova anglicky: LTL model checking; breadth first search; distributed memory
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.