Annotation algorithms for unrestricted independent and-parallelism in logic programs

Casas, Amadeo; Carro Liñares, Manuel y Hermenegildo, Manuel V. (2008). Annotation algorithms for unrestricted independent and-parallelism in logic programs. En: "17th International Symposium, LOPSTR 2007", August 23-24, 2007, Kongens Lyngby, Denmark. ISBN 978-3-540-78768-6.

Descripción

Título: Annotation algorithms for unrestricted independent and-parallelism in logic programs
Autor/es:
  • Casas, Amadeo
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 17th International Symposium, LOPSTR 2007
Fechas del Evento: August 23-24, 2007
Lugar del Evento: Kongens Lyngby, Denmark
Título del Libro: Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
Fecha: 2008
ISBN: 978-3-540-78768-6
Volumen: 4915
Materias:
Palabras Clave Informales: Logic programming, Automatic parallelization, And-parallelism, Program transformation, Programación lógica, Paralelización automática.
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 (863kB) | Vista Previa

Resumen

We present two new algorithms which perform automatic parallelization via source-to-source transformations. The objective is to exploit goal-level, unrestricted independent and-parallelism. The proposed algorithms use as targets new parallel execution primitives which are simpler and more flexible than the well-known &/2 parallel operator. This makes it possible to genérate better parallel expressions by exposing more potential parallelism among the literals of a clause than is possible with &/2. The difference between the two algorithms stems from whether the order of the solutions obtained is preserved or not. We also report on a preliminary evaluation of an implementation of our approach. We compare the performance obtained to that of previous annotation algorithms and show that relevant improvements can be obtained.

Más información

ID de Registro: 14322
Identificador DC: http://oa.upm.es/14322/
Identificador OAI: oai:oa.upm.es:14322
URL Oficial: http://link.springer.com/chapter/10.1007%2F978-3-540-78769-3_10?LI=true
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 19 Ene 2013 13:32
Ultima Modificación: 21 Abr 2016 13:56
  • 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