3387 search results - page 93 / 678 » Model-Checking for Real-Time Systems |
114
Voted
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
This poster describes our recently developed real-time projector-camera system for interaction with Chinese Inkand-Wash Cartoons. We implement a real-time interactive water simula...
128
Voted
DAC
2001
ACM
16 years 3 months ago
2001
ACM
Energy consumption has become an increasingly important consideration in designing many real-time embedded systems. Variable voltage processors, if used properly, can dramatically...
135
Voted
ICCD
2006
IEEE
15 years 11 months ago
2006
IEEE
—In this paper we propose the method of task merging and idle period clustering for dynamic power management (DPM) in a real-time system with multiple processing elements. We sho...
103
Voted
AINA
2008
IEEE
15 years 9 months ago
2008
IEEE
We consider scheduling distributed real-time tasks in unreliable (e.g., those with arbitrary node and network failures) and untrustworthy systems (e.g., those with Byzantine node ...
125
Voted
ISORC
2007
IEEE
15 years 8 months ago
2007
IEEE
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...