Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (700kB) | Vista Previa |
Specialization and optimization of constraint programs with dynamic scheduling
Cita
Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. 
ORCID: https://orcid.org/0000-0002-7583-323X
(1995).
Specialization and optimization of constraint programs with dynamic scheduling.
Monografía (Artículo de Trabajo).
Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.
ORCID: https://orcid.org/0000-0002-7583-323X
(1995).
Specialization and optimization of constraint programs with dynamic scheduling.
Monografía (Artículo de Trabajo).
Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.
Descripción
| Título: | Specialization and optimization of constraint programs with dynamic scheduling |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Monográfico (Artículo de Trabajo) |
| Fecha: | Septiembre 1995 |
| Materias: | |
| ODS: | |
| Palabras Clave Informales: | Abstract interpretation, Logic programming, Constraint logic programming, Compile-time analysis, Multiple program specialization, Optimization, Program specialization, Interpretación abstracta, Programación lógica, Programación lógica restringida, Especialización en programación múltiple, Optimización, Programación especializada. |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
In this report we discuss some of the issues involved in the specialization and optimization of constraint logic programs with dynamic scheduling. Dynamic scheduling, as any other form of concurrency, increases the expressive power of constraint logic programs, but also introduces run-time overhead. The objective of the specialization and optimization is to reduce as much as possible such overhead automatically, while preserving the semantics of the original programs. This is done by program transformation based on global analysis. We present implementation techniques for this purpose and report on experimental results obtained from an implementation of the techniques in the context of the CIAO compiler.
Más información
| ID de Registro: | 15060 |
|---|---|
| Identificador DC: | https://oa.upm.es/15060/ |
| Identificador OAI: | oai:oa.upm.es:15060 |
| URL Oficial: | ftp://clip.dia.fi.upm.es/pub/papers/ACCLAIM/final_... |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 02 May 2013 07:08 |
| Ultima Modificación: | 27 Feb 2023 09:50 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
