Sciweavers

2256 search results - page 92 / 452
» The Modeling for Dynamic Power Management of Embedded System...
Sort
View
RTAS
2007
IEEE
15 years 8 months ago
Reliability-Aware Energy Management for Periodic Real-Time Tasks
The prominent energy management technique in real-time embedded systems, Dynamic Voltage and Frequency Scaling (DVFS), was recently shown to have direct and adverse effects on sys...
Dakai Zhu, Hakan Aydin
130
Voted
IFM
2005
Springer
100views Formal Methods» more  IFM 2005»
15 years 7 months ago
Embedding the Stable Failures Model of CSP in PVS
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
Kun Wei, James Heather
115
Voted
SIGMETRICS
2008
ACM
179views Hardware» more  SIGMETRICS 2008»
15 years 1 months ago
Software thermal management of dram memory for multicore systems
Thermal management of DRAM memory has become a critical issue for server systems. We have done, to our best knowledge, the first study of software thermal management for memory su...
Jiang Lin, Hongzhong Zheng, Zhichun Zhu, Eugene Go...
141
Voted
ECRTS
2009
IEEE
14 years 11 months ago
Hierarchical Utilization Control for Real-Time and Resilient Power Grid
Blackouts in our daily life can be disastrous with enormous economic loss. Blackouts usually occur when appropriate corrective actions are not effectively taken for an initial con...
Ming Chen, Clinton Nolan, Xiaorui Wang, Sarina Adh...
ICCD
2005
IEEE
102views Hardware» more  ICCD 2005»
15 years 10 months ago
Monitoring Temperature in FPGA based SoCs
FPGA logic densities continue to increase at a tremendous rate. This has had the undesired consequence of increased power density, which manifests itself as higher ondie temperatu...
Sivakumar Velusamy, Wei Huang, John Lach, Mircea R...