Search Sciweavers | Sciweavers

819 search results - page 32 / 164

» Fractal symbolic analysis

103

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

Download fabrice.kordon.free.fr

Johann Blieberger, Bernd Burgstaller, Bernhard Sch...

claim paper

Read More »

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

Download www.cecs.uci.edu

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

claim paper

Read More »

click to vote

ICCAD
1997
IEEE

63views Hardware» more ICCAD 1997»

Symbolic analysis of large analog circuits with determinant decision diagrams

15 years 6 months ago

Download www.ee.ucr.edu

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

claim paper

Read More »

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

Download www.imse.cnm.es

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

claim paper

Read More »

122

click to vote

PEPM
2000
ACM

113views Software Engineering» more PEPM 2000»

Symbolic Pointer Analysis for Detecting Memory Leaks

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers