Search Sciweavers | Sciweavers

981 search results - page 43 / 197

» Symbolic pointer analysis

140

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 »

126

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 »

116

click to vote

TACAS
2000
Springer

87views Algorithms» more TACAS 2000»

Symbolic Reachability Analysis Based on SAT-Solvers

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers