854 search results - page 101 / 171 » Timing coverification of concurrent embedded real-time syste... |
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
POPL
2011
ACM
14 years 20 days ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
EUROPAR
2004
Springer
15 years 3 months ago
2004
Springer
Since embedded systems require ever more compute power, SMT processors are viable candidates for future high performance embedded processors. However, SMTs exhibit unpredictable pe...
RTCSA
2009
IEEE
15 years 4 months ago
2009
IEEE
—Componentised systems, in particular those with fault confinement through address spaces, are currently emerging as a hot topic in embedded systems research. This paper extends...
JTRES
2009
ACM
15 years 2 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...