355 search results - page 29 / 71 » A Real Time Scheduling Method for Embedded Multimedia Applic... |
150
Voted
ESOP
2011
Springer
14 years 7 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
136
click to vote
RTAS
2007
IEEE
15 years 9 months ago
2007
IEEE
Many mission-critical distributed real-time applications must handle aperiodic tasks with end-to-end deadlines. However, existing middleware (e.g., RT-CORBA) lacks schedulability ...
172
Voted
FASE
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
165
Voted
RTAS
2003
IEEE
15 years 8 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...
139
Voted
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...