808 search results - page 45 / 162 » Modeling and Analysis of Real-Time and Embedded Systems |
RTAS
2008
IEEE
15 years 4 months ago
2008
IEEE
Instruction scratchpads have been previously suggested as a way to reduce the worst case execution time (WCET) of hard real-time programs without introducing the analysis issues p...
109
click to vote
FASE
2006
Springer
15 years 1 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...
ICSE
1997
IEEE-ACM
15 years 1 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
RTAS
2005
IEEE
15 years 3 months ago
2005
IEEE
RTAS
2006
IEEE
15 years 3 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...