References of "Talbot, Pierre 50039078"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailA Variant of Concurrent Constraint Programming on GPU
Talbot, Pierre UL; Pinel, Frederic UL; Bouvry, Pascal UL

in Proceedings of the AAAI Conference on Artificial Intelligence (2022, June), 36(4), 3830-3839

The number of cores on graphical computing units (GPUs) is reaching thousands nowadays, whereas the clock speed of processors stagnates. Unfortunately, constraint programming solvers do not take advantage ... [more ▼]

The number of cores on graphical computing units (GPUs) is reaching thousands nowadays, whereas the clock speed of processors stagnates. Unfortunately, constraint programming solvers do not take advantage yet of GPU parallelism. One reason is that constraint solvers were primarily designed within the mental frame of sequential computation. To solve this issue, we take a step back and contribute to a simple, intrinsically parallel, lock-free and formally correct programming language based on concurrent constraint programming. We then re-examine parallel constraint solving on GPUs within this formalism, and develop Turbo, a simple constraint solver entirely programmed on GPUs. Turbo validates the correctness of our approach and compares positively to a parallel CPU-based solver. [less ▲]

Detailed reference viewed: 35 (3 UL)
Full Text
Peer Reviewed
See detailModular Constraint Solver Cooperation via Abstract Interpretation
Talbot, Pierre UL; Monfroy, Éric; Truchet, Charlotte

in Theory and Practice of Logic Programming (2020), 20(6), 848--863

Detailed reference viewed: 120 (3 UL)