313 search results - page 46 / 63 » Static analysis for syntax objects |
130
Voted
CVPR
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper we present a novel method for 3D structure acquisition, based on structured light. Unlike classical structured light methods, in which a static projector illuminates...
141
Voted
SMI
2010
IEEE
15 years 2 days ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
130
Voted
LPAR
2010
Springer
15 years 3 days 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...
127
click to vote
KBSE
2010
IEEE
15 years 19 days ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
133
Voted
ICMCS
2005
IEEE
15 years 7 months ago
2005
IEEE
Periodicity is useful for compact representation of periodic motion and a reasonable selection of a proper temporal scale for periodic motion analysis. In this paper, we concern t...