7092 search results - page 595 / 1419 » Parallelizing constraint programs |
170
click to vote
HIPEAC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Stream programming is a promising way to expose concurrency to the compiler. A stream program is built from kernels that communicate only via point-to-point streams. The ...
149
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Decentralized partially observable MDPs (DEC-POMDPs) provide a rich framework for modeling decision making by a team of agents. Despite rapid progress in this area, the limited sc...
153
Voted
IFIP
2005
Springer
15 years 10 months ago
2005
Springer
A new quasi-Newton scheme for updating a low rank positive semi-definite Hessian approximation is described, primarily for use in sequential quadratic programming methods for non...
153
click to vote
JFP
2008
15 years 5 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
148
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We present a unifying approach to the efficient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ...