487 search results - page 31 / 98 » Implementation Correctness of a Real-Time Operating System |
188
Voted
SIGADA
2007
Springer
15 years 8 months ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
124
click to vote
RTCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper we consider data freshness and overload handling in embedded systems. The requirements on data management and overload handling are derived from an engine control so...
123
click to vote
IJAOSE
2010
15 years 29 days ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
114
click to vote
ICST
2008
IEEE
15 years 9 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
115
Voted
EMSOFT
2007
Springer
15 years 6 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 ...