Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa |
ORCID: https://orcid.org/0000-0002-7583-323X and Greene, K. J.
(1990).
&-prolog and its performance: exploiting independent and-parallelism.
En: "Seventh International Conference on Logic Programming", June 18-20, 1990, Jerusalem, Israel. ISBN 0262730901.
| Título: | &-prolog and its performance: exploiting independent and-parallelism |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | Seventh International Conference on Logic Programming |
| Fechas del Evento: | June 18-20, 1990 |
| Lugar del Evento: | Jerusalem, Israel |
| Título del Libro: | Logic Programming, Proceedings of the Seventh International Conference |
| Fecha: | Junio 1990 |
| ISBN: | 0262730901 |
| Materias: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa |
An Independent And-Parallel Prolog model and implementation, &-Prolog, are described. The description includes a summary of the system's architecture, some details of its execution model (based on the RAP-WAM model), and most importantly, its performance on sequential workstations and shared memory multiprocessors as compared with state-of-the-art Prolog systems. Speedup curves are provided for a collection of benchmark programs which demónstrate significant speed advantages over state-of the art sequential systems.
| ID de Registro: | 14497 |
|---|---|
| Identificador DC: | https://oa.upm.es/14497/ |
| Identificador OAI: | oai:oa.upm.es:14497 |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 15 Feb 2013 07:53 |
| Ultima Modificación: | 21 Abr 2016 14:12 |
Publicar en el Archivo Digital desde el Portal Científico