Memorias de investigación
Communications at congresses:
Energy Consumption Analysis of Programs based on XMOS ISA-Level Models
Year:2013

Research Areas
  • Information technology and adata processing

Information
Abstract
Energy consumption analysis of embedded programs necessitates the analysis of low-level program representations. This is challenging 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 transform these into Horn clauses in order to make use of the CiaoPP resource analysis 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 parametrized by the size of the input data. We have performed an initial experimental assessment and obtained encouraging results when comparing the statically 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-aware software development.
International
Si
Congress
23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'13)
960
Place
Madrid
Reviewers
Si
ISBN/ISSN
Start Date
18/09/2013
End Date
19/09/2013
From page
1
To page
1000
Pre-proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'13), September 2013
Participants

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial