Search Sciweavers | Sciweavers

13651 search results - page 302 / 2731

» Spectral analysis of data

151

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 11 months ago

Download fabrice.kordon.free.fr

Johann Blieberger, Bernd Burgstaller, Bernhard Sch...

claim paper

Read More »

140

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 11 months ago

Download www.cs.umass.edu

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

claim paper

Read More »

150

click to vote

IDA
1997
Springer

105views Information Technology» more IDA 1997»

Data Analysis for Query Processing

15 years 10 months ago

Download cswww.essex.ac.uk

Jerome Robinson, Barry G. T. Lowden

claim paper

Read More »

146

click to vote

DAC
1996
ACM

92views Computer Architecture» more DAC 1996»

Concurrent Analysis Techniques for Data Path Timing Optimization

15 years 10 months ago

Download bears.ece.ucsb.edu

Chuck Monahan, Forrest Brewer

claim paper

Read More »

150

Voted

LCPC
1997
Springer

109views System Software» more LCPC 1997»

An Array Data Flow Analysis Based Communication Optimizer

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers