Energy Proportional Datacenter Networks
Dennis Abts
Michael R. Marty
Philip M. Wells
Google Inc.
Madison, WI
Google Inc.
Madison, WI
Google Inc.
Madison, WI
[email protected][email protected][email protected]
Peter Klausler
Hong Liu
Google Inc.
Madiso
Assignment #1
ECE 590-04
Introduction to Electrical Energy Conversion
Due Lecture 4 (January 23, 2013)
Tutorial study problems that may be helpful with this assignment: Problem 2.2 and Problem
2.3.
Do problems 2.1, 2.5, 2.7, and 2.8 of the textbook (secon
Name:_
Midterm Examination
ECE 590-04
Introduction to Electrical Energy Conversion
Spring 2013
Prof. Angel V. Peterchev
Instructions: This is a one week take-home exam. It is an open-book exam. You may refer to
any materials that you wish, but you are on
Paper Title:
Cramming more components onto integrated circuits
Summary:
In this paper Gordon E. Moore provides his take on the future of integrated circuits and how
they can bring about incredible developments and revolutions in the electronics and comput
2
ELEN E6304y
(Watkins-Johnson converter)
E&M Problem 4.1
2
1
Vg
1
2
+
Figure 1: Problem 4.1
(a) An implementation of Figure 1 using SPST ideal switches is shown in Figure 2. During
subinterval 1 (0 t DTs ), sw2 and sw3 are closed. During subinterval 2 (D
Chapter 6. Converter Circuits
Where do the boost,
buck-boost, and other
converters originate?
6.1. Circuit manipulations
6.2. A short list of
converters
How can we obtain a
converter having given
desired properties?
6.3. Transformer isolation
What conv
ECE 590.05, HW #7
Spring 2016
Homework #7
2D FETs
DUE @ Beginning of Class: Thursday, March 10
1) You need to choose between a monolayer of MoS2 (EG = 1.78 eV, body = 7.2, m*=
0.57m0), MoTe2 (EG = 1.13 eV, body = 3.6, m*= 0.62m0), or WS2 (EG = 1.9
1
Evaluating STT-RAM as an
Energy-Efcient Main Memory Alternative
Emre K lt rsay , Mahmut Kandemir , Anand Sivasubramaniam , and Onur Mutlu
u u
The
Pennsylvania State University and Carnegie Mellon University
AbstractIn this paper, we explore the possibi
Understanding the Energy Consumption of
Dynamic Random Access Memories
Thomas Vogelsang
Rambus Inc.
Los Altos, CA, United States of America
[email protected]
Abstract Energy consumption has become a major constraint
on the capabilities of computer sys
Basics of Low Power Circuit and Logic Design
Anantha Chandrakasan
Massachusetts Institute of Technology
High Performance Processors
Microprocessor Power
(source ISSCC)
Power (Watt)
30
20
10
0
75
Basics of Low Power Circuit and Logic Design
80
85
Year
90
PowerNap: Eliminating Server Idle Power
David Meisner
[email protected]
Brian T. Gold
[email protected]
Advanced Computer Architecture Lab
The University of Michigan
Abstract
Data center power consumption is growing to unprecedented levels: the EPA estimates
Paper Review:
Meisner et al. PowerNap: Eliminating Server Idle Power, ASPLOS 2009.
Summary of the proposed idea:
In this paper, the authors propose a novel energy-conservation approach, called PowerNap, that
is attuned to server utilization patterns. A sy
Paper Review:
X. Fan, W. Weber, L. Barroso et al, Power Provisioning for a Warehouse-sized
Computer
Summary of the proposed idea
This paper studies the opportunities to maximize the use of the deployed capacity of
datacenters and assesses the risks of ove
Energy-Efcient Circuit Design
Antonios Antoniadis
Neal Barcelo
Michael Nugent
Michele Scquizzato
Kirk Pruhs
Department of Computer Science
University of Pittsburgh
Pittsburgh, PA 15260, USA
ABSTRACT
Keywords
We initiate the theoretical investigation of en
RAZOR: CIRCUIT-LEVEL
CORRECTION OF TIMING ERRORS
FOR LOW-POWER OPERATION
DYNAMIC VOLTAGE SCALING IS ONE OF THE MORE EFFECTIVE AND WIDELY
USED METHODS FOR POWER-AWARE COMPUTING. HERE IS A DVS APPROACH
THAT USES DYNAMIC DETECTION AND CORRECTION OF CIRCUIT T
In Proceedings of the ACM International Symposium on Computer Architecture, San Diego, CA, June 2007
Power Provisioning for a Warehouse-sized Computer
Xiaobo Fan
Wolf-Dietrich Weber
Luiz Andr Barroso
Google Inc.
1600 Amphitheatre Pkwy
Mountain View, CA 94
Designing Low-Power Circuits:
Practical Recipes
by Luca Benini *
Giovanni De Micheli
Enrico Macii
Vs
C
s
L4
Vdd
_H
IN
1531- 636X/03/$10.002001IEEE
6
T_
L
LK
Vdd
_H
UT
O
L2
OU
L5
Introduction
Power dissipation has become a
critical design metric for an inc
Provides a good basis for understanding power consumption in CMOS systems. Dissects the
equation and puts forward possible scopes of improvement.
+Points out which term dominates the equation and working on which parameter (voltage)
would be the smartest
Responseto:
Mudge.Power:Afirstclassarchitecturaldesignconstraint,IEEEComputer,2001
Summary:
The paper aims to put forward the necessity of incorporating power as a first class architectural
design constraint in order to feasibly operate the next generatio
Responseto:
Barrosoetal.,Thecaseforenergyproportionalcomputing,IEEEComputer,2007
Summary:
The paper sets the grounds by pointing out the growing concern with computer energy
consumption and how current trends could make energy a dominant factor in the tot
Paper Title:
Cramming more components onto integrated circuits
Summary:
In this paper Gordon E. Moore provides his take on the future of integrated circuits and how
they can bring about incredible developments and revolutions in the electronics and comput
Paper Review of:
Heller et al. "ElasticTree: Saving energy in datacenter networks," NSDI 2010.
Summary of the proposed idea:
The idea takes advantage of the fact that network traffic loads are variable. They introduce the
idea of a network-wide energy opt
ECE 590.05, HW #1
Spring 2016
Homework #1
Semiconductor Device Refresher
DUE @ Beginning of Class: Tuesday, January 26
1) Draw a band diagram representing the breakdown of a Si p-n junction diode, clearly
indicating the carrier actions that are
Intro to Coding Theory
In the beginning .
Coding theory originated with the advent of computers. Early
computers were huge mechanical monsters whose reliability was
low compared to the computers of today. Based, as they were, on
banks of mechanical relays
Regular Properties
Miroslav Pajic
Department of Electrical and Computer Engineering
Pratt School of Engineering
Duke University
http:/people.duke.edu/~mp275/
ECE 590, Spring 2017
Administrivia
Today Regular properties
Office hours:
Wednesday 1
Formal Methods in CPS
Case Studies Project Ideas
Miroslav Pajic
Department of Electrical and Computer Engineering
Pratt School of Engineering
Duke University
http:/people.duke.edu/~mp275/
ECE 590, Spring 2017
Administrivia
Today Project ideas
Medic
Probabilistic Model Checking
Miroslav Pajic
Department of Electrical and Computer Engineering
Pratt School of Engineering
Duke University
http:/people.duke.edu/~mp275/
ECE 590, Spring 2017
Administrivia
No classes and office hours on Tuesday 4/
ECE 590
Formal Methods for
Cyber-Physical Systems
Miroslav Pajic
Department of Electrical and Computer Engineering
Pratt School of Engineering
Duke University
http:/people.duke.edu/~mp275/
ECE 590, Spring 2017
Today
Course organization
Cyber-Physi
Hybrid Systems
Miroslav Pajic
Department of Electrical and Computer Engineering
Pratt School of Engineering
Duke University
http:/people.duke.edu/~mp275/
ECE 590, Spring2017
Recall an example
T = 510 y1 = 10 y2 = 10
. Rod1
T = 0.1 T - 56
.
.
y1 = 1 y2 =
Overviews
Regular Languages &
Propositional Logic
Miroslav Pajic
Department of Electrical and Computer Engineering
Pratt School of Engineering
Duke University
http:/people.duke.edu/~mp275/
ECE 590, Spring 2017
Propositional Logic
Formal Languages
Reg
Introduction to Model Checking
Miroslav Pajic
Department of Electrical and Computer Engineering
Pratt School of Engineering
Duke University
http:/people.duke.edu/~mp275/
ECE 590, Spring 2017
Design Process (General)
Modeling specifies what a system