854 search results - page 128 / 171 » Timing coverification of concurrent embedded real-time syste... |
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
In this paper, we present several novel strategies to improve software controlled cache utilization, so as to achieve lower power requirements for multi-media and signal processin...
RTAS
2005
IEEE
15 years 3 months ago
2005
IEEE
Control systems running on a computer are subject to timing disturbances coming from implementation constraints. Fortunately closed-loop systems behave robustly w.r.t. modelling e...
RTCSA
2009
IEEE
15 years 4 months ago
2009
IEEE
—One step in the verification of hard real-time systems is to determine upper bounds on the worst-case execution times (WCET) of tasks. To obtain tight bounds, a WCET analysis h...
DAC
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we present a methodology for low-cost and rapid context switch for multithreaded embedded processors with realtime guarantees. Context-switch, which involves saving...
SAC
2009
ACM
15 years 4 months ago
2009
ACM
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...