Search Sciweavers | Sciweavers

3342 search results - page 31 / 669

» Symbolic Robustness Analysis

115

click to vote

ASPDAC
2000
ACM

99views Hardware» more ASPDAC 2000»

Symbolic circuit-noise analysis and modeling with determinant decision diagrams

15 years 10 months ago

Download www.ee.ucr.edu

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

claim paper

Read More »

149

click to vote

PLDI
2000
ACM

89views Programming Languages» more PLDI 2000»

Symbolic bounds analysis of pointers, array indices, and accessed memory regions

15 years 10 months ago

Download people.csail.mit.edu

Radu Rugina, Martin C. Rinard

claim paper

Read More »

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 »

125

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers