732 search results - page 49 / 147 » Termination of Integer Linear Programs |
215
Voted
LPAR
2010
Springer
15 years 16 days ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
133
Voted
EACL
2009
ACL Anthology
15 years 13 days ago
2009
ACL Anthology
We show how global constraints such as transitivity can be treated intensionally in a Zero-One Integer Linear Programming (ILP) framework which is geared to find the optimal and c...
129
Voted
EOR
2010
15 years 2 months ago
2010
We consider the unrelated parallel machines scheduling problem where jobs have earliness and tardiness penalties and a common due date. We formulate this problem and some of its v...
93
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
In a placed circuit, there are a lot of movable cells that can be flipped to further reduce the total wirelength, without affecting the original placement solution. We aim at solv...
121
click to vote
CC
2006
Springer
15 years 6 months ago
2006
Springer
As register allocation is one of the most important phases in optimizing compilers, much work has been done to improve its quality and speed. We present a novel register allocation...