119
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
In-situ reconfiguration of software is indispensable in embedded networked sensing systems. It is required for re-tasking a deployed network, fixing bugs, introducing new features...
111
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
158
Voted
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
119
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Video kiosks increasingly contain powerful PC-like embedded processors, allowing them to display video at a high level of quality. Such video display, however, entails significant...
121
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...