Search Sciweavers | Sciweavers

13651 search results - page 302 / 2731

» Spectral analysis of data

125

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

Download fabrice.kordon.free.fr

Johann Blieberger, Bernd Burgstaller, Bernhard Sch...

claim paper

Read More »

111

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

Download www.cs.umass.edu

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

claim paper

Read More »

120

click to vote

IDA
1997
Springer

105views Information Technology» more IDA 1997»

Data Analysis for Query Processing

15 years 8 months ago

Download cswww.essex.ac.uk

Jerome Robinson, Barry G. T. Lowden

claim paper

Read More »

104

Voted

DAC
1996
ACM

92views Computer Architecture» more DAC 1996»

Concurrent Analysis Techniques for Data Path Timing Optimization

15 years 8 months ago

Download bears.ece.ucsb.edu

Chuck Monahan, Forrest Brewer

claim paper

Read More »

126

click to vote

LCPC
1997
Springer

109views System Software» more LCPC 1997»

An Array Data Flow Analysis Based Communication Optimizer

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers