Search Sciweavers | Sciweavers

3342 search results - page 31 / 669

» Symbolic Robustness Analysis

105

click to vote

ASPDAC
2000
ACM

99views Hardware» more ASPDAC 2000»

Symbolic circuit-noise analysis and modeling with determinant decision diagrams

15 years 9 months ago

Download www.ee.ucr.edu

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

claim paper

Read More »

141

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

Download people.csail.mit.edu

Radu Rugina, Martin C. Rinard

claim paper

Read More »

133

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

Download fabrice.kordon.free.fr

Johann Blieberger, Bernd Burgstaller, Bernhard Sch...

claim paper

Read More »

121

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

Download www.cecs.uci.edu

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

claim paper

Read More »

116

click to vote

ICCAD
1997
IEEE

63views Hardware» more ICCAD 1997»

Symbolic analysis of large analog circuits with determinant decision diagrams

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers