1138 search results - page 25 / 228 » Parallel Implementation of Constraint Solving |
123
click to vote
FOCS
1990
IEEE
15 years 6 months ago
1990
IEEE
For any xed dimension d, the linear programming problem with n inequality constraints can be solved on a probabilistic CRCW PRAM with O(n) processors almost surely in constant time...
139
click to vote
SIAMSC
2010
15 years 22 days ago
2010
In this paper, we study alternating direction methods for solving constrained total-variation image restoration and reconstruction problems. Alternating direction methods can be im...
141
click to vote
IMCSIT
2010
14 years 9 months ago
2010
The paper presents a concept, implementation and real examples of dynamic parallelization of computations using services derived from MPI applications deployed in the BeesyCluster ...
104
Voted
AAAI
1997
15 years 3 months ago
1997
We report on the performance of an enhanced version of the “Davis-Putnam” (DP) proof procedure for propositional satisfiability (SAT) on large instances derived from realworld...
120
click to vote
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper we discuss our initial experiences adapting OpenMP to enable it to serve as a programming model for high performance embedded systems. A high-level programming model...