7092 search results - page 1051 / 1419 » Parallelizing constraint programs |
198
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
Thermal hot spots and temperature gradients on the die need to be minimized to manufacture reliable systems while meeting energy and performance constraints. In this work, we solve...
199
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
165
click to vote
CPAIOR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The multiple knapsack problem (MKP) is a classical combinatorial optimization problem. A recent algorithm for some classes of the MKP is bin-completion, a bin-oriented, b...
192
click to vote
NETWORKING
2008
15 years 8 months ago
2008
There have been research initiatives in centralized control recently, which advocate that the control of an autonomous system (AS) should be performed in a centralized fashion. In ...
154
click to vote
ACE
2004
15 years 8 months ago
2004
While promotional literature about computer science programs may claim that curricula are determined by the needs of the students and by international best practice, the reality i...