Annotation algorithms for unrestricted independent and-parallelism in logic programs

Casas, Amadeo and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2007). Annotation algorithms for unrestricted independent and-parallelism in logic programs. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

Description

Title: Annotation algorithms for unrestricted independent and-parallelism in logic programs
Author/s:
  • Casas, Amadeo
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Item Type: Monograph (Technical Report)
Date: 2007
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (206kB) | Preview

Abstract

We present two new algorithms which perform source-to-source transformations aimed at ex- ploiting goal-level, restricted independent and-parallelism. They rely on annotating the code with execution primitives which are simpler and more flexible than the well-known &/2 parallel execution operator. This makes it possible to generate better parallel expressions by exposing more potential parallelism among the literals of a clause than is possible with &/2. The algo- rithms we present differ on whether the order of the solutions obtained is preserved or not and on the use of determinism information. Finally, we compare the performance obtained by our approach with that of previous annotation algorithms and show that we can obtain relevant improvements.

More information

Item ID: 53076
DC Identifier: http://oa.upm.es/53076/
OAI Identifier: oai:oa.upm.es:53076
Official URL: http://cliplab.org/papers/uudg-annotators-tr.pdf
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 21 Nov 2018 15:57
Last Modified: 21 Nov 2018 15:57
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM