854 search results - page 34 / 171 » Timing coverification of concurrent embedded real-time syste... |
RSP
2000
IEEE
15 years 2 months ago
2000
IEEE
LCTRTS
1999
Springer
15 years 2 months ago
1999
Springer
VLSID
2009
IEEE
15 years 10 months ago
2009
IEEE
Dynamic reconfiguration techniques are widely used for efficient system optimization. Dynamic cache reconfiguration is a promising approach for reducing energy consumption as well...
TII
2008
14 years 9 months ago
2008
Embedded control systems are often implemented in small microprocessors enabled with real-time technology. In this context, control laws are often designed according to discrete-ti...
MPC
1998
Springer
15 years 1 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...