3387 search results - page 592 / 678 » Model-Checking for Real-Time Systems |
EMSOFT
2007
Springer
14 years 25 days ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
DAC
2010
ACM
14 years 25 days ago
2010
ACM
With the ever-increasing transistor variability in CMOS technology, it is essential to integrate variation-aware performance analysis into the task allocation and scheduling proce...
AMDO
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper describes our ongoing research work on deviceless interaction using hand gesture recognition with a calibrated stereo system. Video-based interaction is one of...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Bots for Real Time Strategy (RTS) games provide a rich challenge to implement. A bot controls a number of units that may have to navigate in a partially unknown environment, while...
ETRA
2008
ACM
13 years 10 months ago
2008
ACM
The goal of this paper is to predict future horizontal eye movement trajectories within a specified time interval. To achieve this goal a linear horizontal oculomotor plant mechan...