WCET-aware Register Allocation Based on Integer-Linear Programming.

Heiko Falk Norman Schmitz Florian Schmoll

Published in: ECRTS (2011)

Keyphrases

integer linear programming
column generation
bicriteria
linear inequalities
boolean satisfiability
global constraints
linear programming
resource allocation
cutting plane
perfect phylogeny
genetic algorithm
dynamic programming
optimization problems
symmetry breaking