1715 search results - page 84 / 343 » Embedded Systems and Real-Time Programming |
125
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
116
click to vote
SEFM
2009
IEEE
15 years 8 months ago
2009
IEEE
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
115
click to vote
RTCSA
2007
IEEE
15 years 8 months ago
2007
IEEE
Real-time scheduling algorithms for multiprocessor systems have been the subject of considerable recent interest. For such an algorithm to be truly useful in practice, support for...
126
click to vote
RTCSA
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper we analyze the traditional model of interrupt management and its inability to incorporate the reliability and temporal predictability demanded by real-time systems. ...
120
click to vote
RTAS
2007
IEEE
15 years 8 months ago
2007
IEEE
The prominent energy management technique in real-time embedded systems, Dynamic Voltage and Frequency Scaling (DVFS), was recently shown to have direct and adverse effects on sys...