Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (934kB) | Vista Previa |
Towards independent and-parallelism in CLP
Cita
García de la Banda, M., Bueno Carrillo, Francisco 
ORCID: https://orcid.org/0000-0002-5460-5537 and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X
(1996).
Towards independent and-parallelism in CLP.
En: "8th International Symposium, PLILP '96", September 24 - 27, 1996, Aachen, Germany. ISBN 9783540617563.
ORCID: https://orcid.org/0000-0002-5460-5537 and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X
(1996).
Towards independent and-parallelism in CLP.
En: "8th International Symposium, PLILP '96", September 24 - 27, 1996, Aachen, Germany. ISBN 9783540617563.
Descripción
| Título: | Towards independent and-parallelism in CLP |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | 8th International Symposium, PLILP '96 |
| Fechas del Evento: | September 24 - 27, 1996 |
| Lugar del Evento: | Aachen, Germany |
| Título del Libro: | Programming Languages: Implementations, Logics, and Programs |
| Fecha: | 1996 |
| ISBN: | 9783540617563 |
| Volumen: | 1140 |
| Materias: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
In this paper we propose a complete scheme for automatic exploitation of independent and-parallelism in CLP programs. We first discuss the new problems involved because of the different properties of the independence notions applicable to CLP. We then show how independence can be derived from a number of standard analysis domains for CLP. Finally, we perform a preliminary evaluation of the efficiency, accuracy, and effectiveness of the approach by implementing a parallehzing compiler for CLP based on the proposed ideas and applying it on a number of CLP benchmarks.
Más información
| ID de Registro: | 14408 |
|---|---|
| Identificador DC: | https://oa.upm.es/14408/ |
| Identificador OAI: | oai:oa.upm.es:14408 |
| URL Oficial: | http://link.springer.com/chapter/10.1007%2F3-540-6... |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 05 Feb 2013 20:02 |
| Ultima Modificación: | 27 Feb 2023 12:26 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
