1 resultado para Cook-Levin SAT SAT-solver
em Illinois Digital Environment for Access to Learning and Scholarship Repository
Filtro por publicador
- Aberdeen University (1)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (2)
- Adam Mickiewicz University Repository (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (4)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (6)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (2)
- Archive of European Integration (5)
- Aston University Research Archive (2)
- Biblioteca de Teses e Dissertações da USP (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (4)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (21)
- Biblioteca Digital de la Universidad del Valle - Colombia (1)
- Biblioteca Digital Loyola - Universidad de Deusto (1)
- Biblioteca Virtual del Sistema Sanitario Público de Andalucía (BV-SSPA), Junta de Andalucía. Consejería de Salud y Bienestar Social, Spain (9)
- Bibloteca do Senado Federal do Brasil (2)
- Biodiversity Heritage Library, United States (12)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (18)
- Brock University, Canada (54)
- Bucknell University Digital Commons - Pensilvania - USA (2)
- Bulgarian Digital Mathematics Library at IMI-BAS (3)
- Cámara de Comercio de Bogotá, Colombia (2)
- CentAUR: Central Archive University of Reading - UK (29)
- Collection Of Biostatistics Research Archive (1)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (23)
- Cor-Ciencia - Acuerdo de Bibliotecas Universitarias de Córdoba (ABUC), Argentina (1)
- CUNY Academic Works (1)
- Department of Computer Science E-Repository - King's College London, Strand, London (3)
- Digital Archives@Colby (1)
- Digital Commons - Montana Tech (1)
- Digital Commons at Florida International University (13)
- Digital Peer Publishing (2)
- DigitalCommons@University of Nebraska - Lincoln (3)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (10)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (7)
- DRUM (Digital Repository at the University of Maryland) (2)
- FUNDAJ - Fundação Joaquim Nabuco (1)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (10)
- Glasgow Theses Service (2)
- Greenwich Academic Literature Archive - UK (1)
- Harvard University (7)
- Illinois Digital Environment for Access to Learning and Scholarship Repository (1)
- Institute of Public Health in Ireland, Ireland (6)
- Instituto Politécnico do Porto, Portugal (5)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (1)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (3)
- Massachusetts Institute of Technology (3)
- Memoria Académica - FaHCE, UNLP - Argentina (3)
- Ministerio de Cultura, Spain (27)
- National Center for Biotechnology Information - NCBI (6)
- Portal de Revistas Científicas Complutenses - Espanha (1)
- Publishing Network for Geoscientific & Environmental Data (151)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (3)
- RDBU - Repositório Digital da Biblioteca da Unisinos (1)
- REPOSITÓRIO ABERTO do Instituto Superior Miguel Torga - Portugal (1)
- Repositório Alice (Acesso Livre à Informação Científica da Embrapa / Repository Open Access to Scientific Information from Embrapa) (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 da Escola Nacional de Administração Pública (ENAP) (3)
- Repositório da Produção Científica e Intelectual da Unicamp (3)
- Repositório da Universidade Federal do Espírito Santo (UFES), Brazil (3)
- Repositório digital da Fundação Getúlio Vargas - FGV (2)
- Repositório Institucional da Universidade Estadual de São Paulo - UNESP (1)
- Repositório Institucional da Universidade Federal do Rio Grande do Norte (1)
- Repositorio Institucional de la Universidad de Almería (1)
- Repositorio Institucional de la Universidad de Málaga (2)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (71)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (15)
- School of Medicine, Washington University, United States (1)
- Scielo Saúde Pública - SP (23)
- Scielo Uruguai (1)
- Universidad Autónoma de Nuevo León, Mexico (1)
- Universidad de Alicante (1)
- Universidad del Rosario, Colombia (13)
- Universidad Politécnica de Madrid (16)
- Universidade Complutense de Madrid (3)
- Universidade do Minho (5)
- Universidade Federal do Rio Grande do Norte (UFRN) (6)
- Universidade Metodista de São Paulo (6)
- Université de Lausanne, Switzerland (5)
- Université de Montréal, Canada (4)
- University of Connecticut - USA (1)
- University of Michigan (265)
- University of Queensland eSpace - Australia (37)
- University of Washington (1)
Resumo:
Solving linear systems is an important problem for scientific computing. Exploiting parallelism is essential for solving complex systems, and this traditionally involves writing parallel algorithms on top of a library such as MPI. The SPIKE family of algorithms is one well-known example of a parallel solver for linear systems. The Hierarchically Tiled Array data type extends traditional data-parallel array operations with explicit tiling and allows programmers to directly manipulate tiles. The tiles of the HTA data type map naturally to the block nature of many numeric computations, including the SPIKE family of algorithms. The higher level of abstraction of the HTA enables the same program to be portable across different platforms. Current implementations target both shared-memory and distributed-memory models. In this thesis we present a proof-of-concept for portable linear solvers. We implement two algorithms from the SPIKE family using the HTA library. We show that our implementations of SPIKE exploit the abstractions provided by the HTA to produce a compact, clean code that can run on both shared-memory and distributed-memory models without modification. We discuss how we map the algorithms to HTA programs as well as examine their performance. We compare the performance of our HTA codes to comparable codes written in MPI as well as current state-of-the-art linear algebra routines.