1163 search results - page 156 / 233 » Case Studies of Model Checking for Embedded System Designs |
134
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
This paper presents a case study of the NASA Ames Research Center HCI Group's design and development of a problem reporting system for NASA's next generation vehicle (to...
130
click to vote
CASES
2008
ACM
15 years 6 months ago
2008
ACM
Power, energy, and thermal concerns have constrained embedded systems designs. Computing capability and storage density have increased dramatically, enabling the emergence of hand...
160
click to vote
DAC
2012
ACM
13 years 6 months ago
2012
ACM
Caches play an important role in embedded systems by bridging the performance gap between high speed processors and slow memory. At the same time, caches introduce imprecision in ...
144
click to vote
ICMT
2010
Springer
15 years 2 months ago
2010
Springer
Traditionally, software maintenance takes only technical information into account to evolve legacy systems. However, business knowledge, which could help to improve the comprehensi...
165
click to vote
CASES
2008
ACM
15 years 6 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...