"Parallel Algorithms for Finding SCCs in Implicitly Given Graphs" . . . "[FC2A4E06F5EC]" . . "Barnat, Ji\u0159\u00ED" . . . . "Parallel Algorithms for Finding SCCs in Implicitly Given Graphs"@en . . . . "440573" . "RIV/00216224:14330/07:00019374" . "P(1ET408050503), P(1M0545), P(GA201/06/1338), P(GD102/05/H050), Z(MSM0021622419)" . "distributed verification; SCCs"@en . "2006-01-01+01:00"^^ . . . . "We examine existing parallel algorithms for detection of strongly connected components and discuss their applicability to the case when the graph to be decomposed is given implicitly. In particular, we list individual techniques that parallel algorithms for SCC detection are assembled from and show how to assemble a new more efficient algorithm for solving the problem. In the paper we also report on a preliminary experimental study we did to evaluate the new algorithm."@en . "Moravec, Pavel" . "Springer-Verlag" . "14330" . . "Bonn, Germany" . "000245773800022" . "978-3-540-70951-0" . "Parallel Algorithms for Finding SCCs in Implicitly Given Graphs" . . . . "Formal Methods: Applications and Technology" . "15"^^ . . "We examine existing parallel algorithms for detection of strongly connected components and discuss their applicability to the case when the graph to be decomposed is given implicitly. In particular, we list individual techniques that parallel algorithms for SCC detection are assembled from and show how to assemble a new more efficient algorithm for solving the problem. In the paper we also report on a preliminary experimental study we did to evaluate the new algorithm." . "Parallel Algorithms for Finding SCCs in Implicitly Given Graphs"@en . . "2"^^ . . . . "2"^^ . "RIV/00216224:14330/07:00019374!RIV10-GA0-14330___" . "Berlin, Heidelberg" .