D 2003

Parallel Algorithms for Detection of Negative Cycles

BRIM, Lubos, Ivana ČERNÁ a Lukáš HEJTMÁNEK

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

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

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 22. 11. 2006 08:32, prof. RNDr. Luboš Brim, CSc.

Anotace

V originále

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 VaV
Ná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ěr
Ná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ů