3255 search results - page 127 / 651 » Combination of Abstractions in the ASTR |
CADE
2004
Springer
14 years 10 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
CORR
2004
Springer
13 years 10 months ago
2004
Springer
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...
DAC
2004
ACM
14 years 11 months ago
2004
ACM
Fast and accurate estimation is critical for exploration of any dece in general. As we move to higher levels of abstraction, on of complete system designs at each level of abstrac...
ICCAD
2001
IEEE
14 years 7 months ago
2001
IEEE
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....
CAV
2007
Springer
14 years 4 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...