854 search results - page 116 / 171 » Timing coverification of concurrent embedded real-time syste... |
126
click to vote
JCP
2008
15 years 6 months ago
2008
Implantable pacemaker is a battery operated real time embedded system, which includes software/hardware codesign strategy. As it is placed within the heart by surgery, battery life...
160
Voted
ISLPED
1999
ACM
15 years 10 months ago
1999
ACM
—Energy-efficient design of battery-powered systems demands optimizations in both hardware and software. We present a modular approach for enhancing instruction level simulators ...
173
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
173
click to vote
RTCSA
2007
IEEE
16 years 11 days ago
2007
IEEE
We consider a resource synthesis technique for realtime systems where dynamic voltage scaling is supported, the energy budget is limited, and the performance of the system depends...
149
click to vote
RTAS
2008
IEEE
16 years 14 days ago
2008
IEEE
This paper tackles the problem of defining an appropriate access control model for multi-user systems providing adaptive resource reservations to unprivileged users. Security req...