8. WCET 2008: Prague, Czech Republic

• Sebastian Altmeyer, Gernot Gebhard:
  WCET Analysis for Preemptive Scheduling.
  
• Clément Ballabriga, Hugues Cassé:
  Improving the WCET computation time by IPET using control flow graph partitioning.
  
• Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan:
  WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.
  
• Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop:
  Towards a Common WCET Annotation Language: Essential Ingredients.
  
• Jan Gustafsson, Andreas Ermedahl:
  Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution.
  
• Stefan Bygde, Björn Lisper:
  Towards an Automatic Parametric WCET Analysis.
  
• Niklas Holsti:
  Computing time as a program variable: a way around infeasible paths.
  
• Adrian Prantl, Markus Schordan, Jens Knoop:
  TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis.
  
• Peter P. Puschner, Martin Schoeberl:
  On Composable System Timing, Task Timing, and WCET Analysis.
  
• Olivier Gilles, Jérôme Hugues:
  Applying WCET Analysis at Architectural Level.
  
• Jack Whitham, Neil C. Audsley:
  Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis.
  
• Amine Marref, Guillem Bernat:
  Towards Predicated WCET Analysis.
  
• David Hickey, Diarmuid Early, Michel P. Schellekens:
  A tool for average and worst-case execution time analysis.
  
• Michael Zolda:
  INFER: Interactive Timing Profiles based on Bayesian Networks.
  
• Raimund Kirner:
  WCET 2008 Abstracts Collection - 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.
  

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