252 search results - page 12 / 51 » SaveCCM: An Analysable Component Model for Real-Time Systems |
116
click to vote
ISMS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Surgical simulations with the aid of computers is a topic of increasingly extensive research. Realtime response and interactivity are crucial components of any such syste...
108
click to vote
FORMATS
2007
Springer
15 years 3 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...
ICCV
2001
IEEE
16 years 1 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...
206
click to vote
ICASSP
2007
IEEE
15 years 6 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...
RTSS
1999
IEEE
15 years 3 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...