Search Sciweavers | Sciweavers

819 search results - page 32 / 164

» Fractal symbolic analysis

141

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

Download fabrice.kordon.free.fr

Johann Blieberger, Bernd Burgstaller, Bernhard Sch...

claim paper

Read More »

126

click to vote

DATE
1997
IEEE

74views Hardware» more DATE 1997»

An algorithm for numerical reference generation in symbolic analysis of large analog circuits

15 years 10 months ago

Download www.cecs.uci.edu

Ignacio Garcia-Vargas, Mariano Galan, Francisco V....

claim paper

Read More »

127

click to vote

ICCAD
1997
IEEE

63views Hardware» more ICCAD 1997»

Symbolic analysis of large analog circuits with determinant decision diagrams

15 years 10 months ago

Download www.ee.ucr.edu

C.-J. Richard Shi, Xiang-Dong Tan

claim paper

Read More »

123

click to vote

ISCAS
1994
IEEE

77views Hardware» more ISCAS 1994»

Symbolic Analysis of Large Analog Integrated Circuits by Approximation During Expression Generation

15 years 10 months ago

Download www.imse.cnm.es

Francisco V. Fernández, Piet Wambacq, Georg...

claim paper

Read More »

155

click to vote

PEPM
2000
ACM

113views Software Engineering» more PEPM 2000»

Symbolic Pointer Analysis for Detecting Memory Leaks

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers