Combining static analysis and profiling for estimating execution times

Mera, E.; López García, Pedro; Puebla Sánchez, Alvaro Germán; Carro Liñares, Manuel y Hermenegildo, Manuel V. (2007). Combining static analysis and profiling for estimating execution times. En: "9th International Symposium, PADL 2007", January 14-15, 2007, Nice, France. ISBN 978-3-540-69608-7.

Descripción

Título: Combining static analysis and profiling for estimating execution times
Autor/es:
  • Mera, E.
  • López García, Pedro
  • Puebla Sánchez, Alvaro Germán
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 9th International Symposium, PADL 2007
Fechas del Evento: January 14-15, 2007
Lugar del Evento: Nice, France
Título del Libro: Practical Aspects of Declarative Languages
Fecha: 2007
ISBN: 978-3-540-69608-7
Volumen: 4354
Materias:
Palabras Clave Informales: Execution time estimation, Cost analysis, Profiling, Resource awareness, Cost models, Mobile computing, Estimación del tiempo de ejecución, Análisis de costes, Perfiles,Mdelos de coste, Informática móvil.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (907kB) | Vista Previa

Resumen

Effective static analyses have been proposed which infer bounds on the number of resolutions. These have the advantage of being independent from the platform on which the programs are executed and have been shown to be useful in a number of applications, such as granularity control in parallel execution. On the other hand, in distributed computation scenarios where platforms with different capabilities come into play, it is necessary to express costs in metrics that include the characteristics of the platform. In particular, it is specially interesting to be able to infer upper and lower bounds on actual execution times. With this objective in mind, we propose an approach which combines compile-time analysis for cost bounds with a one-time profiling of a given platform in order to determine the valúes of certain parameters for that platform. These parameters calibrate a cost model which, from then on, is able to compute statically time bound functions for procedures and to predict with a significant degree of accuracy the execution times of such procedures in that concrete platform. The approach has been implemented and integrated in the CiaoPP system.

Más información

ID de Registro: 14336
Identificador DC: http://oa.upm.es/14336/
Identificador OAI: oai:oa.upm.es:14336
URL Oficial: http://link.springer.com/chapter/10.1007%2F978-3-540-69611-7_9?LI=true#page-1
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 22 Ene 2013 07:54
Ultima Modificación: 21 Abr 2016 13:57
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM