Published in: LIPIcs, Volume 133, 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
Renato Mancuso, Heechul Yun, and Isabelle Puaut. Impact of DM-LRU on WCET: A Static Analysis Approach. In 31st Euromicro Conference on Real-Time Systems (ECRTS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 133, pp. 17:1-17:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{mancuso_et_al:LIPIcs.ECRTS.2019.17, author = {Mancuso, Renato and Yun, Heechul and Puaut, Isabelle}, title = {{Impact of DM-LRU on WCET: A Static Analysis Approach}}, booktitle = {31st Euromicro Conference on Real-Time Systems (ECRTS 2019)}, pages = {17:1--17:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-110-8}, ISSN = {1868-8969}, year = {2019}, volume = {133}, editor = {Quinton, Sophie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2019.17}, URN = {urn:nbn:de:0030-drops-107546}, doi = {10.4230/LIPIcs.ECRTS.2019.17}, annote = {Keywords: real-time, static cache analysis, abstract interpretation, LRU, deterministic memory, static cache locking, dynamic cache locking, cache profiling, WCET analysis} }
Published in: OASIcs, Volume 18, Bringing Theory to Practice: Predictability and Performance in Embedded Systems (2011)
Daniel Grund, Jan Reineke, and Reinhard Wilhelm. A Template for Predictability Definitions with Supporting Evidence. In Bringing Theory to Practice: Predictability and Performance in Embedded Systems. Open Access Series in Informatics (OASIcs), Volume 18, pp. 22-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{grund_et_al:OASIcs.PPES.2011.22, author = {Grund, Daniel and Reineke, Jan and Wilhelm, Reinhard}, title = {{A Template for Predictability Definitions with Supporting Evidence}}, booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded Systems}, pages = {22--31}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-28-6}, ISSN = {2190-6807}, year = {2011}, volume = {18}, editor = {Lucas, Philipp and Wilhelm, Reinhard}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.PPES.2011.22}, URN = {urn:nbn:de:0030-drops-30785}, doi = {10.4230/OASIcs.PPES.2011.22}, annote = {Keywords: predictability, uncertainty, precision} }
Published in: OASIcs, Volume 15, 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)
Daniel Grund and Jan Reineke. Toward Precise PLRU Cache Analysis. In 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010). Open Access Series in Informatics (OASIcs), Volume 15, pp. 23-35, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{grund_et_al:OASIcs.WCET.2010.23, author = {Grund, Daniel and Reineke, Jan}, title = {{Toward Precise PLRU Cache Analysis}}, booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)}, pages = {23--35}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-21-7}, ISSN = {2190-6807}, year = {2010}, volume = {15}, editor = {Lisper, Bj\"{o}rn}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.23}, URN = {urn:nbn:de:0030-drops-28226}, doi = {10.4230/OASIcs.WCET.2010.23}, annote = {Keywords: Cache Analysis, PLRU Replacement, PLRU Tree} }
Feedback for Dagstuhl Publishing