Zum Inhalt springen

  1. Schlickling, Marc [VerfasserIn] ; Wilhelm, Reinhard [AkademischeR BetreuerIn]

    Timing model derivation : static analysis of hardware description languages

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

  2. Tabassam, Nadra [VerfasserIn] ; Obermaisser, Roman [Sonstige Person, Familie und Körperschaft]

    Minimizing the makespan of diagnostic multi-query graphs in embedded real time systems

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Siegen: Universitätsbibliothek der Universität Siegen, 2020

  3. Andreozzi, Matteo [VerfasserIn]; Gabrielli, Giacomo [VerfasserIn]; Venu, Balaji [VerfasserIn]; Travaglini, Giacomo [VerfasserIn] ; Matteo Andreozzi and Giacomo Gabrielli and Balaji Venu and Giacomo Travaglini [MitwirkendeR]

    Industrial Challenge 2022: A High-Performance Real-Time Case Study on Arm

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  4. Santinelli, Luca [VerfasserIn]; Morio, Jérôme [VerfasserIn]; Dufour, Guillaume [VerfasserIn]; Jacquemart, Damien [VerfasserIn] ; Luca Santinelli and Jérôme Morio and Guillaume Dufour and Damien Jacquemart [MitwirkendeR]

    On the Sustainability of the Extreme Value Theory for WCET Estimation

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014

  5. Raymond, Pascal [VerfasserIn]; Maiza, Claire [VerfasserIn]; Parent-Vigouroux, Catherine [VerfasserIn]; Jahier, Erwan [VerfasserIn]; Halbwachs, Nicolas [VerfasserIn]; Carrier, Fabienne [VerfasserIn]; Asavoae, Mihail [VerfasserIn]; Boutonnet, Rémy [VerfasserIn] ; Pascal Raymond and Claire Maiza and Catherine Parent-Vigouroux and Erwan Jahier and Nicolas Halbwachs and Fabienne Carrier and Mihail Asavoae and Rémy Boutonnet [MitwirkendeR]

    Improving WCET Evaluation using Linear Relation Analysis

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  6. Brüggen, Georg ˜von derœ [VerfasserIn] ; Chen, Jian-Jia [AkademischeR BetreuerIn]; Davis, Robert I. [Sonstige Person, Familie und Körperschaft]

    Realistic scheduling models and analyses for advanced real-time embedded systems

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dortmund: Universitätsbibliothek Dortmund, 2019

  7. Pister, Markus [VerfasserIn] ; Wilhelm, Reinhard [AkademischeR BetreuerIn]

    Timing model derivation : pipeline analyzer generation from hardware description languages

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2012

  8. Jacobs, Michael [VerfasserIn] ; Hack, Sebastian [AkademischeR BetreuerIn]

    Design and implementation of WCET analyses : including a case study on multi-core processors with shared buses

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2021

  9. Lv, Mingsong [VerfasserIn]; Guan, Nan [VerfasserIn]; Reineke, Jan [VerfasserIn]; Wilhelm, Reinhard [VerfasserIn]; Yi, Wang [VerfasserIn] ; Mingsong Lv and Nan Guan and Jan Reineke and Reinhard Wilhelm and Wang Yi [MitwirkendeR]

    A Survey on Static Cache Analysis for Real-Time Systems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016