3387 search results - page 292 / 678 » Model-Checking for Real-Time Systems |
199
click to vote
RTSS
2006
IEEE
16 years 1 months ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
216
click to vote
ICPPW
2005
IEEE
16 years 25 days ago
2005
IEEE
Abstract— In the sporadic task model, a task is characterized by three parameters — an execution requirement, a relative deadline, and a period parameter — and has the interp...
240
click to vote
NCA
2005
IEEE
16 years 24 days ago
2005
IEEE
Context-aware applications rely on the ability to perceive the state of the surrounding environment. In this paper, we address a class of such applications where real-time guarant...
200
click to vote
RTSS
2005
IEEE
16 years 24 days ago
2005
IEEE
— This paper is interested in reward maximization of periodic real-time tasks under a given energy constraint, where the reward received depends on how much computation a task ru...
197
click to vote
RTSS
2005
IEEE
16 years 24 days ago
2005
IEEE
The intricacy of real-time data service management increases mainly due to the emergence of applications operating in open and unpredictable environments, increases in software co...