Memorias de investigación
Tesis:
Improved Static Analysis and Verification of Energy Consumption and other Resources via Abstract Interpretation
Año:2015
Áreas de investigación
  • Ingenierías
Datos
Descripción
MSc Software and Systems (UPM)
Internacional
No
ISBN
Tipo de Tesis
Master
Calificación
Sobresaliente cum laude
Fecha
01/07/2015
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Maximiliano Klemen IMDEA Software
  • Director: Manuel Carro Liñares UPM
  • Director: Pedro López IMDEA Software
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)