Combining static analysis and profiling for estimating execution times

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

Description

Title: Combining static analysis and profiling for estimating execution times
Author/s:
  • Mera, E.
  • López García, Pedro
  • Puebla Sánchez, Alvaro Germán
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 9th International Symposium, PADL 2007
Event Dates: January 14-15, 2007
Event Location: Nice, France
Title of Book: Practical Aspects of Declarative Languages
Date: 2007
ISBN: 978-3-540-69608-7
Volume: 4354
Subjects:
Freetext Keywords: 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.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (907kB) | Preview

Abstract

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.

More information

Item ID: 14336
DC Identifier: http://oa.upm.es/14336/
OAI Identifier: oai:oa.upm.es:14336
Official URL: http://link.springer.com/chapter/10.1007%2F978-3-540-69611-7_9?LI=true#page-1
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 22 Jan 2013 07:54
Last Modified: 21 Apr 2016 13:57
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM