408 search results - page 56 / 82 » Dynamic power management of electronic systems |
OSDI
2002
ACM
14 years 8 months ago
2002
ACM
Combining high performance with low power consumption is becoming one of the primary objectives of processor designs. Instead of relying just on sleep mode for conserving power, a...
MDM
2005
Springer
14 years 1 months ago
2005
Springer
We propose in this paper an energy-conserved on-demand data broadcasting system by employing the data indexing technique. We also propose algorithm AIDOA to adjust the degree of b...
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
In current embedded systems, one of the major concerns is energy conservation. The dynamic voltage-scheduling (DVS) framework, which involves dynamically adjusting the voltage and...
SIGMETRICS
2008
ACM
13 years 7 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
CAISE
2003
Springer
14 years 27 days ago
2003
Springer
This paper presents a requirements engineering framework based on the notions of Actor, Goal, and Intentional Dependency, and applies it to a case study in the field of Informatio...