Sciweavers

819 search results - page 32 / 164
» Fractal symbolic analysis
Sort
View
ADAEUROPE
2000
Springer
14 years 1 months ago
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs
Johann Blieberger, Bernd Burgstaller, Bernhard Sch...
DATE
1997
IEEE
74views Hardware» more  DATE 1997»
14 years 25 days ago
An algorithm for numerical reference generation in symbolic analysis of large analog circuits
Ignacio Garcia-Vargas, Mariano Galan, Francisco V....
PEPM
2000
ACM
14 years 6 days ago
Symbolic Pointer Analysis for Detecting Memory Leaks
Bernhard Scholz, Johann Blieberger, Thomas Fahring...