A comparative study of methods for automatic compile-time parallelization of logic programs

Bueno Carrillo, Francisco; García de la Banda, M. y Hermenegildo, Manuel V. (1994). A comparative study of methods for automatic compile-time parallelization of logic programs. En: "First International Symposium Parallel Symbolic Computation", September 26 -- 28, 1994, Linz - Austria.

Descripción

Título: A comparative study of methods for automatic compile-time parallelization of logic programs
Autor/es:
  • Bueno Carrillo, Francisco
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: First International Symposium Parallel Symbolic Computation
Fechas del Evento: September 26 -- 28, 1994
Lugar del Evento: Linz - Austria
Título del Libro: Parallel Symbolic Computation
Fecha: 1994
Materias:
Palabras Clave Informales: Automatic parallelization, Logic programming, Paralelización automática, Programación lógica.
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 - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (904kB) | Vista Previa

Resumen

This paper presents a study of the effectiveness of three different algorithms for the parallelization of logic programs based on compile-time detection of independence among goals. The algorithms are embedded in a complete parallelizing compiler, which incorporates different abstract interpretation-based program analyses. The complete system shows the task of automatic program parallelization to be practical. The trade-offs involved in using each of the algorithms in this task are studied experimentally, weaknesses of these identified, and possible improvements discussed.

Más información

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