Please use this identifier to cite or link to this item: http://hdl.handle.net/10077/33310
Title: {CUDA}: Set constraints on GPUs
Authors: Dovier, Agostino 
Formisano, Andrea
Pontelli, Enrico
Tardivo, Fabio
Keywords: Computable set theoryconstraint logic programmingparallelism
Issue Date: 2021
Publisher: EUT Edizioni Università di Trieste
Source: Agostino Dovier, Andrea Formisano, Enrico Pontelli, Fabio Tardivo, "{CUDA}: Set constraints on GPUs" in: "Rendiconti dell’Istituto di Matematica dell’Università di Trieste: an International Journal of Mathematics vol.53 (2021)", EUT Edizioni Università di Trieste, Trieste, 2021. pp.
Journal: Rendiconti dell’Istituto di Matematica dell’Università di Trieste: an International Journal of Mathematics 
Abstract: 
Set constraints have been introduced in declarative programming languages in the Nineties as a consequence of a broader research on programming with sets and on computable set theory. General Purpose Graphics Processing Units (GPUs), originally developed for graphical purposes (e.g., for high definition video games), emerged recently as a powerful and cheap parallel architecture, widely available in most desktops and laptops computers. This paper presents a constraint solver on set constraints and its parallel implementation on GPUs.
Type: Article
URI: http://hdl.handle.net/10077/33310
ISSN: 0049-4704
eISSN: 2464-8728
DOI: 10.13137/2464-8728/33310
Appears in Collections:Rendiconti dell’Istituto di Matematica dell’Università di Trieste: an International Journal of Mathematics vol.53 (2021)

Files in This Item:
File Description SizeFormat
24_Dovier.pdf503.41 kBAdobe PDFThumbnail
View/Open
Show full item record


CORE Recommender

Page view(s)

74
checked on May 16, 2022

Download(s)

12
checked on May 16, 2022

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.