The &-prolog system: Exploiting independent and-parallelism

Hermenegildo, Manuel V. y Greene, K. J. (1991). The &-prolog system: Exploiting independent and-parallelism. "New Generation Computing", v. 9 (n. 3, 4); pp. 233-257. ISSN 0288-3635. https://doi.org/10.1007/BF03037164.

Descripción

Título: The &-prolog system: Exploiting independent and-parallelism
Autor/es:
  • Hermenegildo, Manuel V.
  • Greene, K. J.
Tipo de Documento: Artículo
Título de Revista/Publicación: New Generation Computing
Fecha: 1991
Volumen: 9
Materias:
Palabras Clave Informales: Parallelism, Logic programming, Prolog, Automatic parallelization, Performance analysis, Paralelismo, Programación lógica, Paralelización automática, Análisis del rendimiento.
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 (1MB) | Vista Previa

Resumen

The &-Prolog system, a practical implementation of a parallel execution niodel for Prolog exploiting strict and non-strict independent and-parallelism, is described. Both automatic and manual parallelization of programs is supported. This description includes a summary of the system's language and architecture, some details of its execution model (based on the RAP-WAM model), and data on its performance on sequential workstations and shared memory multiprocessors, which is compared to that of current Prolog systems. The results to date show significant speed advantages over state-of-the-art sequential systems.

Más información

ID de Registro: 14299
Identificador DC: http://oa.upm.es/14299/
Identificador OAI: oai:oa.upm.es:14299
Identificador DOI: 10.1007/BF03037164
URL Oficial: http://link.springer.com/article/10.1007%2FBF03037164?LI=true
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 16 Ene 2013 14:48
Ultima Modificación: 21 Abr 2016 13:54
  • 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