525 search results - page 18 / 105 » Static Interpretation of Modules |
EVOW
2005
Springer
15 years 3 months ago
2005
Springer
This paper reports on steps that have been taken to enhance previously presented evolutionary sound matching work. In doing so, the convergence characteristics are shown to provide...
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
Different data acquisition methods are tailored at extracting particular characteristics from a scene and by combining their results a more robust scene description can be created...
105
click to vote
AUSAI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper presents a complete visual surveillance system for automatic scene interpretation of airport aprons. The system comprises two main modules — Scene Tracking a...
PASTE
2004
ACM
15 years 3 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
ESOP
2011
Springer
14 years 1 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...