Proceedings ArticleDOI
Thermal management for dependable on-chip systems
Jorg Henkel,Thomas Ebi,Hussam Amrouch,Heba Khdr +3 more
- pp 113-118
TLDR
An overview of temperature-related effects that threaten dependability and a methodology for reducing the dependability concerns through thermal management utilizing the concept of aging budgeting are presented.Abstract:
Dependability has become a growing concern in the nano-CMOS era due to elevated temperatures and an increased susceptibility to temperature of the small structures. We present an overview of temperature-related effects that threaten dependability and a methodology for reducing the dependability concerns through thermal management utilizing the concept of aging budgeting.read more
Citations
More filters
Proceedings ArticleDOI
dTune: Leveraging Reliable Code Generation for Adaptive Dependability Tuning under Process Variation and Aging-Induced Effects
TL;DR: This paper introduces a novel adaptive Dependability Tuning (dTune) scheme for manycore processors that leverages the knowledge of varying vulnerability and error masking properties of different applications along with multiple compiled versions (each offering distinct reliability and performance properties).
Proceedings ArticleDOI
mDTM: multi-objective dynamic thermal management for on-chip systems
TL;DR: This paper proposes mDTM, a proactive dynamic thermal management technique for on-chip systems that employs multi-objective management for migrating tasks in order to both prevent the system from hitting an undesirable thermal threshold and to balance the temperatures between the cores.
Proceedings ArticleDOI
Designing guardbands for instantaneous aging effects
TL;DR: The first approach that in fact considers both long-term as well as instantaneous BTI effects is presented, which can be employed for complex circuits at the micro-architecture level and allows for the development of more cost-effective yet reliable designs.
Proceedings ArticleDOI
ageOpt-RMT: compiler-driven variation-aware aging optimization for redundant multithreading
TL;DR: Experimental results demonstrate that compared to state-of-the-art aging-unaware RMT techniques, the ageOpt-RMT provides improved and balanced aging profiles by 2x on average.
Proceedings ArticleDOI
Formal verification of distributed dynamic thermal management
TL;DR: The proposed methodology is based on the SPIN model checker and the Lamport timestamps algorithm and allows specification and verification of both functional and timing properties in a distributed many-core system.
References
More filters
Book
Reinforcement Learning: An Introduction
TL;DR: This book provides a clear and simple account of the key ideas and algorithms of reinforcement learning, which ranges from the history of the field's intellectual foundations to the most recent developments and applications.
Journal ArticleDOI
Cramming More Components Onto Integrated Circuits
TL;DR: Integrated circuits will lead to such wonders as home computers or at least terminals connected to a central computer, automatic controls for automobiles, and personal portable communications equipment as mentioned in this paper. But the biggest potential lies in the production of large systems.
Book ChapterDOI
Time, clocks, and the ordering of events in a distributed system
TL;DR: In this paper, the concept of one event happening before another in a distributed system is examined, and a distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events.
Book
Thermodynamics : An Engineering Approach
Yunus A. Cengel,Michael A. Boles +1 more
TL;DR: The first law of thermodynamics -closed systems, control volumes, and the second law of entropy -a measure of disorder energy -are the properties of pure substances of high-speed fluid flow as mentioned in this paper.
Journal ArticleDOI
The model checker SPIN
TL;DR: An overview of the design and structure of the verifier, its theoretical foundation, and an overview of significant practical applications are given.
Related Papers (5)
Design and architectures for dependable embedded systems
Jorg Henkel,Lars Bauer,Joachim Becker,Oliver Bringmann,Uwe Brinkschulte,Samarjit Chakraborty,Michael Engel,Rolf Ernst,Hermann Härtig,Lars Hedrich,Andreas Herkersdorf,Rüdiger Kapitza,Daniel Lohmann,Peter Marwedel,Marco Platzner,Wolfgang Rosenstiel,Ulf Schlichtmann,Olaf Spinczyk,Mehdi B. Tahoori,Jürgen Teich,Norbert Wehn,Hans-Joachim Wunderlich +21 more