Parallelism

CUDA: Set Constraints on GPUs.

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 …

Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD)

The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices - a biologically meaningful approximation of the general protein folding problem. The paper improves the results presented in [15] and …