Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models

Kerrison, Steve and Liqat, Umer and Georgiou, Kyriakos and Serrano, Alejandro and Grech, Neville and López García, Pedro and Eder, Kerstin and Hermenegildo, Manuel V. (2014). Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. In: "International Symposium on Logic-Based Program Synthesis and Transformation ( LOPSTR 2013)", 18-19 Sep 2013, Madrid, España. ISBN 978-3-319-14124-4. pp. 72-90. https://doi.org/10.1007/978-3-319-14125-1_5.

Description

Title: Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models
Author/s:
  • Kerrison, Steve
  • Liqat, Umer
  • Georgiou, Kyriakos
  • Serrano, Alejandro
  • Grech, Neville
  • López García, Pedro
  • Eder, Kerstin
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: International Symposium on Logic-Based Program Synthesis and Transformation ( LOPSTR 2013)
Event Dates: 18-19 Sep 2013
Event Location: Madrid, España
Title of Book: Logic-Based Program Synthesis and Transformation
Date: 2014
ISBN: 978-3-319-14124-4
Volume: 8901
Subjects:
Freetext Keywords: Energy consumption analysis; Energy models; Resource usage analysis; Static analysis
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (503kB) | Preview

Abstract

Energy consumption analysis of embedded programs necessi- tates the analysis of low-level program representations. This is challeng- ing because the gap between the high-level program structure and the low-level energy models needs to be bridged. Here, we describe techniques for recreating the structure of low-level programs and transforming these into Horn clauses in order to make use of the CiaoPP resource analy- sis framework. Our analysis framework, which makes use of an energy model we produce for the underlying hardware, characterizes the energy consumption of the program, and returns energy formulae parametrised by the size of the input data. We have performed an initial experimental assessment and obtained encouraging results when comparing the stati- cally inferred formulae to direct energy measurements from the hardware running a set of benchmarks. Static energy estimation has applications in program optimization and enables more energy-awareness in software development.

More information

Item ID: 52627
DC Identifier: http://oa.upm.es/52627/
OAI Identifier: oai:oa.upm.es:52627
DOI: 10.1007/978-3-319-14125-1_5
Official URL: https://link.springer.com/chapter/10.1007/978-3-319-14125-1_5
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 15 Oct 2018 10:55
Last Modified: 15 Oct 2018 11:43
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM