Observatorio de I+D+i UPM

Memorias de investigación
Research Project:
Resolución de Relaciones de Coste utilizando Técnicas de Análisis de Programas
Year:2011
Research Areas
  • Programming language
Information
Abstract
Uno de los factores que más determinan el funcionamiento de un programa es su consumo de recursos. tales como la cantidad de memoria que consume, el número de instrucciones que ejecuta, su tiempo de ejecución, etc. El análisis de coste pretende, sin necesidad de ejecutar el programa, inferir de forma automática y estática, la cantidad de recursos que el programa consume. Esta información garantiza que la ejecución del programa nunca superará el número de recursos inferido por el análisis. El propósito del proyecto actual es mejorar las técnicas existentes en el campo del análisis de coste en el siguiente sentido (1) mejorar la precisión de las cotas de coste obtenidas y (2) ampliar la clase de programas sobre las cuales podemos aplicar el análisis. Los resultados que esperamos incluyen técnicas novedosas de análisis estático y desarrollo de prototipos que evidencien que la inferencia automática de cotas es realista. El proyecto permitirá establecer una colaboración nueva entre dos equipos europeos, de alto prestigio internacional dentro del campo del análisis estático.
International
No
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
Ministerio de Ciencia e Innovación
Entity Nationality
ESPAÑA
Entity size
Pequeña Empresa (11-50)
Granting date
Participants
  • Director: Elvira Albert Albiol (UPM)
  • Participante: Samir Genaim . (UPM)
  • Participante: Alvaro German Puebla Sanchez (UPM)
  • Participante: Purificación Arenas Sánchez (UPM)
  • Participante: Damiano Zanardini (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial
S2i 2020 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)