Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Program Transformations in the POLCA Project
Año:2016
Áreas de investigación
  • Ingenierías
Datos
Descripción
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.
Internacional
Si
Nombre congreso
Design, Automation, and Testing in Europe, EDAA
Tipo de participación
OTHERS
Lugar del congreso
Dresden, Alemania
Revisores
Si
ISBN o ISSN
978-3-9815-3707-9
DOI
Fecha inicio congreso
14/03/2016
Fecha fin congreso
18/03/2016
Desde la página
1
Hasta la página
1
Título de las actas
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016
Esta actividad pertenece a memorias de investigación
Participantes
  • 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)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • 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 2021 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)