10. WCET 2010:
Brussels,
Belgium
Björn Lisper (Ed.):
10th International Workshop on Worst-Case Execution Time Analysis, WCET 2010, July 6, 2010, Brussels, Belgium.
OASICS 15 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2010, ISBN 978-3-939897-21-7 
- Björn Lisper:
Frontmatter, Preface, Table of Contents, Workshop Organization.
- Gernot Gebhard:
Timing Anomalies Reloaded.
1-10
- Enrico Mezzetti, Marco Panunzio, Tullio Vardanega:
Bounding the Effects of Resource Access Protocols on Cache Behavior.
11-22
- Daniel Grund, Jan Reineke:
Toward Precise PLRU Cache Analysis.
23-35
- Stephan Wilhelm, Christoph Cullmann:
Integrating Abstract Caches with Symbolic Pipeline Analysis.
36-43
- David Griffin, Alan Burns:
Realism in Statistical Analysis of Worst Case Execution Times.
44-53
- Adam Betts, Nicholas Merriam, Guillem Bernat:
Hybrid measurement-based WCET analysis at the source level using object-level traces.
54-63
- Stefan Stattelmann, Florian Martin:
On the Use of Context Information for Precise Measurement-Based Execution Time Estimation.
64-76
- Benedikt Huber, Peter P. Puschner:
A Code Policy Guaranteeing Fully Automated Path Analysis.
77-88
- Jean Souyris:
WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives.
89-89
- Christine Rochange, Armelle Bonenfant, Pascal Sainrat, Mike Gerdes, Julian Wolf, Theo Ungerer, Zlatko Petrov, Frantisek Mikulu:
WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core.
90-100
- Andreas Gustavsson, Andreas Ermedahl, Björn Lisper, Paul Pettersson:
Towards WCET Analysis of Multicore Architectures Using UPPAAL.
101-112
- Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, Kim Guldstrand Larsen:
METAMOC: Modular Execution Time Analysis using Model Checking.
113-123
- Jörg Herter, Sebastian Altmeyer:
Precomputing Memory Locations for Parametric Allocations.
124-135
- Jan Gustafsson, Adam Betts, Andreas Ermedahl, Björn Lisper:
The Mälardalen WCET Benchmarks: Past, Present And Future.
136-146
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
