Imprecise Computing Yavuz Yetim. Overview Motivation Background Definition and Causes of Imprecision Solution Approaches Discussion of Two Methods Future.

Slides:



Advertisements
Similar presentations
Location Forum 2006, 7 November, 2006 School of Surveying & Spatial Information Systems The University of New South Wales, Australia Adaptive Kalman Filtering.
Advertisements

When Data Management Systems Meet Approximate Hardware: Challenges and Opportunities Author: Bingsheng He (Nanyang Technological University, Singapore)
+ CS 325: CS Hardware and Software Organization and Architecture Sequential Circuits 1.
Strider : Automatic Rate Adaptation & Collision Handling Aditya Gudipati & Sachin Katti Stanford University 1.
Scheduling for Energy Performance and Reliability Yavuz Yetim Princeton University.
Design Creative Process of transferring the problem into a solution
Paper Title Your Name CMSC 838 Presentation. CMSC 838T – Presentation Motivation u Problem paper is trying to solve  Characteristics of problem  … u.
Scheduling with Optimized Communication for Time-Triggered Embedded Systems Slide 1 Scheduling with Optimized Communication for Time-Triggered Embedded.
Goals of Adaptive Signal Processing Design algorithms that learn from training data Algorithms must have good properties: attain good solutions, simple.
Embedded Systems Laboratory Informatics Institute Federal University of Rio Grande do Sul Porto Alegre – RS – Brazil SRC TechCon 2005 Portland, Oregon,
ED 4 I: Error Detection by Diverse Data and Duplicated Instructions Greg Bronevetsky.
Weikang Qian The Synthesis of Stochastic Logic to Perform Multivariate Polynomial Arithmetic Abstract Ph.D. Student, University of Minnesota Marc D. Riedel.
Justin Meza Qiang Wu Sanjeev Kumar Onur Mutlu Revisiting Memory Errors in Large-Scale Production Data Centers Analysis and Modeling of New Trends from.
Design of SCS Architecture, Control and Fault Handling.
An introduction to Particle filtering
A Low-Power Low-Memory Real-Time ASR System. Outline Overview of Automatic Speech Recognition (ASR) systems Sub-vector clustering and parameter quantization.
SBSE Course 4. Overview: Design Translate requirements into a representation of software Focuses on –Data structures –Architecture –Interfaces –Algorithmic.
Comp 245 Data Structures Software Engineering. What is Software Engineering? Most students obtain the problem and immediately start coding the solution.
Design Space Exploration
Data Flow in Static Profiling Cathal Boogerd, Delft University, The Netherlands Leon Moonen, Simula Research Lab, Norway ?
Transient Fault Detection via Simultaneous Multithreading Shubhendu S. Mukherjee VSSAD, Alpha Technology Compaq Computer Corporation.
1 Software Quality CIS 375 Bruce R. Maxim UM-Dearborn.
Using Neural Networks in Database Mining Tino Jimenez CS157B MW 9-10:15 February 19, 2009.
Software Pipelining for Stream Programs on Resource Constrained Multi-core Architectures IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEM 2012 Authors:
Assuring Application-level Correctness Against Soft Errors Jason Cong and Karthik Gururaj.
Copyright © 2008 UCI ACES Laboratory Kyoungwoo Lee 1, Aviral Shrivastava 2, Nikil Dutt 1, and Nalini Venkatasubramanian 1.
HW/SW PARTITIONING OF FLOATING POINT SOFTWARE APPLICATIONS TO FIXED - POINTED COPROCESSOR CIRCUITS - Nalini Kumar Gaurav Chitroda Komal Kasat.
CML CML Compiler-Managed Protection of Register Files for Energy-Efficient Soft Error Reduction Jongeun Lee, Aviral Shrivastava* Compiler Microarchitecture.
C++ Programming Language Lecture 2 Problem Analysis and Solution Representation By Ghada Al-Mashaqbeh The Hashemite University Computer Engineering Department.
 Embedded Digital Signal Processing (DSP) systems  Specification with floating-point data types  Implementation in fixed-point architectures  Precision.
