Media type: E-Book; Thesis Title: Symbolic representations in WCET analysis Other titles: Symbolische Darstellungen in der WCET-Analyse Contributor: Wilhelm, Stephan [Verfasser]; Wilhelm, Reinhard [Akademischer Betreuer] imprint: Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2012 Extent: Online-Ressource Language: English Identifier: Keywords: Abstrakte Interpretation ; Binäres Entscheidungsdiagramm ; OBDD ; Worst-Case-Laufzeit ; WCET ; Prozessor-Pipeline ; abstract interpretation ; binary decision diagram ; OBDD ; worst-case execution time ; instruction pipeline ; Hochschulschrift Origination: University thesis: Saarbrücken, Universität des Saarlandes, Diss., 2012 Footnote: Access State: Open Access