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. s. 98-111. 2003.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Parallel Algorithms for Detection of Negative Cycles
Autoři BRIM, Lubos (203 Česká republika, garant), Ivana ČERNÁ (203 Česká republika) a Lukáš HEJTMÁNEK (203 Česká republika).
Vydání Holandsko, Proceedings of the 10th ParCo Conference, s. 98-111, 2003.
Nakladatel Elsevier B.V.
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Nizozemské království
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/03:00008594
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, Recenzováno
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.
Návaznosti
GA201/03/0509, projekt VaVNázev: Automatizovaná verifikace paralelních a distribuovaných systémů
Investor: Grantová agentura ČR, Automatizovaná verifikace paralelních a distribuovaných systémů
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, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů
VytisknoutZobrazeno: 19. 4. 2024 12:39