Please use this identifier to cite or link to this item: https://doi.org/10.15480/882.1839
Fulltext available Open Access
Title: Evaluating the performance of solvers for integer-linear programming
Language: English
Authors: Luppold, Arno  
Oehlert, Dominic 
Falk, Heiko  
Editor: Eingebettete Systeme E-13 
Keywords: Integer-Linear Programming;ILP;Solvers;Evaluation
Issue Date: 2018
Abstract (english): 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
Institute: Eingebettete Systeme E-13 
Type: Report (Bericht)
Funded by: Deutsche Forschungsgemeinschaft
Project: Time, Energy and security Analysis for Multi/Manycore heterogenous PLAtforms - TeamPlay 
Appears in Collections:Publications with fulltext

Files in This Item:
File Description SizeFormat
ilp.pdfEvaluating the Performance of Solvers for Integer-Linear Programming405,63 kBAdobe PDFThumbnail
View/Open
Show full item record

Page view(s)

163
Last Week
1
Last month
12
checked on Jul 2, 2020

Download(s)

138
checked on Jul 2, 2020

Google ScholarTM

Check

Note about this record

Export

This item is licensed under a Creative Commons License Creative Commons