3387 search results - page 93 / 678 » Model-Checking for Real-Time Systems |
CVPR
2007
IEEE
14 years 11 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...
DAC
2001
ACM
14 years 10 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...
ICCD
2006
IEEE
14 years 6 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...
AINA
2008
IEEE
14 years 4 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 ...
ISORC
2007
IEEE
14 years 4 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...