Additional Information Conference Website Complete Volume (PDF, 3.9MB) Copyright Search Publication Server Authors Altmeyer, Sebastian Ballabriga, Clément Bernat, Guillem Burguière, Claire Cassé, Hugues De Michiel, Marianne Eles, Petru Ermedahl, Andreas Ferdinand, Christian Ferguson, Andrew Gustafsson, Jan Hansen, Jeffery Hardy, Damien Healy, Christopher Herter, Jörg Hissam, Scott Holsti, Niklas Huber, Benedikt Kadlec, Albrecht Keim, Paul Kirner, Raimund Knoop, Jens Källberg, Linus Kästner, Daniel Lesage, Benjamin Lisper, Björn Lokuciejewski, Paul Marwedel, Peter Moreno, Gabriel A. Neal, Joshua Nenova, Stefana Noyes, Amanda Plazar, Sascha Prantl, Adrian Puaut, Isabelle Puschner, Peter Reineke, Jan Sandberg, Christer Schoeberl, Martin Schordan, Markus Sen, Rathijit Wilhelm, Reinhard

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

---

DROPS-Home | Fulltext Search | Imprint