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 ANDREA
Membro del Collaboration Group
;
PONTELLI ENRICO
Conceptualization
;
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/1224490
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact