Informační systém MU
BRIM, Lubos, Ivana ČERNÁ and Lukáš HEJTMÁNEK. Parallel Algorithms for Detection of Negative Cycles. Brno: Faculty of Informatics, 2003, 14 pp. Technical Reports, FIMU-RS-2003-04.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Parallel Algorithms for Detection of Negative Cycles
Name (in English) 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 Brno, 14 pp. Technical Reports, FIMU-RS-2003-04, 2003.
Publisher Faculty of Informatics
Other information
Original language Czech
Type of outcome Book on a specialized topic
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
WWW URL
RIV identification code RIV/00216224:14330/03:00008564
Organization unit Faculty of Informatics
Keywords in English model-checking; parallel computing
Tags Model-Checking, parallel computing
Tags International impact
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.
Abstract (in English)
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
Displayed: 26/4/2024 19:30