2609 search results - page 29 / 522 » Models for Global Constraint Applications |
122
click to vote
TSMC
2008
15 years 3 months ago
2008
Abstract-- A service-oriented system is a collection of independent services that interact with one another through message exchanges. Languages such as the Web Services Descriptio...
133
Voted
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
132
click to vote
EOR
2008
15 years 3 months ago
2008
The 0-1 Multidimensional Knapsack Problem (0-1 MKP) is a wellknown (and strongly NP-hard) combinatorial optimization problem with many applications. Up to now, the majority of upp...
110
click to vote
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
In addition to wirelength, modern placers need to consider various constraints such as preplaced blocks and density. We propose a high-quality analytical placement algorithm consi...
164
Voted
CP
2010
Springer
15 years 2 months ago
2010
Springer
The state-of-the-art global constraint for bin packing is due to Shaw. We compare two linear continuous relaxations of the bin packing problem, based on the DP-flow and Arc-flow ...