Dependable and energy efficient computing

Introduction: Dependable Systems (Background and Motivation, Dependability Attributes, Combinational Modeling, State-Space Modeling), Defects: Physical Imperfections (Defect Avoidance, Defect Circumvention, Shielding and Hardening, Yield Enhancement), Faults: Logical Deviations (Fault Testing, Fault Masking, Design for Testability, Replication and Voting), Errors: Information Distortions (Error Detection, Error Correction, Self-Checking Modules, Redundant Disk Arrays), Malfunctions: Architectural Anomalies (Malfunction Diagnosis, Malfunction Tolerance, Standby Redundancy, Resilient Algorithms), Degradations: Behavioral Lapses (Degradation Allowance, Degradation Management, Robust Task Scheduling, Software Redundancy), Failures: Computational Breaches (Failure Confinement, Failure Recovery Agreement and Adjudication, Fail-Safe System Design)
Energy efficient computing: Fundamentals (Dynamic power consumption in CMOS circuits: voltage, capacitance, switching activity, clock frequency. Leakage power. Metrics: energy efficiency vs performance), Basic low power design techniques (Voltage scaling. Effective switched capacitance reduction. Leakage power reduction.), Gate level power modelling (Switching activity. Glitches. Clock-gating, guarded evaluation.), Processor power modelling and optimization (Wattch/Simplescalar simulator. Behavioural level transformations. Architectural techniques for energy efficiency.), Memory subsystem modelling and optimization (Low-power cache design, e.g. way-predicting), Power management (Dynamic Voltage and Frequency Scaling. Dynamic Power Management.), Compiler and run-time support for low power (Scheduling for low energy consumption. Compiler-driven power efficiency.), Current themes (Partially asynchronous systems. Power management techniques for sensor networks.)