Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (584kB) | Preview |
Using combined static analysis and profiling for logic program execution time estimation
Citation
Mera, E. and López García, Pedro and Puebla Sánchez, Alvaro Germán and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2006). Using combined static analysis and profiling for logic program execution time estimation. In: "22nd International Conference, ICLP 2006", August 17-20, 2006, Seattle, WA, USA. ISBN 978-3-540-36635-5.
Description
| Title: | Using combined static analysis and profiling for logic program execution time estimation |
|---|---|
| Author/s: |
|
| Item Type: | Presentation at Congress or Conference (Article) |
| Event Title: | 22nd International Conference, ICLP 2006 |
| Event Dates: | August 17-20, 2006 |
| Event Location: | Seattle, WA, USA |
| Title of Book: | Logic Programming |
| Date: | 2006 |
| ISBN: | 978-3-540-36635-5 |
| Volume: | 4079 |
| Subjects: | |
| Faculty: | Facultad de Informática (UPM) |
| Department: | Inteligencia Artificial |
| Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Abstract
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.
More information
| Item ID: | 14346 |
|---|---|
| DC Identifier: | https://oa.upm.es/14346/ |
| OAI Identifier: | oai:oa.upm.es:14346 |
| Official URL: | http://link.springer.com/chapter/10.1007%2F11799573_36?LI=true |
| Deposited by: | Biblioteca Facultad de Informatica |
| Deposited on: | 23 Jan 2013 14:31 |
| Last Modified: | 21 Apr 2016 13:58 |
