3108 search results - page 170 / 622 » An Approach to Incremental Design of Distributed Embedded Sy... |
145
Voted
DAC
2004
ACM
16 years 4 months ago
2004
ACM
Memory-related activity is one of the major sources of energy consumption in embedded systems. Many types of memories used in embedded systems allow multiple operating modes (e.g....
104
Voted
DATE
2006
IEEE
15 years 9 months 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 ...
140
click to vote
ICRE
1998
IEEE
15 years 7 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...
149
Voted
IFIP
1998
Springer
15 years 7 months ago
1998
Springer
This paper presents a hybrid approach to automatic parallelization of computer programs which combines static extraction of threads (tasks) with dynamic scheduling for parallel an...
115
Voted
MKWI
2008
15 years 5 months ago
2008
: We introduce infrastructure monitoring as an application domain that demands decentralized system designs. This is motivated by the large scale of these systems, the heterogeneit...