Search Sciweavers | Sciweavers

981 search results - page 43 / 197

» Symbolic pointer analysis

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 2 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 2 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 2 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 1 months ago

Download www.imse.cnm.es

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

claim paper

Read More »

click to vote

TACAS
2000
Springer

87views Algorithms» more TACAS 2000»

Symbolic Reachability Analysis Based on SAT-Solvers

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers