7092 search results - page 379 / 1419 » Parallelizing constraint programs |
193
click to vote
CSCLP
2008
Springer
15 years 5 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
127
click to vote
VTC
2007
IEEE
15 years 9 months ago
2007
IEEE
— Interleave Division Multiple Access (IDMA) is a promising air interface for future wireless networks. Optimization of access schemes regarding cross user aspects is also a topi...
125
click to vote
COCO
2007
Springer
15 years 9 months ago
2007
Springer
We study a model of graph related formulae that we call the Constraint-Graph model. A constraintgraph is a labeled multi-graph (a graph where loops and parallel edges are allowed)...
118
click to vote
CLUSTER
2006
IEEE
15 years 9 months ago
2006
IEEE
High availability plays an important role in heterogeneous clusters, where processors operate at different speeds and are not continuously available for processing. Existing sched...
128
click to vote
AI
2005
Springer
15 years 3 months ago
2005
Springer
The Distributed Constraint Optimization Problem (DCOP) is able to model a wide variety of distributed reasoning tasks that arise in multiagent systems. Unfortunately, existing met...