LOGO A Convolution Accelerator for OR1200 Dawei Fan.
Title of Selected Paper: IMPRES: Integrated Monitoring for Processor Reliability and Security Authors: Roshan G. Ragel and Sri Parameswaran Presented by:
A Novel Local Patch Framework for Fixing Supervised Learning Models Yilei Wang 1, Bingzheng Wei 2, Jun Yan 2, Yang Hu 2, Zhi-Hong Deng 1, Zheng Chen 2.
Zibin Zheng DR 2 : Dynamic Request Routing for Tolerating Latency Variability in Cloud Applications CLOUD 2013 Jieming Zhu, Zibin.
High Speed Digital Systems Lab. Agenda  High Level Architecture.  Part A.  DSP Overview. Matrix Inverse. SCD  Verification Methods. Verification Methods.
Advanced Computer Architecture Lab University of Michigan Compiler Controlled Value Prediction with Branch Predictor Based Confidence Eric Larson Compiler.
Logic Analyzer ECE-4220 Real-Time Embedded Systems Final Project Dallas Fletchall.
Parallelization of likelihood functions for data analysis Alfio Lazzaro CERN openlab Forum on Concurrent Programming Models and Frameworks.
Automatic Evaluation of the Accuracy of Fixed-point Algorithms Daniel MENARD 1, Olivier SENTIEYS 1,2 1 LASTI, University of Rennes 1 Lannion, FRANCE 2.
Implementing algorithms for advanced communication systems -- My bag of tricks Sridhar Rajagopal Electrical and Computer Engineering This work is supported.
Conceptual design Tells the customer what the system will do Tells the customer what the system will do Answers: Answers: Where will the data come from?
HARD: Hardware-Assisted lockset- based Race Detection P.Zhou, R.Teodorescu, Y.Zhou. HPCA’07 Shimin Chen LBA Reading Group Presentation.
Methodology to Compute Architectural Vulnerability Factors Chris Weaver 1, 2 Shubhendu S. Mukherjee 1 Joel Emer 1 Steven K. Reinhardt 1, 2 Todd Austin.
A Survey on Runtime Smashed Stack Detection 坂井研究室 M 豊島隆志.
EnerJ: Approximate Data Types for Safe and General Low-Power Computation (PLDI’2011) Adrian Sampson, Werner Dietl, Emily Fortuna Danushen Gnanapragasam,
High Performance Flexible DSP Infrastructure Based on MPI and VSIPL 7th Annual Workshop on High Performance Embedded Computing MIT Lincoln Laboratory
Sequential Off-line Learning with Knowledge Gradients Peter Frazier Warren Powell Savas Dayanik Department of Operations Research and Financial Engineering.
State-Space Recursive Least Squares with Adaptive Memory College of Electrical & Mechanical Engineering National University of Sciences & Technology (NUST)
Kendo: Efficient Deterministic Multithreading in Software M. Olszewski, J. Ansel, S. Amarasinghe MIT to be presented in ASPLOS 2009 slides by Evangelos.
EE5393, Circuits, Computation, and Biology Computing with Probabilities 1,1,0,0,0,0,1,0 1,1,0,1,0,1,1,1 1,1,0,0,1,0,1,0 a = 6/8 c = 3/8 b = 4/8.
Experience Report: System Log Analysis for Anomaly Detection
15-740/ Computer Architecture Lecture 3: Performance
Learning Software Behavior for Automated Diagnosis
Seoul National University
Tracking parameter optimization
Implementation of Efficient Check-pointing and Restart on CPU - GPU
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES
مقدمه اي بر مهندسي نيازمنديها
Presentation Title Greg Snider QSR, Hewlett-Packard Laboratories
Instructor :Dr. Aamer Iqbal Bhatti
Coordination and computation over wireless networks
Douglas Lacy & Daniel LeCheminant CS 252 December 10, 2003
Mattan Erez The University of Texas at Austin July 2015
Post-Silicon Calibration for Large-Volume Products
Code search & recommendation engines
Data Wordlength Reduction for Low-Power Signal Processing Software
Software Development Approaches
Mapping DSP algorithms to a general purpose out-of-order processor
Fault Tolerant Systems in a Space Environment
Presentation transcript:

Imprecise Computing Yavuz Yetim

Overview Motivation Background Definition and Causes of Imprecision Solution Approaches Discussion of Two Methods Future Work

Motivation Precision = Overkill Applications inherently imprecision tolerant Cosmic Rays Perfect timing, High V dd, ECC, CRC, checker circuits Power Performance

Background Vulnerability Factor [Mukherjee, Weaver, Emer, Reinhardt, Austin, 2003] – Not all bits are important (Architectural) – The important bits are not always important (Timing) Evaluation Method

Background Algorithmic Noise Tolerance [Hegde, Shanbhag, 1999] – Reduce noise in predictable signals DSP Applications

Background Error Resilient System Architecture Inflexible, Suboptimal

Definition of Imprecise Data Stochastic Process – Probabilistic Issues – Time Issues Imprecision Time PDF Google Page Rank Or MIS Memory bit: Reverse time

Causes of Imprecision Unit: Hardware Faults Input: Data From Noisy Channel Operation: Software Bugs Unit InputOutput Operation

Solution Approaches Decrease imprecision by estimation – ANT approach in software Tolerate imprecision by controlling it – ERSA only handles exceptions – Numerical control Input: 10 -3, Output: 10 -2

Software Support Information flow – Hardware-Software – Data-Data Ease of use Efficiency Resource Management

Two Analysis Methods Probabilistic Method Heuristic Method

Probabilistic Method int b, c; imp int a, d, e;. // some code modifying b, c a = b + c;. // some code modifying e. d = a + e; # bc ae d

Heuristic Method Keep performance metric for variables Update all with info from hardware Feedback for adjusting imprecision

Comparison Probabilistic – Probabilistic – Operational Overhead – Both online and offline optimization Heuristic – Definite – Hardware Overhead – Only online optimization

Future Work Combine two methods Better evaluation for different methods Compiler, architecture and hardware support Power and Performance evaluations

Thank you…