3387 search results - page 592 / 678 » Model-Checking for Real-Time Systems |
95
Voted
EMSOFT
2007
Springer
15 years 4 months 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 ...
107
Voted
DAC
2010
ACM
15 years 4 months 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...
115
Voted
AMDO
2008
Springer
15 years 2 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...
124
Voted
ATAL
2008
Springer
15 years 2 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...
118
click to vote
ETRA
2008
ACM
15 years 2 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...