Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (904kB) | Preview |
A comparative study of methods for automatic compile-time parallelization of logic programs
Citation
Bueno Carrillo, Francisco 
ORCID: https://orcid.org/0000-0002-5460-5537, García de la Banda, M. and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X
(1994).
A comparative study of methods for automatic compile-time parallelization of logic programs.
In: "First International Symposium Parallel Symbolic Computation", September 26 -- 28, 1994, Linz - Austria.
Description
| Title: | A comparative study of methods for automatic compile-time parallelization of logic programs |
|---|---|
| Author/s: |
|
| Item Type: | Presentation at Congress or Conference (Article) |
| Event Title: | First International Symposium Parallel Symbolic Computation |
| Event Dates: | September 26 -- 28, 1994 |
| Event Location: | Linz - Austria |
| Title of Book: | Parallel Symbolic Computation |
| Date: | 1994 |
| Subjects: | |
| Freetext Keywords: | Automatic parallelization, Logic programming, Paralelización automática, Programación lógica. |
| Faculty: | Facultad de Informática (UPM) |
| Department: | Inteligencia Artificial |
| Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Abstract
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.
More information
| Item ID: | 14431 |
|---|---|
| DC Identifier: | https://oa.upm.es/14431/ |
| OAI Identifier: | oai:oa.upm.es:14431 |
| Deposited by: | Biblioteca Facultad de Informatica |
| Deposited on: | 08 Feb 2013 09:52 |
| Last Modified: | 21 Apr 2016 14:05 |
