5564 search results - page 633 / 1113 » Performance Modeling of HPC Applications |
194
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
207
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
172
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
The 3D object recognition from a single or multiple 2D images is a very important problem in the computer vision field with a wide range of real applications. Considering the affi...
157
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we start from an assigned control law with known probability distributions of its execution time. Our goal is to identify an optimised scheduling policy that allows ...
231
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper, we propose an efficient technique to detect changes in the geometry of an urban environment using some images observing its current state. The proposed method can ...