1 resultado para Low-level protocols
em Universidad Politécnica de Madrid
Filtro por publicador
- Repository Napier (1)
- Aberystwyth University Repository - Reino Unido (1)
- Academic Archive On-line (Stockholm University; Sweden) (1)
- Adam Mickiewicz University Repository (2)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (2)
- Aquatic Commons (26)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (4)
- Aston University Research Archive (4)
- Avian Conservation and Ecology - Eletronic Cientific Hournal - Écologie et conservation des oiseaux: (1)
- B-Digital - Universidade Fernando Pessoa - Portugal (4)
- Biblioteca Digital da Câmara dos Deputados (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (35)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (20)
- Biblioteca Digital de la Universidad Católica Argentina (1)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (9)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (11)
- Boston University Digital Common (12)
- Brock University, Canada (5)
- Bulgarian Digital Mathematics Library at IMI-BAS (2)
- CaltechTHESIS (5)
- Cambridge University Engineering Department Publications Database (21)
- CentAUR: Central Archive University of Reading - UK (140)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (54)
- Cochin University of Science & Technology (CUSAT), India (16)
- Collection Of Biostatistics Research Archive (1)
- CORA - Cork Open Research Archive - University College Cork - Ireland (4)
- Deakin Research Online - Australia (20)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (1)
- Digital Commons - Michigan Tech (1)
- Digital Commons @ Winthrop University (1)
- Digital Commons at Florida International University (5)
- Digital Peer Publishing (2)
- DigitalCommons@The Texas Medical Center (1)
- DRUM (Digital Repository at the University of Maryland) (1)
- Duke University (9)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (8)
- Greenwich Academic Literature Archive - UK (3)
- Helda - Digital Repository of University of Helsinki (32)
- Indian Institute of Science - Bangalore - Índia (38)
- Instituto de Engenharia Nuclear, Brazil - Carpe dIEN (1)
- INSTITUTO DE PESQUISAS ENERGÉTICAS E NUCLEARES (IPEN) - Repositório Digital da Produção Técnico Científica - BibliotecaTerezine Arantes Ferra (1)
- Instituto Politécnico de Viseu (1)
- Instituto Politécnico do Porto, Portugal (5)
- Massachusetts Institute of Technology (21)
- National Center for Biotechnology Information - NCBI (7)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (1)
- Portal de Revistas Científicas Complutenses - Espanha (2)
- Publishing Network for Geoscientific & Environmental Data (36)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (67)
- Queensland University of Technology - ePrints Archive (114)
- RCAAP - Repositório Científico de Acesso Aberto de Portugal (1)
- Repositório Científico da Universidade de Évora - Portugal (1)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (10)
- Repositório Institucional da Universidade Federal de São Paulo - UNIFESP (3)
- Repositorio Institucional de la Universidad Pública de Navarra - Espanha (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (76)
- Research Open Access Repository of the University of East London. (2)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (4)
- SAPIENTIA - Universidade do Algarve - Portugal (6)
- Universidad de Alicante (1)
- Universidad del Rosario, Colombia (11)
- Universidad Politécnica de Madrid (1)
- Universidade de Lisboa - Repositório Aberto (2)
- Universidade dos Açores - Portugal (1)
- Universidade Federal do Pará (1)
- Universidade Metodista de São Paulo (1)
- Universita di Parma (1)
- Universitat de Girona, Spain (12)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (3)
- Université de Lausanne, Switzerland (7)
- Université de Montréal (1)
- Université de Montréal, Canada (43)
- University of Michigan (20)
- University of Queensland eSpace - Australia (12)
- University of Southampton, United Kingdom (2)
- University of Washington (2)
- WestminsterResearch - UK (2)
Resumo:
Most implementations of parallel logic programming rely on complex low-level machinery which is arguably difflcult to implement and modify. We explore an alternative approach aimed at taming that complexity by raising core parts of the implementation to the source language level for the particular case of and-parallelism. Therefore, we handle a signiflcant portion of the parallel implementation mechanism at the Prolog level with the help of a comparatively small number of concurrency-related primitives which take care of lower-level tasks such as locking, thread management, stack set management, etc. The approach does not eliminate altogether modiflcations to the abstract machine, but it does greatly simplify them and it also facilitates experimenting with different alternatives. We show how this approach allows implementing both restricted and unrestricted (i.e., non fork-join) parallelism. Preliminary experiments show that the amount of performance sacriflced is reasonable, although granularity control is required in some cases. Also, we observe that the availability of unrestricted parallelism contributes to better observed speedups.