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.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Parallel Algorithms for Detection of Negative Cycles
Název anglicky Parallel Algorithms for Detection of Negative Cycles
Autoři BRIM, Lubos (203 Česko, garant), Ivana ČERNÁ (203 Česko) a Lukáš HEJTMÁNEK (203 Česko).
Vydání Brno, 14 s. Technical Reports, FIMU-RS-2003-04, 2003.
Nakladatel Faculty of Informatics
Další údaje
Originální jazyk čeština
Typ výsledku Odborná kniha
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Česko
Utajení není předmětem státního či obchodního tajemství
WWW URL
Kód RIV RIV/00216224:14330/03:00008564
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky model-checking; parallel computing
Štítky Model-Checking, parallel computing
Příznaky Mezinárodní význam
Změnil Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
Anotace
Several new parallel algorithms for the single source shortest paths and for the negative cycle detection problems on directed graphs with real edge weights and given by adjacency list are developed, analysed, and experimentally compared. The algorithms are to be performed on clusters of workstations that communicate via a message passing mechanism.
Anotace anglicky
Several new parallel algorithms for the single source shortest paths and for the negative cycle detection problems on directed graphs with real edge weights and given by adjacency list are developed, analysed, and experimentally compared. The algorithms are to be performed on clusters of workstations that communicate via a message passing mechanism.
Návaznosti
GA201/03/0509, projekt VaVNázev: Automatizovaná verifikace paralelních a distribuovaných systémů
Investor: Grantová agentura ČR, Standardní projekty
MSM 143300001, záměrNázev: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
VytisknoutZobrazeno: 9. 8. 2020 15:53