2 search results - page 1 / 1 » Observability Checking to Enhance Diagnosis of Real Time Ele... |
DSRT
2008
IEEE
13 years 10 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
SAMOS
2010
Springer
13 years 2 months ago
2010
Springer
A new heterogeneous multiprocessor system with dynamic memory and power management for improved performance and power consumption is presented. Increased data locality is automatic...