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.
{CUDA}: Set Constraints on GPUs.
DOVIER AGOSTINO
Membro del Collaboration Group
;FORMISANO ANDREAMembro del Collaboration Group
;PONTELLI ENRICOConceptualization
;
2021-01-01
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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
ADPT_pereugenio-REVISED.pdf
accesso aperto
Descrizione: Documento in pre print
Tipologia:
Documento in Pre-print
Licenza:
Creative commons
Dimensione
569.43 kB
Formato
Adobe PDF
|
569.43 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.