5564 search results - page 366 / 1113 » Performance Modeling of HPC Applications |
119
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
125
click to vote
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
We propose a region-based method for model-free object tracking. In our method the object information of temporal motion and spatial luminance are fully utilized. We first compute...
132
Voted
SCALESPACE
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In recent years, the use of multimedia content has experienced an exponential growth. In this context, the need of new image/video sequence representation is becoming a n...
135
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper presents an environment based on SystemC for architecture specification of programmable systems. Making use of the new architecture description language ArchC, able to ...
149
click to vote
COMPLIFE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present an improved adaptive approach for studying systems of ODEs affected by parameter variability and state space uncertainty. Our approach is based on a reformulat...