Approximate Computing Techniques

Alberto Bosio received his PhD in Computer Engineering from the Politecnico di Torino, Italy in 2006. From 2007 to 2018 was an Associate Professor at LIRMM - University of Montpellier in France. He is now a Full Professor at the INL - Ecole Centrale de Lyon - Institute of Nanotechnology  (France). His research interests include Approximate Computing, In-Memory Computing, Test and Diagnosis of Digital circuits and systems and Reliability. He co-authored 3 books and 4 book-chapter, 4 patents, 46 papers in international journals and more than 152 papers in international conferences and workshops book, 3 patents, 35 journals, and over 120 conference papers. He will be is the chair of the European Test Technology Technical Council - IEEE eTTTCETTTC from January 2018 and . He is a member of the IEEE.Daniel Menard received the Ph.D. and HDR degrees in Signal Processing and Telecommunications from the University of Rennes, respectively in 2002 and 2011. From 2003 to 2012he was Associate Professor at the University of Rennes in France. He is currently Full Professor at INSA Rennes. His research activities focus on the energy efficient implementation of signal and image processing applications in embedded systems. His research topics include approximate computing, accuracy evaluation, fixed-point arithmetic, energy optimization in MPSoC and low power HEVC video encoding and decoding. He has published more than 100 papers in international journals and in international conferences. He is a member of the ASPS Technical Committee of the IEEE Signal Processing Society.Olivier Sentieys is a Professor at the University of Rennes and holds an Inria Research Chair on Energy-Efficient Computing Systems. He is leading the Taran team common to Inria (French research institute dedicated to computational sciences) and IRISA Laboratory. His research interests are in the area of computer architectures, embedded systems and signal processing, with a focus on system-level design, energy-efficiency, reconfigurable systems, hardware acceleration, approximate computing, fault tolerance, and power management of energy-harvesting sensor networks. He authored or co-authored more than 250 journal or conference papers, holds 6 patents, and served in the technical committees of several international IEEE/ACM/IFIP conferences.

• General introduction Motivations.- Number representations.- Data level approximation.- Dynamic precision scaling.- Hardware level approximation.- Inexact operators.- Computation level approximation - algorithmic level.- Analysis of approximation effect on application quality.- Techniques for finite precision arithmetic.- Compilers and Programming Languages for Approximate Computing.- Design space exploration.- Word-length optimization for fixed-point and floating-point.- HLS of approximate accelerators.- Approximate Computing for IoT Applications.- Approximating Safety-Critical Applications.- Approximate Computing for HPC Applications.