Zum Inhalt springen

  1. 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

  2. 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

  3. 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

  4. Hickey, David [VerfasserIn]; Early, Diarmuid [VerfasserIn]; Schellekens, Michel [VerfasserIn] ; David Hickey and Diarmuid Early and Michel Schellekens [MitwirkendeR]

    A tool for average and worst-case execution time 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, 2008

  5. 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

  6. Amalou, Abderaouf N [VerfasserIn]; Fromont, Elisa [VerfasserIn]; Puaut, Isabelle [VerfasserIn] ; Abderaouf N Amalou and Elisa Fromont and Isabelle Puaut [MitwirkendeR]

    CAWET: Context-Aware Worst-Case Execution Time Estimation Using Transformers

    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, 2023

  7. Cattaneo, Daniele [VerfasserIn]; Magnani, Gabriele [VerfasserIn]; Cherubin, Stefano [VerfasserIn]; Agosta, Giovanni [VerfasserIn] ; Daniele Cattaneo and Gabriele Magnani and Stefano Cherubin and Giovanni Agosta [MitwirkendeR]

    Ahead-Of-Real-Time (ART): A Methodology for Static Reduction of Worst-Case Execution Time

    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

  8. Varoumas, Steven [VerfasserIn]; Crolard, Tristan [VerfasserIn] ; Steven Varoumas and Tristan Crolard [MitwirkendeR]

    WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation

    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

  9. Rouxel, Benjamin [VerfasserIn]; Puaut, Isabelle [VerfasserIn] ; Benjamin Rouxel and Isabelle Puaut [MitwirkendeR]

    STR2RTS: Refactored StreamIT Benchmarks into Statically Analyzable Parallel Benchmarks for WCET Estimation & Real-Time Scheduling

    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, 2017

  10. Maiza, Claire [VerfasserIn]; Raymond, Pascal [VerfasserIn]; Parent-Vigouroux, Catherine [VerfasserIn]; Bonenfant, Armelle [VerfasserIn]; Carrier, Fabienne [VerfasserIn]; Cassé, Hugues [VerfasserIn]; Cuenot, Philippe [VerfasserIn]; Claraz, Denis [VerfasserIn]; Halbwachs, Nicolas [VerfasserIn]; Jahier, Erwan [VerfasserIn]; Li, Hanbing [VerfasserIn]; de Michiel, Marianne [VerfasserIn]; Mussot, Vincent [VerfasserIn]; Puaut, Isabelle [VerfasserIn]; Rochange, Christine [VerfasserIn]; Rohou, Erven [VerfasserIn]; Ruiz, Jordy [VerfasserIn]; Sotin, Pascal [VerfasserIn]; Sun, Wei-Tsun [VerfasserIn] ; Claire Maiza and Pascal Raymond and Catherine Parent-Vigouroux and Armelle Bonenfant and Fabienne Carrier and Hugues Cassé and Philippe Cuenot and Denis Claraz and Nicolas Halbwachs and Erwan Jahier and Hanbing Li and Marianne de Michiel and Vincent Mussot and Isabelle Puaut and Christine Rochange and Erven Rohou and Jordy Ruiz and Pascal Sotin and Wei-Tsun Sun [MitwirkendeR]

    The W-SEPT Project: Towards Semantic-Aware 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, 2017