7092 search results - page 398 / 1419 » Parallelizing constraint programs |
127
click to vote
APPINF
2003
15 years 4 months ago
2003
Whenever large homogeneous data structures need to be processed in a non-trivial way, e.g. in computational sciences, image processing, or system simulation, high-level array prog...
146
click to vote
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...
129
click to vote
SFP
2000
15 years 4 months ago
2000
Abstract: Parallel heuristic search algorithms are widely used in artificial intelligence. This paper describes novel parallel variants of two standard sequential search algorithms...
153
Voted
CONSTRAINTS
2011
14 years 7 months ago
2011
Abstract. We consider the problem of decomposing an integer matrix into a positively weighted sum of binary matrices that have the consecutive-ones property. This problem is well-k...
146
click to vote
PDP
2009
IEEE
15 years 10 months ago
2009
IEEE
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...