854 search results - page 100 / 171 » Timing coverification of concurrent embedded real-time syste... |
184
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
DVFS remains an important energy management technique for embedded systems. However, its negative impact on transient fault rates has been recently shown. In this paper, we propos...
133
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
169
click to vote
SOFSEM
2007
Springer
16 years 7 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
191
click to vote
EMSOFT
2009
Springer
16 years 21 days ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...