Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
Program Transformations in the POLCA Project
Year:2016
Research Areas
  • Engineering
Information
Abstract
Abstract: The POLCA project develops annotations on fragments of imperative code to guide program transformations for better utilization of resources. These annotations express the computational essence of the code fragments without referring to memory usage or execution time. That makes the annotations mathematical in nature such that provably correct transformations can be applied to them and the corresponding code fragment can be transformed accordingly for more optimal resource usage, for example on a multi-core platform or on an FPGA.
International
Si
Congress
Design, Automation, and Testing in Europe, EDAA
OTHERS
Place
Dresden, Alemania
Reviewers
Si
ISBN/ISSN
978-3-9815-3707-9
Start Date
14/03/2016
End Date
18/03/2016
From page
1
To page
1
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016
Participants
  • Autor: Jan Kuper (University of Twente)
  • Autor: Lutz Schubert (Ulm University)
  • Autor: Kilian Kempf (Ulm University))
  • Autor: Colin Glass (High Performance Computing Center, Stuttgart)
  • Autor: Daniel Rubio Bonilla (High Performance Computing Center, Stuttgart)
  • Autor: Manuel Carro Liñares (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2019 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)