2673 search results - page 94 / 535 » Guided Static Analysis |
152
Voted
WCRE
2002
IEEE
15 years 8 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
103
Voted
ICCAD
2001
IEEE
16 years 16 days ago
2001
IEEE
In this paper, we study the propagation of slew dependent bounding signals and the corresponding slew problem in static timing analysis. The selection of slew from the latest arri...
135
Voted
MVA
1990
15 years 4 months ago
1990
A technique for building a three-dimensional description of a static scene from a spatiotemporal image is presented. This technique utilizes Homocentric Spherical Spatiotemporal I...
111
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
117
Voted
TGC
2007
Springer
15 years 9 months ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...