2673 search results - page 274 / 535 » Guided Static Analysis |
186
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
155
click to vote
PLDI
1999
ACM
15 years 11 months ago
1999
ACM
Load-reuse analysis finds instructions that repeatedly access the same memory location. This location can be promoted to a register, eliminating redundant loads by reusing the re...
138
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
In this paper, we propose a video-based full-body gesture recognition system independent of the view angle of the cameras. We performed multilinear analysis on the silhouette imag...
162
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
We present a methodology for generating black-box timing models for full-custom transistor-level CMOS circuits. Our approach utilizes transistor-level ternary symbolic timing simu...
179
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
— We present a tool for the static analysis of XPath queries and XML Schemas. The tool introduces techniques used in the field of verification (such as binary decision diagrams...