1 resultado para FPGA parallel SAT solver
em Instituto Politécnico de Bragança
Filtro por publicador
- Academic Research Repository at Institute of Developing Economies (1)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (5)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (17)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (16)
- Applied Math and Science Education Repository - Washington - USA (2)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (2)
- Archive of European Integration (5)
- Biblioteca de Teses e Dissertações da USP (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (12)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (18)
- 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 (1)
- Bibloteca do Senado Federal do Brasil (2)
- Biodiversity Heritage Library, United States (7)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (65)
- Boston College Law School, Boston College (BC), United States (1)
- Brock University, Canada (1)
- Bucknell University Digital Commons - Pensilvania - USA (6)
- Bulgarian Digital Mathematics Library at IMI-BAS (1)
- CentAUR: Central Archive University of Reading - UK (117)
- Cochin University of Science & Technology (CUSAT), India (8)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (29)
- Cor-Ciencia - Acuerdo de Bibliotecas Universitarias de Córdoba (ABUC), Argentina (2)
- CUNY Academic Works (5)
- Dalarna University College Electronic Archive (1)
- Department of Computer Science E-Repository - King's College London, Strand, London (10)
- Digital Archives@Colby (1)
- Digital Commons - Michigan Tech (6)
- Digital Commons @ Winthrop University (1)
- Digital Commons at Florida International University (1)
- Digital Knowledge Repository of Central Drug Research Institute (1)
- Digital Peer Publishing (2)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (1)
- Diposit Digital de la UB - Universidade de Barcelona (1)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (23)
- Harvard University (3)
- Illinois Digital Environment for Access to Learning and Scholarship Repository (1)
- Instituto Politécnico de Bragança (1)
- Instituto Politécnico do Porto, Portugal (28)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (2)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (2)
- Martin Luther Universitat Halle Wittenberg, Germany (7)
- Massachusetts Institute of Technology (9)
- Memoria Académica - FaHCE, UNLP - Argentina (3)
- Ministerio de Cultura, Spain (5)
- National Center for Biotechnology Information - NCBI (23)
- Publishing Network for Geoscientific & Environmental Data (8)
- QSpace: Queen's University - Canada (1)
- RDBU - Repositório Digital da Biblioteca da Unisinos (2)
- Repositório Científico da Universidade de Évora - Portugal (1)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (30)
- Repositório digital da Fundação Getúlio Vargas - FGV (1)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (2)
- Repositório Institucional da Universidade Tecnológica Federal do Paraná (RIUT) (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (59)
- 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 (8)
- Universidad de Alicante (7)
- Universidad del Rosario, Colombia (3)
- Universidad Politécnica de Madrid (107)
- Universidade Complutense de Madrid (5)
- Universidade do Minho (10)
- Universidade Federal do Pará (4)
- Universidade Federal do Rio Grande do Norte (UFRN) (8)
- Universitat de Girona, Spain (2)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (5)
- Université de Lausanne, Switzerland (27)
- Université de Montréal, Canada (10)
- University of Michigan (74)
- University of Queensland eSpace - Australia (18)
- University of Southampton, United Kingdom (2)
Resumo:
Evolutionary-based algorithms play an important role in finding solutions to many problems that are not solved by classical methods, and particularly so for those cases where solutions lie within extreme non-convex multidimensional spaces. The intrinsic parallel structure of evolutionary algorithms are amenable to the simultaneous testing of multiple solutions; this has proved essential to the circumvention of local optima, and such robustness comes with high computational overhead, though custom digital processor use may reduce this cost. This paper presents a new implementation of an old, and almost forgotten, evolutionary algorithm: the population-based incremental learning method. We show that the structure of this algorithm is well suited to implementation within programmable logic, as compared with contemporary genetic algorithms. Further, the inherent concurrency of our FPGA implementation facilitates the integration and testing of micro-populations.