Observatorio de I+D+i UPM

Descripción
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 transforming 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 parametrised 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-awareness in software development
Internacional	Si
Nombre congreso	23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR?13)
Tipo de participación	960
Lugar del congreso	Canterbury, UK
Revisores	Si
ISBN o ISSN	978-3-319-17821-9
DOI	10.1007/978-3-319-17822-6
Fecha inicio congreso	09/09/2014
Fecha fin congreso	11/09/2014
Desde la página	1
Hasta la página	15
Título de las actas	Proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR?13), 2014.

Esta actividad pertenece a memorias de investigación

• Autor: Manuel de Hermenegildo Salinas (UPM)
• Autor: Pedro Lopez Garcia (CSIC)
• Autor: Umer Liqat (IMDEA Software)

• Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
• Departamento: Inteligencia Artificial