3938 search results - page 167 / 788 » Interactive Protocols on the Reals |
152
click to vote
ECRTS
2006
IEEE
15 years 10 months ago
2006
IEEE
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
153
click to vote
FGR
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents the application of a kernel particle filter for 3D body tracking in a video stream acquired from a single uncalibrated camera. Using intensity-based and color...
133
click to vote
ICSEA
2006
IEEE
15 years 10 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
151
click to vote
DSRT
2005
IEEE
15 years 10 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
146
Voted
PRDC
2005
IEEE
15 years 10 months ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...