M07 Low Power: Fixed-point refinement, a guaranteed approach towards energy efficient computing

Agenda

Time	Label	Session
09:30	M07.1	Fixed-point refinement, a guaranteed approach towards energy efficient computing: Part I Organiser: Olivier Sentieys, INRIA - University of Rennes 1, FR
09:30	M07.1.1	1. Introduction Olivier Sentieys, INRIA - University of Rennes 1, FR What is fixed-point arithmetic? Why to use fixed-point?
09:45	M07.1.2	2. Fixed-point arithmetic Olivier Sentieys, INRIA - University of Rennes 1, FR Arithmetic rules and type support in languages and architectures Review of commercial and academic tools Precision metrics: average noise vs. bounds
10:15	M07.1.3	3. Finite word-length effect analysis Daniel Menard, INSA Rennes/IETR, FR Guaranteed range evaluation Dealing with overflows: stochastic approaches Numerical accuracy evaluation: bounded or average errors Dealing with system-level complexity
11:30	M07.2	Fixed-point refinement, a guaranteed approach towards energy efficient computing: Part II Organiser: Olivier Sentieys, INRIA - University of Rennes 1, FR
11:30	M07.2.1	4. High-level synthesis under accuracy constraint Karthick Parashar, IMEC, BE Word-length optimization: an iterative and NP-hard problem The intricacy of joint HLS and WLO System-level optimization: dealing with complexity
12:15	M07.2.2	5. SIMD vectorization under accuracy constraint David Novo, EPFL, CH Soft SIMD vs. Hard SIMD Exploring vectorization vs. accuracy trade-off Results: HEVC video processing and video surveillance
12:35	M07.2.3	6. Opportunistic run-time precision adaptation David Novo, EPFL, CH Dynamic adaption of processing accuracy When flexibility leads to higher energy efficiency
12:50	M07.2.4	7. Conclusion and open research directions David Novo, EPFL, CH