Dieses Dokument steht unter einer CreativeCommons Lizenz by/3.0
Titel: Evaluating the performance of solvers for integer-linear programming
Sprache: English
Autor/Autorin: Luppold, Arno  
Oehlert, Dominic 
Falk, Heiko  
Herausgeber: Institute of Embedded Systems 
Schlagwörter: Integer-Linear Programming;ILP;Solvers;Evaluation
Erscheinungsdatum: 2018
Zusammenfassung (englisch): 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.
URI: http://tubdok.tub.tuhh.de/handle/11420/1842
DOI: 10.15480/882.1839
Institut: Eingebettete Systeme E-13 
Dokumenttyp: Report (Bericht)
Sponsor / Fördernde Einrichtung: Deutsche Forschungsgemeinschaft
Projekt: Multi-Opt - Multikriterielle Code-Optimierung für Eingebettete Harte Echtzeitsysteme (Grant FA 1017/3-1) 
Enthalten in den Sammlungen:Publications (tub.dok)

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat
ilp.pdfEvaluating the Performance of Solvers for Integer-Linear Programming405,63 kBAdobe PDFÖffnen/Anzeigen
Zur Langanzeige


Letzte Woche
Letzten Monat
checked on 24.03.2019


checked on 24.03.2019

Google ScholarTM



Diese Ressource wurde unter folgender Copyright-Bestimmung veröffentlicht: Lizenz von Creative Commons Creative Commons