Parallel Algorithms for Detection of Negative Cycles

BRIM, Lubos, Ivana ČERNÁ and Lukáš HEJTMÁNEK. Parallel Algorithms for Detection of Negative Cycles. In Proceedings of the 10th ParCo Conference. Holandsko: Elsevier B.V., 2003, p. 98-111.

Basic information

Original name

Parallel Algorithms for Detection of Negative Cycles

Authors

BRIM, Lubos (203 Czech Republic, guarantor), Ivana ČERNÁ (203 Czech Republic) and Lukáš HEJTMÁNEK (203 Czech Republic)

Edition

Holandsko, Proceedings of the 10th ParCo Conference, p. 98-111, 2003

Publisher

Elsevier B.V.

---

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Netherlands

Confidentiality degree

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

RIV identification code

RIV/00216224:14330/03:00008594

Organization unit

Faculty of Informatics

Keywords in English

model-checking; parallel computing

Tags

Model-Checking, parallel computing

Tags

International impact, Reviewed

---

Abstract

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.

---

Links

GA201/03/0509, research and development project	Name: Automatizovaná verifikace paralelních a distribuovaných systémů Investor: Czech Science Foundation, Automated Verification of Parallel and Distributed Systems
MSM 143300001, plan (intention)	Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing