Additional Information Conference Website Copyright Search Publication Server Chapter All Documents (14) Abstracts Collection (1) Preface (1) Tightening WCET Bounds (3) Timing Anomalies (2) Compilers and WCET (3) Potpourri (3) Authors Autexier, Serge 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 Merz, Stephan Michaelson, Greg Mueller, Frank Nemer, Fadia Pointon, Robert Polian, Ilia Puschner, Peter Reineke, Jan Rochange, Christine Sainrat, Pascal Scaife, Norman Schliecker, Simon Schwarzer, Martin Staschulat, Jan Sérot, Jocelyn Theiling, Henrik Thesing, Stefan Wachter, Björn Wallace, Andy Wilhelm, Reinhard Wolper, Pierre van der Torre, Leon

2006 WCET Preface -- Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time Analysis (WCET'06) Authors: Mueller, Frank Abstract | Document | BibTeX 2006 WCET Abstracts Collection -- 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis Authors: Mueller, Frank Abstract | Document | 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 | BibTeX A Framework for the Busy Time Calculation of Multiple Correlated Events Authors: Schliecker, Simon ; Ivers, Matthias ; Staschulat, Jan ; Ernst, Rolf Abstract | Document | BibTeX Abstracts Collection -- Workshop Trustworthy Software 2006 Authors: Autexier, Serge ; Merz, Stephan ; van der Torre, Leon ; Wilhelm, Reinhard ; Wolper, Pierre Abstract | Document | BibTeX Algorithms for Infeasible Path Calculation Authors: Gustaffson, Jan ; Ermedahl, Andreas ; Lisper, Björn Abstract | Document | BibTeX Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis Authors: Kebbal, Djemai ; Sainrat, Pascal Abstract | Document | 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 | BibTeX Design of a WCET-Aware C Compiler Authors: Falk, Heiko ; Lokuciejewski, Paul ; Theiling, Henrik Abstract | Document | BibTeX History-based Schemes and Implicit Path Enumeration Authors: Burguière, Claire ; Rochange, Christine Abstract | Document | BibTeX Loop Nest Splitting for WCET-Optimization and Predictability Improvement Authors: Falk, Heiko ; Schwarzer, Martin Abstract | Document | BibTeX PapaBench: a Free Real-Time Benchmark Authors: Nemer, Fadia ; Cassé, Hugues ; Sainrat, Pascal ; Bahsoun, Jean-Paul ; De Michiel, Marianne Abstract | Document | BibTeX PLRU Cache Domino Effects Authors: Berg, Christoph Abstract | Document | 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 | BibTeX

---

DROPS-Home | Fulltext Search | Imprint