Towards independent and-parallelism in CLP

García de la Banda, M. and Bueno Carrillo, Francisco and Hermenegildo, Manuel V. (1996). Towards independent and-parallelism in CLP. In: "8th International Symposium, PLILP '96", September 24 - 27, 1996, Aachen, Germany. ISBN 9783540617563.

Description

Title: Towards independent and-parallelism in CLP
Author/s:
  • García de la Banda, M.
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 8th International Symposium, PLILP '96
Event Dates: September 24 - 27, 1996
Event Location: Aachen, Germany
Title of Book: Programming Languages: Implementations, Logics, and Programs
Date: 1996
ISBN: 9783540617563
Volume: 1140
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 (934kB) | Preview

Abstract

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.

More information

Item ID: 14408
DC Identifier: http://oa.upm.es/14408/
OAI Identifier: oai:oa.upm.es:14408
Official URL: http://link.springer.com/chapter/10.1007%2F3-540-61756-6_78
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 05 Feb 2013 20:02
Last Modified: 21 Apr 2016 14:03
  • 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