eprintid: 14428
rev_number: 19
eprint_status: archive
userid: 2047
dir: disk0/00/01/44/28
datestamp: 2013-02-08 09:22:07
lastmod: 2023-02-27 12:13:52
status_changed: 2023-02-27 12:13:52
type: conference_item
metadata_visibility: show
item_issues_count: 0
creators_name: Bueno Carrillo, Francisco
creators_name: García de la Banda, M.
creators_name: Hermenegildo, Manuel V.
title: Effectiveness of global analysis in strict independence-based automatic program parallelization
ispublished: pub
subjects: informatica
abstract: This paper presents a study of the effectiveness of global analysis in the parallelization of logic programs using strict independence. A number of well-known approximation domains are selected and tlieir usefulness for the application in hand is explained. Also, methods for using the information provided by such domains to improve parallelization are proposed. Local and global analyses are built using these domains and such analyses are embedded in a complete parallelizing compiler. Then, the performance of the domains (and the system in general) is assessed for this application through a number of experiments. We argüe that the results offer significant insight into the characteristics of these domains, the demands of the application, and the tradeoffs involved.
date: 1994
date_type: published
publisher: MIT Press
full_text_status: public
pres_type: paper
place_of_pub: Cambridge, MA, USA
pages: 686
event_title: 1994 International Symposium on Logic programming
event_location: Ithaca, New York
event_dates: November 13-17, 1994
event_type: conference
institution: Informatica
department: Inteligencia_Artificial
refereed: TRUE
isbn: 0262521911
book_title: ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
rights: by-nc-nd
citation:   Bueno Carrillo, Francisco and García de la Banda, M. and Hermenegildo, Manuel V.  (1994).  Effectiveness of global analysis in strict independence-based automatic program parallelization.  In: "1994 International Symposium on Logic programming", November 13-17, 1994, Ithaca, New York. ISBN 0262521911.    
document_url: https://oa.upm.es/14428/1/HERME_ARC_1994-1.pdf