Tarjan, R.E.: Fast algorithms for solving path problems. J. ACM 28 (1981) 594--614 Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Prescient Instruction Prefetch - Aamodt, Marcuello, Chow, Hammarlund, .. (Correct)
A Framework for Modeling and Optimization of.. - Aamodt.. (2003) (Correct)
Universal Regular Path Queries - de Moor, Lacey, Van Wyk (2001) (1 citation) (Correct)
Static Analysis of Aspects - Sereni, de Moor (2002) (5 citations) (Correct)
Solving Regular Path Queries - Liu, Yu (2002) (1 citation) (Correct)
Universal Regular Path Queries - de Moor, Lacey, Van Wyk (2001) (1 citation) (Correct)
Automatic Generation Of Data-Flow Analyzers: A Tool For Building.. - Tjiang (1993) (5 citations) (Correct)
Bidirectional Data Flow Analysis : Myths and Reality - Khedker, Dhamdhere (Correct)
Universal Regular Path Queries - de Moor, Lacey, Van Wyk (2001) (1 citation) (Correct)
The Integration Project for the JACK Environement - Bouali, Gnesi, Larosa (1994) (2 citations) (Correct)
A Novel Probabilistic Data Flow Framework - Mehofer, Scholz (1 citation) (Correct)
A Generalised Theory of Bit Vector Data Flow Analysis - Khedker (Correct)
Lazy Code Motion - Knoop, Rüthing, Steffen (1992) (81 citations) (Correct)
Data-Flow Frameworks for Worst-Case Execution Time Analysis - Blieberger (2000) (Correct)
A Language Theoretic Approach to Algorithm and Software Development - Goyal (1999) (Correct)
Data Flow Analysis For Verifying Correctness Properties Of.. - Dwyer (1995) (11 citations) (Correct)
An Improved Intra-procedural May-alias Analysis Algorithm - Goyal (1999) (2 citations) (Correct)
Path Problems in Graphs - Rote (1989) (15 citations) (Correct)
Detecting Deadlocks in the Ada accept...do - Stephen P. Masticola (Correct)
An Efficient Bill-Of-Materials Algorithm - Ahmad Khalaila (Correct)
Finding Regular Simple Paths In Graph Databases - Mendelzon, Wood (1989) (49 citations) (Correct)
Efficient Bill-Of-Materials Algorithms - Khalaila, Eliassen, Beeri (Correct)
A new framework for exhaustive and incremental data flow.. - Sreedhar, Gao, Lee (1995) (11 citations) (Correct)
A Control-Flow Normalization Algorithm and Its Complexity - Ammarguellat (1992) (31 citations) (Correct)
Static Detection Of Deadlocks In Polynomial Time - Masticola (1993) (23 citations) (Correct)
Analysis of Event Synchronization in A Parallel Programming Tool - Callahan (1990) (41 citations) (Correct)
Identifying loops using DJ graphs - Sreedhar, Gao, Lee (1995) (15 citations) (Correct)
Lazy Code Motion - Knoop, Rüthing, Steffen (1992) (81 citations) (Correct)
Lazy Strength Reduction - Knoop, Rüthing, Steffen (1993) (16 citations) (Correct)
Region Analysis: A Parallel Elimination Method for Data Flow.. - Yong-Fong Lee (1995) (2 citations) (Correct)
A Decidable Logic for Describing Linked Data Structures - Benedikt, Reps, Sagiv (1999) (33 citations) (Correct)
Efficient data flow analysis using DJ-graphs: Elimination.. - Sreedhar, Gao, Lee (1995) (Correct)
Improving Pushdown System Model Checking - Akash Lal And (Correct)
Improving Pushdown System Model Checking - Akash Lal And (Correct)
A Decidable Logic - For Describing Linked (Correct)
Query Translation from XPath to SQL in the Presence of.. - Fan, Yu, Lu, Lu, Rastogi (2005) (Correct)
Unknown - (Correct)
Constraint Query Algebras - Goldin (1997) (17 citations) (Correct)
BioPatentMiner: An Information Retrieval System for.. - Mukherjea, Bamba (2004) (Correct)
Translating Naive User Queries on the Semantic Web - Baoshi Yan Robert (2003) (Correct)
Unknown - Compiled Simulator For (Correct)
Algorithmic Aspects of Symbolic Switch Network Analysis - Bryant (1987) (2 citations) (Correct)
A Framework for Knowledge Management and Automated Constraint.. - Gates, Roach (2001) (Correct)
DynaMICs: Comprehensive Support for Run-Time Monitoring - Gates, Roach, Mondragon.. (2001) (5 citations) (Correct)
The rho Operator: Discovering and Ranking on the Semantic Web - Anyanwu, Sheth (2003) (1 citation) (Correct)
Program Analysis with Partial Transfer Functions - Murphy, Lam (Correct)
Optimal Code Motion: Theory and Practice - Knoop, Rüthing, Steffen (1993) (61 citations) (Correct)
WORST-CASE TIMING Analysis Via Finding Longest PATHS IN SPARK Ada .. - Chapman (1994) (9 citations) (Correct)
Lattice Frameworks for Multisource and Bidirectional Data Flow.. - Masticola (1995) (16 citations) (Correct)
Optimal Code Motion: Theory and Practice - Knoop, Rüthing, Steffen (1994) (61 citations) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC