Searching for authors named "Loukas Georgiadis" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Dominator Tree Verification and Vertex-Disjoint Paths
- …We present a linear-time algorithm that given a flowgraph G = (V, A, r) and a tree T, checks whether T is the dominator tree of G. Also we prove that there exist two spanning trees of G, T1 and T2, such that for any vertex v the paths from r to v in T1 and T2 intersect only at the vertices that domi…
- Cited by 1 (1 self) – Add To MetaCart
-
Finding dominators in practice
- …Abstract. The computation of dominators in a flowgraph has applications in program optimization, circuit testing, and other areas. Lengauer and Tarjan [17] proposed two versions of a fast algorithm for finding dominators and compared them experimentally with an iterative bit vector algorithm. They c…
- Cited by 3 (1 self) – Add To MetaCart
-
Shortest Path Feasibility Algorithms: An Experimental Evaluation Abstract
- …This is an experimental study of algorithms for the shortest path feasibility problem: Given a directed weighted graph, find a negative cycle or present a short proof that none exists. We study previously known and new algorithms. Our testbed is more extensive than those previously used, including b…
- Add To MetaCart
Showing 1 through 3.
