1294 search results - page 16 / 259 » A Conditional Scheduling Approach to Designing Real-Time Sys... |
136
click to vote
DAC
1999
ACM
15 years 8 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 ...
138
Voted
ECRTS
2007
IEEE
15 years 10 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...
142
Voted
ECBS
2010
IEEE
15 years 10 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...
166
click to vote
RTAS
2003
IEEE
15 years 9 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...
170
click to vote
RTSS
1992
IEEE
15 years 7 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...