OASIcs, Volume 4, WCET 2006

• Frank Mueller OASIcs, Volume 4, WCET'06, Complete Volume 10.4230/OASIcs.WCET.2006
• Frank Mueller 2006 WCET Preface -- Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time Analysis (WCET'06) 10.4230/OASIcs.WCET.2006.679
• Frank Mueller 2006 WCET Abstracts Collection -- 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis 10.4230/OASIcs.WCET.2006.680
• Jan Reineke, Björn Wachter, Stefan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, and Bernd Becker A Definition and Classification of Timing Anomalies 10.4230/OASIcs.WCET.2006.671
• Simon Schliecker, Matthias Ivers, Jan Staschulat, and Rolf Ernst A Framework for the Busy Time Calculation of Multiple Correlated Events 10.4230/OASIcs.WCET.2006.676
• Jan Gustaffson, Andreas Ermedahl, and Björn Lisper Algorithms for Infeasible Path Calculation 10.4230/OASIcs.WCET.2006.667
• Djemai Kebbal and Pascal Sainrat Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis 10.4230/OASIcs.WCET.2006.675
• Raimund Kirner, Markus Grössing, and Peter Puschner Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup 10.4230/OASIcs.WCET.2006.669
• Heiko Falk, Paul Lokuciejewski, and Henrik Theiling Design of a WCET-Aware C Compiler 10.4230/OASIcs.WCET.2006.673
• Claire Burguière and Christine Rochange History-based Schemes and Implicit Path Enumeration 10.4230/OASIcs.WCET.2006.670
• Heiko Falk and Martin Schwarzer Loop Nest Splitting for WCET-Optimization and Predictability Improvement 10.4230/OASIcs.WCET.2006.674
• Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean-Paul Bahsoun, and Marianne De Michiel PapaBench: a Free Real-Time Benchmark 10.4230/OASIcs.WCET.2006.678
• Christoph Berg PLRU Cache Domino Effects 10.4230/OASIcs.WCET.2006.672
• Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofman, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert Pointon, Norman Scaife, Jocelyn Sérot, and Andy Wallace Towards Formally Verifiable WCET Analysis for a Functional Programming Language 10.4230/OASIcs.WCET.2006.677