Observatorio de I+D+i UPM

Memorias de investigación
Otras publicaciones:
Towards Energy Consumption Verification via Static Analysis
Año:2015
Áreas de investigación
  • Ingenierías
Datos
Descripción
Publication in Refereed Workshops
Internacional
Si
Entidad
Lugar
Amsterdam, The Netherlands
Páginas
Referencia/URL
http://arxiv.org/abs/1512.09369
Tipo de publicación
Proceedings
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Pedro López (IMDEA Software)
  • Autor: Remy Haemmerle (IMDEA Software)
  • Autor: Maximiliano Klemen (IMDEA Software)
  • Autor: Umer Liqat (IMDEA Software)
  • Autor: Manuel de Hermenegildo Salinas (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: Inteligencia Artificial
S2i 2023 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)