Evaluating the performance of solvers for integer-linear programming

Publikationstyp
Technical Report
Date Issued
2018
Sprache
English
Author(s)
Luppold, Arno  orcid-logo
Oehlert, Dominic  
Falk, Heiko  orcid-logo
Herausgeber*innen
Eingebettete Systeme E-13  
Institut
Eingebettete Systeme E-13  
TORE-DOI
10.15480/882.1839
TORE-URI
http://tubdok.tub.tuhh.de/handle/11420/1842
Optimizing embedded systems often boils down to solving complex combinatorial optimization problems. Integer-Linear Programming (ILP) turned out to be a powerful tool to solve these problems, as beyond traditional constraints, Boolean variables may be used to model complex logical expressions and conditionals. One of the key technical aspects is to be able to efficiently express these relations within the ILP. This paper presents formalized solutions for these issues, as well as an assessment of common ILP solvers. Additionally, the performance impact is illustrated using a compiler based cache aging optimization.
Subjects
Integer-Linear Programming
ILP
Solvers
Evaluation
DDC Class
620: Ingenieurwissenschaften
Funding(s)
Time, Energy and security Analysis for Multi/Manycore heterogenous PLAtforms - TeamPlay  
More Funding Information
Deutsche Forschungsgemeinschaft
Lizenz
https://creativecommons.org/licenses/by/3.0/
Loading...
Thumbnail Image
Name

ilp.pdf

Size

405.63 KB

Format

Adobe PDF