Models for Quality and Resource Management

@inproceedings{NGGea21,

title = {A Deployment Framework for Quality-Sensitive Applications in Resource-Constrained Dynamic Environments},

author = {Shayan Tabatabaei Nikkhah and Marc Geilen and Dip Goswami and Martijn Koedam and Andrew Nelson and Kees Goossens},

doi = {10.1109/DSD53832.2021.00042},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

booktitle = {2021 24th Euromicro Conference on Digital System Design (DSD)},

pages = {212-220},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{NGGG20,

title = {A Performance Analysis Framework for Real-Time Systems Sharing Multiple Resources},

author = {Shayan Tabatabaei Nikkhah and Marc Geilen and Dip Goswami and Kees Goossens},

doi = {10.23919/DATE48585.2020.9116514},

year  = {2020},

date = {2020-01-01},

urldate = {2020-01-01},

booktitle = {2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)},

pages = {326-329},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BCHea20,

title = {QRML: A Component Language and Toolset for Quality and Resource Management},

author = {Freek Berg and Václav Čamra and Martijn Hendriks and Marc Geilen and Petr Hnetynka and Fernando Manteca and Pablo Sánchez and Tomáš Bureš and Twan Basten},

doi = {10.1109/FDL50818.2020.9232936},

year  = {2020},

date = {2020-01-01},

urldate = {2020-01-01},

booktitle = {2020 Forum for Specification and Design Languages (FDL)},

pages = {1-8},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{SBGS08,

title = {SPaC: A Symbolic Pareto Calculator},

author = {Hamid Shojaei and Twan Basten and Marc Geilen and Phillip Stanley-Marbell},

url = {https://doi.org/10.1145/1450135.1450176},

doi = {10.1145/1450135.1450176},

isbn = {9781605584706},

year  = {2008},

date = {2008-01-01},

urldate = {2008-01-01},

booktitle = {Proceedings of the 6th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis},

pages = {179–184},

publisher = {Association for Computing Machinery},

address = {Atlanta, GA, USA},

series = {CODES+ISSS '08},

abstract = {The compositional computation of Pareto points in multi-dimensional optimization problems is an important means to efficiently explore the optimization space. This paper presents a symbolic Pareto calculator, SPaC, for the algebraic computation of multidimensional trade-offs. SPaC uses BDDs as a representation for solution sets and operations on them. The tool can be used in multi-criteria optimization and design-space exploration of embedded systems. The paper describes the design and implementation of Pareto algebra operations, and it shows that BDDs can be used effectively in Pareto optimization.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{GB07,

title = {A Calculator for Pareto Points},

author = {Marc Geilen and Twan Basten},

doi = {10.1109/DATE.2007.364605},

year  = {2007},

date = {2007-01-01},

urldate = {2007-01-01},

booktitle = {2007 Design, Automation Test in Europe Conference Exhibition},

pages = {1-6},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}