1 resultado para Allen, Mel
em Universidad Politécnica de Madrid
Filtro por publicador
- JISC Information Environment Repository (1)
- Aberystwyth University Repository - Reino Unido (1)
- Aquatic Commons (68)
- Archive of European Integration (5)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (11)
- Aston University Research Archive (2)
- B-Digital - Universidade Fernando Pessoa - Portugal (1)
- Biblioteca de Teses e Dissertações da USP (2)
- Biblioteca Digital da Câmara dos Deputados (1)
- Biblioteca Digital de la Universidad Católica Argentina (1)
- Biblioteca Digital de la Universidad del Valle - Colombia (2)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (5)
- Bibloteca do Senado Federal do Brasil (21)
- Biodiversity Heritage Library, United States (3)
- Blue Tiger Commons - Lincoln University - USA (2)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (7)
- Boston University Digital Common (8)
- Brock University, Canada (5)
- CaltechTHESIS (6)
- Cambridge University Engineering Department Publications Database (32)
- CentAUR: Central Archive University of Reading - UK (4)
- Center for Jewish History Digital Collections (5)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (19)
- CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal (1)
- CORA - Cork Open Research Archive - University College Cork - Ireland (17)
- Deakin Research Online - Australia (8)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (1)
- Digital Archives@Colby (5)
- Digital Commons at Florida International University (1)
- Digital Peer Publishing (1)
- DigitalCommons@The Texas Medical Center (1)
- DigitalCommons@University of Nebraska - Lincoln (1)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (114)
- DRUM (Digital Repository at the University of Maryland) (2)
- Duke University (16)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (41)
- Fachlicher Dokumentenserver Paedagogik/Erziehungswissenschaften (1)
- Funes: Repositorio digital de documentos en Educación Matemática - Colombia (1)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (2)
- Greenwich Academic Literature Archive - UK (10)
- Harvard University (7)
- Helda - Digital Repository of University of Helsinki (4)
- Indian Institute of Science - Bangalore - Índia (24)
- Infoteca EMBRAPA (6)
- Instituto Politécnico de Viseu (1)
- Instituto Politécnico do Porto, Portugal (1)
- Livre Saber - Repositório Digital de Materiais Didáticos - SEaD-UFSCar (1)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (1)
- Massachusetts Institute of Technology (5)
- Ministerio de Cultura, Spain (5)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (3)
- Publishing Network for Geoscientific & Environmental Data (6)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (25)
- Queensland University of Technology - ePrints Archive (212)
- Repositório Alice (Acesso Livre à Informação Científica da Embrapa / Repository Open Access to Scientific Information from Embrapa) (2)
- Repositório digital da Fundação Getúlio Vargas - FGV (4)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (1)
- Repositório Institucional da Universidade Federal do Rio Grande do Norte (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (28)
- SAPIENTIA - Universidade do Algarve - Portugal (2)
- School of Medicine, Washington University, United States (4)
- South Carolina State Documents Depository (1)
- Universidad Autónoma de Nuevo León, Mexico (1)
- Universidad Politécnica de Madrid (1)
- Universidade Estadual Paulista "Júlio de Mesquita Filho" (UNESP) (1)
- Universidade Federal do Rio Grande do Norte (UFRN) (8)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (1)
- Université de Montréal (1)
- Université de Montréal, Canada (1)
- University of Michigan (179)
- University of Queensland eSpace - Australia (5)
- University of Southampton, United Kingdom (2)
Resumo:
There has been significant interest in parallel execution models for logic programs which exploit Independent And-Parallelism (IAP). In these models, it is necessary to determine which goals are independent and therefore eligible for parallel execution and which goals have to wait for which others during execution. Although this can be done at run-time, it can imply a very heavy overhead. In this paper, we present three algorithms for automatic compiletime parallelization of logic programs using IAP. This is done by converting a clause into a graph-based computational form and then transforming this graph into linear expressions based on &-Prolog, a language for IAP. We also present an algorithm which, given a clause, determines if there is any loss of parallelism due to linearization, for the case in which only unconditional parallelism is desired. Finally, the performance of these annotation algorithms is discussed for some benchmark programs.