Sciweavers

5186 search results - page 195 / 1038
» Embedded Systems
Sort
View
DATE
2005
IEEE
99views Hardware» more  DATE 2005»
16 years 3 days ago
Verification of Embedded Memory Systems using Efficient Memory Modeling
Malay K. Ganai, Aarti Gupta, Pranav Ashar
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
16 years 3 days 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
16 years 1 days 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