Sciweavers

923 search results - page 29 / 185
» Component-based software engineering for embedded systems
Sort
View
100
Voted
ICFEM
2007
Springer
15 years 6 months ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
105
Voted
EMSOFT
2004
Springer
15 years 6 months ago
Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems
Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Pe...
73
Voted
EMSOFT
2006
Springer
15 years 6 months ago
Energy-efficient dynamic memory allocators at the middleware level of embedded systems
Stylianos Mamagkakis, David Atienza, Christophe Po...
85
Voted
EMSOFT
2008
Springer
15 years 4 months ago
State space abstraction for parameterized self-stabilizing embedded systems
Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...
98
Voted
QSIC
2008
IEEE
15 years 9 months ago
An Executable Interface Specification for Industrial Embedded System Design
Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Co...