Sciweavers

5186 search results - page 195 / 1038
» Embedded Systems
Sort
View
91
Voted
DATE
2005
IEEE
99views Hardware» more  DATE 2005»
15 years 8 months ago
Verification of Embedded Memory Systems using Efficient Memory Modeling
Malay K. Ganai, Aarti Gupta, Pranav Ashar
68
Voted
DATE
2005
IEEE
110views Hardware» more  DATE 2005»
15 years 8 months ago
Embedded Automotive System Development Process
Joachim Langenwalter
127
Voted
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
15 years 8 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
ARCS
2005
Springer
15 years 8 months ago
Reducing System Level Power Consumption for Mobile and Embedded Platforms
The power consumption of peripheral devices is a significant portion of the overall energy usage of a mobile platform. To take advantage of idle times, most devices offer the abi...
Ripal Nathuji, Karsten Schwan