9. WCET 2009: Dublin, Ireland

• Niklas Holsti:
  WCET 2009 -- Preface to 9th International Workshop on Worst-Case Execution Time Analysis.
  
• Niklas Holsti, Guillem Bernat, Christian Ferdinand, Peter P. Puschner, Reinhard Wilhelm:
  Teaching WCET Analysis in Academia and Industry: A Panel Discussion.
  
• Clément Ballabriga, Hugues Cassé, Marianne De Michiel:
  A Generic Framework for Blackbox Components in WCET Computation.
  
• Jan Gustafsson, Andreas Ermedahl, Björn Lisper, Christer Sandberg, Linus Källberg:
  ALF - A Language for WCET Flow Analysis.
  
• Claire Burguière, Jan Reineke, Sebastian Altmeyer:
  Cache-Related Preemption Delay Computation for Set-Associative Caches - Pitfalls and Solutions.
  
• Benedikt Huber, Martin Schoeberl:
  Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis.
  
• Paul Keim, Amanda Noyes, Andrew Ferguson, Joshua Neal, Christopher A. Healy:
  Extending the Path Analysis Technique to Obtain a Soft WCET.
  
• Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan:
  From Trusted Annotations to Verified Knowledge.
  
• Martin Schoeberl, Peter P. Puschner:
  Is Chip-Multiprocessing the End of Real-Time Scheduling?.
  
• Jörg Herter, Jan Reineke:
  Making Dynamic Memory Allocation Static to Support WCET Analysis.
  
• Petru Eles:
  Predictable Implementation of Real-Time Applications on Multiprocessor Systems on Chip.
  
• Jan Reineke, Rathijit Sen:
  Sound and Efficient WCET Analysis in the Presence of Timing Anomalies.
  
• Jeffery Hansen, Scott A. Hissam, Gabriel A. Moreno:
  Statistical-Based WCET Estimation and Validation.
  
• Benjamin Lesage, Damien Hardy, Isabelle Puaut:
  WCET Analysis of Multi-Level Set-Associative Data Caches.
  
• Sascha Plazar, Paul Lokuciejewski, Peter Marwedel:
  WCET-aware Software Based Cache Partitioning for Multi-Task Real-Time Systems.
  
• Stefana Nenova, Daniel Kästner:
  Worst-Case Timing Estimation and Architecture Exploration in Early Design Phases.
  

Last update Fri May 25 08:47:52 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page