> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Symbolic representations in WCET analysis Weitere Titel: Symbolische Darstellungen in der WCET-Analyse Beteiligte: Wilhelm, Stephan [Verfasser]; Wilhelm, Reinhard [Akademischer Betreuer] Erschienen: Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2012 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: 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 Entstehung: Hochschulschrift: Saarbrücken, Universität des Saarlandes, Diss., 2012 Anmerkungen: Zugangsstatus: Freier Zugang