A simulation study of or- and independent and-parallelism

Shen, Kish y Hermenegildo, Manuel V. (1991). A simulation study of or- and independent and-parallelism. En: "International Logic Programming Symposium", Oct. 28 - Nov 1, 1991, San Diego, California, USA. ISBN 0262691477.

Descripción

Título: A simulation study of or- and independent and-parallelism
Autor/es:
  • Shen, Kish
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: International Logic Programming Symposium
Fechas del Evento: Oct. 28 - Nov 1, 1991
Lugar del Evento: San Diego, California, USA
Título del Libro: Logic Programming, Proceedings of the 1991 International Symposium
Fecha: Octubre 1991
ISBN: 0262691477
Materias:
Palabras Clave Informales: Parallelism, Logic programming, Performance analysis, Or-parallelism, Independent and-parallelism, Simulation, Compile-time parallelization, Paralelismo, Programación lógica, Análisis del rendimiento, Simulación.
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 (966kB) | Vista Previa

Resumen

Although studies of a number of parallel implementations of logic programming languages are now available, the results are difficult to interpret due to the multiplicity of factors involved, the effect of each of which is difficult to sepárate. In this paper we present the results of a highlevel simulation study of or- and independent and-parallelism with a wide selection of Prolog programs that aims to facilítate this separation. We hope this study will be instrumental in better understanding and comparing results from actual implementations, as shown by an example in the paper. In addition, the paper examines some of the issues and tradeoffs associated with the combination of and- and or-parallelism and proposes reasonable solutions based on the simulation data.

Más información

ID de Registro: 14482
Identificador DC: http://oa.upm.es/14482/
Identificador OAI: oai:oa.upm.es:14482
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 14 Feb 2013 07:37
Ultima Modificación: 21 Abr 2016 14:11
  • 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