616 search results - page 85 / 124 » Component-Based Design of Embedded Software: An Analysis of ... |
148
click to vote
DAC
2003
ACM
16 years 1 months ago
2003
ACM
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact wi...
96
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
96
Voted
FASE
2004
Springer
15 years 4 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
103
Voted
CORR
2010
Springer
15 years 19 days ago
2010
Springer
Wireless networks are a common place nowadays and almost all of the modern devices support wireless communication in some form. These networks differ from more traditional computi...
106
Voted
SAC
2005
ACM
15 years 6 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...