Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog] ...

graph library and web application in C++/Python+Flask to construct, manipulate, and visualize 'coloring graphs' (using VisJS). implements Tarjan's algorithm to construct meta graphs and analyze them ...

Algorithm Running,Auxiliary Structures,Binary Search,Correction Algorithm,Data Structure,Dijkstra’s Algorithm,Distributed Algorithm,Dominant Tree,Dynamic ...

Abstract: The reliability and performance of concurrency are severely affected by deadlocks in concurrent systems. An efficient deadlock detection algorithm is needed to ensure that any deadlock cases ...