Improved Distributed Algorithms for SCC Decomposition

Autor: Barnat, Jiri, Chaloupka, Jakub, van de Pol, Jan Cornelis, Cerna, I., Haverkort, Boudewijn R.H.M.

Publikováno v: Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 63-77
STARTPAGE=63;ENDPAGE=77;TITLE=Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation

We study and improve the OBF technique [Barnat, J. and P.Moravec, Parallel algorithms for finding SCCs in implicitly given graphs, in: Proceedings of the 5th International Workshop on Parallel and Distributed Methods in Verification (PDMC 2006), LNCS

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::92ea3a00fa3f3e5b83f8fa399548ac70
https://doi.org/10.1016/j.entcs.2008.02.001

Algorithms for SCC Decomposition

Autor: Barnat, J., Chaloupka, Jakub, Pol, Jaco

Publikováno v: Electronic Notes in Theoretical Computer Science, 198 (1), 63-77

We study and improve the OBF technique [Barnat, J. and P.Moravec, Parallel algorithms for finding SCCs in implicitly given graphs, in: Proceedings of the 5th International Workshop on Parallel and Distributed Methods in Verification (PDMC 2006), LNCS

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::6673a1734cebc5d4b29c3a89366e5cc9
https://ir.cwi.nl/pub/12382