9 documents found, page 1 of 1
Does lack of knowledge lead to misperceptions? Disentangling the factors modula...
Afonso, André S.; Roque, Pedro; Fidelis, Leonardo; Veras, Leonardo; Conde, Anxo; Maranhão, Paulo; Leandro, Sérgio; Hazin, Fábio H.V.Identifying sources of variability in public perceptions and attitudes toward sharks can assist managers and conservationists with developing effective strategies to raise awareness and support for the conservation of threatened shark species. This study examined the effect of several demographic, economic and socioenvironmental factors on the quality of knowledge about and perceptions toward sharks in two cont...
Improving Constraint Solving on Parallel Hybrid Systems
Roque, Pedro; Pedro, Vasco; Diaz, Daniel; Abreu, SalvadorRecently, we developed the Parallel Heterogeneous Architecture Constraint Toolkit (PHACT), which is a multi-threaded constraint solver capable of using all the available devices which are compatible with OpenCL, in order to speed up the constraint satisfaction process. In this article, we introduce an evolution of PHACT which includes the ability to execute FlatZinc and MiniZinc models, as well as architectural...
Constraint Solving on Hybrid Systems
Roque, Pedro; Pedro, VascoApplying parallelism to constraint solving seems a promising approach and it has been done with varying degrees of success. Early attempts to parallelize constraint propagation, which constitutes the core of traditional interleaved propagation and search constraint solving, were hindered by its essentially sequential nature. Recently, parallelization efforts have focussed mainly on the search part of constraint...
Improving Constraint Solving on Parallel Hybrid Systems
Roque, Pedro; Pedro, Vasco; Diaz, Daniel; Abreu, SalvadorRecently, we developed the Parallel Heterogeneous Architecture Constraint Toolkit (PHACT), which is a multi-threaded constraint solver capable of using all the available devices which are compatible with OpenCL, in order to speed up the constraint satisfaction process. In this article, we introduce an evolution of PHACT which includes the ability to execute FlatZinc and MiniZinc models, as well as architectural...
Enlisting GPU Power for Constraint Solving
Roque, Pedro; Pedro, Vasco; Abreu, SalvadorApplying parallelism to constraint solving seems a promising approach and it has been done with varying degrees of success. Early attempts to parallelize constraint propagation, which constitutes the core of traditional interleaved propagation and search constraint solving, were hindered by its essentially sequential nature. Recently, parallelization efforts have focussed mainly on the search part of constraint...
Constraint Solving on Hybrid Systems
Roque, Pedro; Pedro, Vasco; Abreu, SalvadorApplying parallelism to constraint solving seems a promising approach and it has been done with varying degrees of success. Early attempts to parallelize constraint propagation, which constitutes the core of traditional interleaved propagation and search constraint solving, were hindered by its essentially sequential nature. Recently, parallelization efforts have focussed mainly on the search part of constraint...
Load balancing for constraint solving with GPUs
Roque, Pedro; Pedro, Vasco; Abreu, SalvadorSolving a complex Constraint Satisfaction Problem (CSP) is a computationally hard task which may require a considerable amount of time. Parallelism has been applied successfully to the job and there are already many applications capable of harnessing the parallel power of modern CPUs to speed up the solving process. Current Graphics Processing Units (GPUs), containing from a few hundred to a few thousand cores,...
Towards a Multi-device Constraints Solver
Roque, Pedro; Pedro, Vasco; Abreu, SalvadorTo reduce the amount of time needed to solve the most complex Constraint Satisfaction Problems (CSPs) usually multi-core CPUs are used. There are already many applications capable of harnessing the parallel power of these devices to speed up the CSPs solving process. Nowadays, the Graphics Processing Units (GPUs) possess a level of parallelism that surpass the CPUs, containing from a few hundred to a few thousa...
Solving Constraint Satisfaction Problems in GPUs
Roque, Pedro; Pedro, Vasco; Abreu, SalvadorThe complex Constraint Satisfaction Problems (CSPs) still require too long to solve even in the most recent computers. Recently the possibility emerged of using the high level of parallelism provided by current Graphics Processing Units (GPUs) to solve such problems. The work in progress presented here is meant to allow the use of the full computational power of GPUs to solve CSPs in a faster manner. This is do...