9210 search results - page 274 / 1842 » Analyzing Real-Time Systems |
119
click to vote
ICPPW
2005
IEEE
15 years 6 months 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...
124
click to vote
ISORC
2005
IEEE
15 years 6 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
132
click to vote
NCA
2005
IEEE
15 years 6 months 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...
106
click to vote
RTSS
2005
IEEE
15 years 6 months 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...
109
Voted
RTSS
2005
IEEE
15 years 6 months 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...