WCET 2006 July 4, 2006, Dresden, Germany

6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)



Frank Mueller (Ed.)
ISBN 978-3-939897-03-3, OASICS Vol. 4 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 3 MB)
Search Publication Server


Support
  • ECRTS 2006


  • Authors
  • Bahsoun, Jean-Paul
  • Becker, Bernd
  • Berg, Christoph
  • Burguière, Claire
  • Cassé, Hugues
  • De Michiel, Marianne
  • Dyckhoff, Roy
  • Eisinger, Jochen
  • Ermedahl, Andreas
  • Ernst, Rolf
  • Falk, Heiko
  • Ferdinand, Christian
  • Grössing, Markus
  • Gustaffson, Jan
  • Hammond, Kevin
  • Heckmann, Reinhold
  • Hofman, Martin
  • Ivers, Matthias
  • Jost, Steffen
  • Kebbal, Djemai
  • Kirner, Raimund
  • Lisper, Björn
  • Loidl, Hans-Wolfgang
  • Lokuciejewski, Paul
  • Michaelson, Greg
  • Mueller, Frank
  • Nemer, Fadia
  • Pointon, Robert
  • Polian, Ilia
  • Puschner, Peter
  • Reineke, Jan
  • Rochange, Christine
  • Sérot, Jocelyn
  • Sainrat, Pascal
  • Scaife, Norman
  • Schliecker, Simon
  • Schwarzer, Martin
  • Staschulat, Jan
  • Theiling, Henrik
  • Thesing, Stefan
  • Wachter, Björn
  • Wallace, Andy
  • Wilhelm, Reinhard

  •   
    2006 WCET Preface -- Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time Analysis (WCET'06)
    Authors: Mueller, Frank

    Abstract | Document (270 KB) | BibTeX

    2006 WCET Abstracts Collection -- 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis
    Authors: Mueller, Frank

    Abstract | Document (133 KB) | BibTeX

    A Definition and Classification of Timing Anomalies
    Authors: Reineke, Jan ; Wachter, Björn ; Thesing, Stefan ; Wilhelm, Reinhard ; Polian, Ilia ; Eisinger, Jochen ; Becker, Bernd

    Abstract | Document (207 KB) | BibTeX

    A Framework for the Busy Time Calculation of Multiple Correlated Events
    Authors: Schliecker, Simon ; Ivers, Matthias ; Staschulat, Jan ; Ernst, Rolf

    Abstract | Document (123 KB) | BibTeX

    Algorithms for Infeasible Path Calculation
    Authors: Gustaffson, Jan ; Ermedahl, Andreas ; Lisper, Björn

    Abstract | Document (367 KB) | BibTeX

    Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis
    Authors: Kebbal, Djemai ; Sainrat, Pascal

    Abstract | Document (144 KB) | BibTeX

    Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup
    Authors: Kirner, Raimund ; Grössing, Markus ; Puschner, Peter

    Abstract | Document (249 KB) | BibTeX

    Design of a WCET-Aware C Compiler
    Authors: Falk, Heiko ; Lokuciejewski, Paul ; Theiling, Henrik

    Abstract | Document (152 KB) | BibTeX

    History-based Schemes and Implicit Path Enumeration
    Authors: Burguière, Claire ; Rochange, Christine

    Abstract | Document (260 KB) | BibTeX

    Loop Nest Splitting for WCET-Optimization and Predictability Improvement
    Authors: Falk, Heiko ; Schwarzer, Martin

    Abstract | Document (189 KB) | BibTeX

    PapaBench: a Free Real-Time Benchmark
    Authors: Nemer, Fadia ; Cassé, Hugues ; Sainrat, Pascal ; Bahsoun, Jean-Paul ; De Michiel, Marianne

    Abstract | Document (615 KB) | BibTeX

    PLRU Cache Domino Effects
    Authors: Berg, Christoph

    Abstract | Document (32 KB) | BibTeX

    Towards Formally Verifiable WCET Analysis for a Functional Programming Language
    Authors: Hammond, Kevin ; Ferdinand, Christian ; Heckmann, Reinhold ; Dyckhoff, Roy ; Hofman, Martin ; Jost, Steffen ; Loidl, Hans-Wolfgang ; Michaelson, Greg ; Pointon, Robert ; Scaife, Norman ; Sérot, Jocelyn ; Wallace, Andy

    Abstract | Document (271 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI