1 resultado para FPGA parallel SAT solver
em QSpace: Queen's University - Canada
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:
A scenario-based two-stage stochastic programming model for gas production network planning under uncertainty is usually a large-scale nonconvex mixed-integer nonlinear programme (MINLP), which can be efficiently solved to global optimality with nonconvex generalized Benders decomposition (NGBD). This paper is concerned with the parallelization of NGBD to exploit multiple available computing resources. Three parallelization strategies are proposed, namely, naive scenario parallelization, adaptive scenario parallelization, and adaptive scenario and bounding parallelization. Case study of two industrial natural gas production network planning problems shows that, while the NGBD without parallelization is already faster than a state-of-the-art global optimization solver by an order of magnitude, the parallelization can improve the efficiency by several times on computers with multicore processors. The adaptive scenario and bounding parallelization achieves the best overall performance among the three proposed parallelization strategies.