|
Descripción
|
|
|---|---|
| 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. | |
|
Internacional
|
No |
|
Tipo de proyecto
|
Proyectos y convenios en convocatorias públicas competitivas |
|
Entidad financiadora
|
Ministerio de Ciencia e Innovación |
|
Nacionalidad Entidad
|
ESPAÑA |
|
Tamaño de la entidad
|
Pequeña Empresa (11-50) |
|
Fecha concesión
|
|