5111 search results - page 274 / 1023 » The Embedded Systems Design Challenge |
174
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
171
click to vote
HIPEAC
2007
Springer
16 years 25 days ago
2007
Springer
A critical component in the design of secure processors is memory encryption which provides protection for the privacy of code and data stored in off-chip memory. The overhead of ...
150
click to vote
DATE
2006
IEEE
16 years 22 days ago
2006
IEEE
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...
178
click to vote
ICRE
1998
IEEE
15 years 11 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
140
click to vote
JCM
2007
15 years 6 months ago
2007
—In this paper, we propose a wireless stand-alone, embedded system design that integrates the monitoring of three biomedical parameters into a single personal medical device. The...