3387 search results - page 234 / 678 » Model-Checking for Real-Time Systems |
192
Voted
ECRTS
2003
IEEE
16 years 11 days ago
2003
IEEE
The memory model used in the Real-Time Specification for Java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus...
200
click to vote
RTAS
2003
IEEE
16 years 10 days ago
2003
IEEE
This paper addresses the scheduling problem of radar dwells in multi-function phase array radars. Well-known and new challenges make it difficult to provide predictable performan...
202
click to vote
AIIDE
2007
15 years 9 months ago
2007
We developed knowledge-rich agents to play real-time strategy games by interfacing the ORTS game engine to the Soar cognitive architecture. The middleware we developed supports gr...
169
Voted
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
We present a system that automatically turns the pages of the music score for musicians during a performance. It is based on a new algorithm for following an incoming audio stream ...