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.
Other formats:   BibTeX LaTeX RIS
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
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Netherlands
Confidentiality degree is not subject to a state or trade secret
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
Changed by Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32.
Abstract
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 projectName: 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
PrintDisplayed: 27/4/2024 03:44