Media type: E-Book; Thesis Title: On static execution-time analysis : compositionality, pipeline abstraction, and predictable hardware Contributor: Hahn, Sebastian [VerfasserIn]; Reineke, Jan [AkademischeR BetreuerIn] imprint: Saarbrücken, 2018 Extent: 1 Online-Ressource (x, 237 Seiten); Illustrationen Language: English DOI: 10.22028/D291-27991 Identifier: Keywords: Echtzeitsystem ; Verifikation ; Abstrakte Interpretation ; Computerarchitektur ; Pipeline-Verarbeitung ; Worst-Case-Laufzeit ; Hochschulschrift Origination: University thesis: Dissertation, Universität des Saarlandes, 2019 Footnote: Access State: Open Access