Sciweavers

6701 search results - page 289 / 1341
» Medical Embedded Systems
Sort
View
EMSOFT
2006
Springer
15 years 10 months ago
Energy-efficient dynamic memory allocators at the middleware level of embedded systems
Stylianos Mamagkakis, David Atienza, Christophe Po...
ESTIMEDIA
2006
Springer
15 years 10 months ago
An Estimation Methodology for Designing Instruction Cache Memory of Embedded Systems
Nikolas Kroupis, Stylianos Mamagkakis, Dimitrios S...
ESTIMEDIA
2006
Springer
15 years 10 months ago
An Energy Characterization Framework for Software-Based Embedded Systems
Donghoon Lee, Tohru Ishihara, Masanori Muroyama, H...
FM
2006
Springer
97views Formal Methods» more  FM 2006»
15 years 10 months ago
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman