Sciweavers

933 search results - page 153 / 187
» Component-Based Real-Time Operating System for Embedded Appl...
Sort
View
ICCAD
2003
IEEE
111views Hardware» more  ICCAD 2003»
15 years 11 months ago
Formal Methods for Dynamic Power Management
Dynamic Power Management or DPM refers to the problem of judicious application of various low power techniques based on runtime conditions in an embedded system to minimize the to...
Rajesh K. Gupta, Sandy Irani, Sandeep K. Shukla
ESAW
2005
Springer
15 years 8 months ago
Collaborative Agent Tuning: Performance Enhancement on Mobile Devices
Ambient intelligence envisages a world saturated with sensors and other embedded computing technologies, operating transparently, and accessible to all in a seamless and intuitive ...
Conor Muldoon, Gregory M. P. O'Hare, Michael J. O'...
FMCAD
2007
Springer
15 years 6 months ago
A Mechanized Refinement Framework for Analysis of Custom Memories
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
Sandip Ray, Jayanta Bhadra
124
Voted
DAC
2009
ACM
16 years 3 months ago
A DVS-based pipelined reconfigurable instruction memory
Energy consumption is of significant concern in battery operated embedded systems. In the processors of such systems, the instruction cache consumes a significant fraction of the ...
Zhiguo Ge, Tulika Mitra, Weng-Fai Wong
APLAS
2003
ACM
15 years 7 months ago
Controlling and Optimizing the Usage of One Resource
This paper studies the problem of resource availability in the context of mobile code for embedded systems such as smart cards. It presents an architecture dedicated to controlling...
Antoine Galland, Mathieu Baudet