7092 search results - page 348 / 1419 » Parallelizing constraint programs |
121
click to vote
ICPP
2009
IEEE
15 years 9 months ago
2009
IEEE
— High-end computing (HEC) systems have passed the petaflop barrier and continue to move toward the next frontier of exascale computing. As companies and research institutes con...
138
click to vote
ICDCS
2010
IEEE
15 years 6 months ago
2010
IEEE
In recent years, we have seen a surge of interest in enabling communications over meshed wireless networks. Particularly, supporting peer-to-peer communications over a multi-hop w...
131
click to vote
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...
ORL
2008
15 years 2 months ago
2008
We propose a novel solution approach for polynomial programming problems with equality constraints. By means of a generic transformation, we show that solution schemes for the (ty...
161
click to vote
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...