Università degli Studi di Udine OpenUniud - Archivio istituzionale delle tesi di dottorato
 

OpenUniud - Archivio istituzionale delle tesi di dottorato >
Udine Thesis Repository >
01 - Tesi di dottorato >

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/10990/758

Autori: Campeotto, Federico
Supervisore afferente all'Università: DOVIER, AGOSTINO
Supervisore non afferente all'Università: PONTELLI, ENRICO
Centro di ricerca: DIPARTIMENTO MATEMATICA E INFORMATICA - DIMI
Titolo: Exploring the use of GPGPUs in Constraint Solving
Abstract (in inglese): This dissertation presents an experimental study aimed at assessing the feasibility of parallelizing the constraint solving process using Graphical Processing Units (GPU s). GPUs support a form of data parallelism that appears to be suitable to the type of processing required to cycle through constraints and domain values during consistency checking and propagation. The dissertation also illustrates an implementation of a constraint solver capable of hybrid propagations (i.e., alternating CPU and GPU) and parallel search, and demonstrates the potential for competitiveness against sequential implementations. We consider the Protein Structure Prediction problem as a hard combinatorial real-world problem as case study to show the advantages of combining parallel search and parallel constraint propagation on a GPU architecture. We present the formalization and implementation of a novel class of constraints to support a variety of different structural analysis of proteins, such as loop modeling and structure prediction.. We demonstrate the suitability of a GPU approach to implement such MAS infrastructure, with significant performance improvements over the sequential implementation and other methods.
Parole chiave: Constraint Solving; GPU; HPC; CUDA; Optimization
MIUR : Settore INF/01 - Informatica
Lingua: eng
Data: 29-mar-2015
Corso di dottorato: Dottorato di ricerca in Informatica
Ciclo di dottorato: 27
Università di conseguimento titolo: Università degli Studi di Udine
Luogo di discussione: Udine
Ateneo di co-tutela: New Mexico State University - CS Dept.
Citazione: Campeotto, F. Exploring the use of GPGPUs in Constraint Solving. (Doctoral Thesis, Università degli Studi di Udine, 2015).
In01 - Tesi di dottorato

Full text:

File Descrizione DimensioniFormatoConsultabilità
PhD_main.pdfPhD - Thesis5,21 MBAdobe PDFVisualizza/apri


Tutti i documenti archiviati in DSPACE sono protetti da copyright. Tutti i diritti riservati.


Segnala questo record su
Del.icio.us

Citeulike

Connotea

Facebook

Stumble it!

reddit


 

  ICT Support, development & maintenance are provided by CINECA. Powered on DSpace SoftwareFeedback CINECA