7429 search results - page 561 / 1486 » Embedded System Update |
181
click to vote
DFG
2004
Springer
16 years 13 days ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
199
click to vote
ICDCSW
2003
IEEE
16 years 10 days ago
2003
IEEE
Smart Messages (SMs) are migratory execution units used to describe distributed computations over mobile ad hoc networks of embedded systems. The main benefits provided by SMs ar...
263
click to vote
RTAS
2002
IEEE
15 years 12 months ago
2002
IEEE
Large-scale wireless sensor networks represent a new generation of real-time embedded systems with significantly different communication constraints from traditional networked sys...
224
click to vote
FMICS
2009
Springer
15 years 11 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
188
click to vote
EMSOFT
2006
Springer
15 years 10 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...