1294 search results - page 16 / 259 » A Conditional Scheduling Approach to Designing Real-Time Sys... |
77
Voted
DAC
1999
ACM
15 years 1 months ago
1999
ACM
Power efficient design of real-time systems based on programmable processors becomes more important as system functionality is increasingly realized through software. This paper ...
ECRTS
2007
IEEE
15 years 3 months ago
2007
IEEE
Existing real-time research focuses on how to formulate, model and enforce timeliness guarantees for task sets whose correctness has a temporal aspect. However, the resulting syst...
ECBS
2010
IEEE
15 years 4 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
107
Voted
RTAS
2003
IEEE
15 years 2 months ago
2003
IEEE
Wireless and portable devices depend on the limited power supplied by the battery. Dynamic Voltage Scaling (DVS) is an effective method to reduce CPU power consumption. For real-t...
121
click to vote
RTSS
1992
IEEE
15 years 1 months ago
1992
IEEE
The problem of scheduling a set of sporadic tasks that share a set of serially reusable, single unit software resources on a single processor is considered. The correctness condit...