2510 search results - page 223 / 502 » The Discipline of Embedded Systems Design |
125
click to vote
RTAS
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper we report the work carried out at VERIMAG 1 within the framework of an research cooperation with CNET 2 . The goal of this work was twofold: to formally specify the ...
225
Voted
GI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...
114
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...
150
click to vote
DAC
2004
ACM
16 years 5 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....
169
click to vote
EMSOFT
2003
Springer
15 years 10 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...