Search Sciweavers | Sciweavers

518 search results - page 8 / 104

» Accelerated Data-Flow Analysis

147

Voted

ADAEUROPE
2000
Springer

75views Software Engineering» more ADAEUROPE 2000»

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs

15 years 10 months ago

Download fabrice.kordon.free.fr

Johann Blieberger, Bernd Burgstaller, Bernhard Sch...

claim paper

Read More »

135

Voted

PASTE
1999
ACM

100views Software Engineering» more PASTE 1999»

Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification

15 years 10 months ago

Download www.cs.umass.edu

Gleb Naumovich, Lori A. Clarke, Jamieson M. Coblei...

claim paper

Read More »

146

click to vote

LCPC
1997
Springer

109views System Software» more LCPC 1997»

An Array Data Flow Analysis Based Communication Optimizer

15 years 10 months ago

Download www.cs.fsu.edu

Xin Yuan, Rajiv Gupta, Rami G. Melhem

claim paper

Read More »

140

click to vote

EUROMICRO
1996
IEEE

81views Software Engineering» more EUROMICRO 1996»

Reachability and Timing Analysis in Data Flow Networks: A Case Study

15 years 10 months ago

Download home.mit.bme.hu

B. Antal, György Csertán, Istvá...

claim paper

Read More »

151

Voted

POPL
1994
ACM

103views Programming Languages» more POPL 1994»

Lazy Array Data-Flow Dependence Analysis

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers