2861 search results - page 310 / 573 » Constraint Programming |
161
click to vote
CPAIOR
2009
Springer
16 years 1 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
203
click to vote
IWSOC
2003
IEEE
15 years 11 months ago
2003
IEEE
In embedded systems, memory is one of the most expensive resources. Due to this, program code size has turned out to be one of the most critical design constraints. Code compressi...
175
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—Conserving network-wide energy consumption is becoming an increasingly important concern for network operators. In this work, we study network-wide energy conservation problem w...
184
click to vote
ISCA
2007
IEEE
16 years 25 days ago
2007
IEEE
The recently released SPEC CPU2006 benchmark suite is expected to be used by computer designers and computer architecture researchers for pre-silicon early design analysis. Partia...
136
click to vote
PPDP
2005
Springer
16 years 1 days ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...