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