1165 search results - page 41 / 233 » Effective linear programming based placement methods |
130
click to vote
COCOA
2008
Springer
15 years 3 months ago
2008
Springer
Solution symmetries in integer linear programs often yield long Branch-and-Bound based solution processes. We propose a method for finding elements of the permutation group of sol...
126
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
One of the challenges in large scale distributed computing is to utilize the thousands of idle personal computers. In this paper, we present a system that enables users to e ortles...
122
click to vote
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
119
click to vote
CAEPIA
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
127
click to vote
SIAMJO
2000
15 years 2 months ago
2000
There has been a great deal of success in the last twenty years with the use of cutting plane algorithms to solve specialized integer programming problems. Generally, these algori...