803 search results - page 49 / 161 » Multiply-constrained distributed constraint optimization |
131
click to vote
EMO
2009
Springer
15 years 9 months ago
2009
Springer
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision...
147
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--For the management of a virtual P2P supercomputer one is interested in subgroups of processors that can communicate with each other efficiently. The task of finding these...
137
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
146
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Scheduling plays a central role in the behavioral synthesis process, which automatically compiles high-level specifications into optimized hardware implementations. However, most ...
131
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— Discrete input distributions are capacity-achieving for a variety of noise distributions whenever the input is subject to peak power or other bounding constraints. In this pape...