B 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

Název anglicky

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í

Brno, 14 s. Technical Reports, FIMU-RS-2003-04, 2003

Nakladatel

Faculty of Informatics

Další údaje

Jazyk

čeština

Typ výsledku

Odborná kniha

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Kód RIV

RIV/00216224:14330/03:00008564

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

model-checking; parallel computing

Štítky

Příznaky

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

Anotace

ORIG EN

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.

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 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ů