Sciweavers

525 search results - page 19 / 105
» Static Interpretation of Modules
Sort
View
ENTCS
2006
154views more  ENTCS 2006»
14 years 9 months ago
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
Pascal Sotin, David Cachera, Thomas P. Jensen
VMCAI
2012
Springer
13 years 5 months ago
Sound Non-statistical Clustering of Static Analysis Alarms
We present a sound method for clustering alarms from static analyzers. Our method clusters alarms by discovering sound dependencies between them such that if the dominant alarm of ...
Woosuk Lee, Wonchan Lee, Kwangkeun Yi
AIA
2006
14 years 11 months ago
A Static Images Based-System for Traffic Signs Detection
The localization and interpretation of traffic signs by means of a wise-artificial system is one of the several applications of the recognizing-image techniques. In this work we p...
Valentin Moreno, Agapito Ledezma, Araceli Sanch&ia...
ALIFE
2005
14 years 9 months ago
Modular Interdependency in Complex Dynamical Systems
Hierarchical modularity is a familiar characteristic of a large class of natural dynamical systems. A normal interpretation of modularity is that interactions between subsystems a...
Richard A. Watson, Jordan B. Pollack
ICCV
2003
IEEE
15 years 11 months ago
Background Modeling and Subtraction of Dynamic Scenes
Background modeling and subtraction is a core component in motion analysis. The central idea behind such module is to create a probabilistic representation of the static scene tha...
Antoine Monnet, Anurag Mittal, Nikos Paragios, Vis...