Using combined static analysis and profiling for logic program execution time estimation

Mera, E.; López García, Pedro; Puebla Sánchez, Alvaro Germán; Carro Liñares, Manuel y Hermenegildo, Manuel V. (2006). Using combined static analysis and profiling for logic program execution time estimation. En: "22nd International Conference, ICLP 2006", August 17-20, 2006, Seattle, WA, USA. ISBN 978-3-540-36635-5.

Descripción

Título: Using combined static analysis and profiling for logic program execution time estimation
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: 22nd International Conference, ICLP 2006
Fechas del Evento: August 17-20, 2006
Lugar del Evento: Seattle, WA, USA
Título del Libro: Logic Programming
Fecha: 2006
ISBN: 978-3-540-36635-5
Volumen: 4079
Materias:
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 (584kB) | Vista Previa

Resumen

Predicting statically the running time of programs has many applications ranging from task scheduling in parallel execution to proving the ability of a program to meet strict time constraints. A starting point in order to attack this problem is to infer the computational complexity of such programs (or fragments thereof). This is one of the reasons why the development of static analysis techniques for inferring cost-related properties of programs (usually upper and/or lower bounds of actual costs) has received considerable attention.

Más información

ID de Registro: 14346
Identificador DC: http://oa.upm.es/14346/
Identificador OAI: oai:oa.upm.es:14346
URL Oficial: http://link.springer.com/chapter/10.1007%2F11799573_36?LI=true
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 23 Ene 2013 14:31
Ultima Modificación: 21 Abr 2016 13:58
  • 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