144 search results - page 12 / 29 » A case study in computer-aided codesign of embedded controll... |
143
Voted
EUC
2008
Springer
15 years 5 months ago
2008
Springer
A generalized dynamic energy performance scaling (DEPS) framework is proposed for exploring applicationspecific energy-saving potential in hard real-time embedded systems. This so...
139
Voted
ECRTS
2005
IEEE
15 years 9 months ago
2005
IEEE
Embedded systems are usually an integral component of a larger system and are used to control and/or directly monitor this system by using special hardware devices. The complexity...
141
Voted
SNPD
2008
15 years 5 months ago
2008
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
144
Voted
HASE
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
151
Voted
SAFECOMP
2009
Springer
15 years 10 months ago
2009
Springer
The advanced electric power grid is a cyber-physical system comprised of physical components such as transmission lines and generators and a network of embedded systems deployed fo...