Search Sciweavers | Sciweavers

518 search results - page 8 / 104

» Accelerated Data-Flow Analysis

108

click to vote

ADAEUROPE
2000
Springer

75views Software Engineering» more ADAEUROPE 2000»

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs

15 years 7 months ago

Download fabrice.kordon.free.fr

Johann Blieberger, Bernd Burgstaller, Bernhard Sch...

claim paper

Read More »

click to vote

PASTE
1999
ACM

100views Software Engineering» more PASTE 1999»

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

15 years 7 months ago

Download www.cs.umass.edu

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

claim paper

Read More »

110

Voted

LCPC
1997
Springer

109views System Software» more LCPC 1997»

An Array Data Flow Analysis Based Communication Optimizer

15 years 7 months ago

Download www.cs.fsu.edu

Xin Yuan, Rajiv Gupta, Rami G. Melhem

claim paper

Read More »

Voted

EUROMICRO
1996
IEEE

81views Software Engineering» more EUROMICRO 1996»

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

15 years 7 months ago

Download home.mit.bme.hu

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

claim paper

Read More »

117

click to vote

POPL
1994
ACM

103views Programming Languages» more POPL 1994»

Lazy Array Data-Flow Dependence Analysis

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers