151 search results - page 14 / 31 » SaveCCM - A Component Model for Safety-Critical Real-Time Sy... |
160
Voted
FORMATS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
143
click to vote
ICCV
2001
IEEE
16 years 6 months ago
2001
IEEE
This paper presents a novel approach for model-based realtime tracking of highly articulated structures such as humans. This approach is based on an algorithm which efficiently pr...
271
click to vote
ICASSP
2007
IEEE
15 years 10 months ago
2007
IEEE
Segmentation and tracking methods have been widely explore. However, they are often computationally heavy or require constraining assumptions. We present in this paper a new syste...
136
click to vote
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper addresses the problem of predicting timing properties of multi-tasking component assemblies during the design phase. For real-time applications, it is of vital importan...
121
Voted
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...