HTML Export for WCET 2010

Copy to Clipboard Download

<h2>OASIcs, Volume 15, WCET 2010</h2>
<ul>
<li>
    <span class="authors">Björn Lisper</span>
    <span class="title">OASIcs, Volume 15, WCET&#039;10, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2010">10.4230/OASIcs.WCET.2010</a>
</li>
<li>
    <span class="authors">Björn Lisper</span>
    <span class="title">Frontmatter, Preface, Table of Contents, Workshop Organization</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2010.i">10.4230/OASIcs.WCET.2010.i</a>
</li>
<li>
    <span class="authors">Gernot Gebhard</span>
    <span class="title">Timing Anomalies Reloaded</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2010.1">10.4230/OASIcs.WCET.2010.1</a>
</li>
<li>
    <span class="authors">Enrico Mezzetti, Marco Panunzio, and Tullio Vardanega</span>
    <span class="title">Bounding the Effects of Resource Access Protocols on Cache Behavior</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2010.11">10.4230/OASIcs.WCET.2010.11</a>
</li>
<li>
    <span class="authors">Daniel Grund and Jan Reineke</span>
    <span class="title">Toward Precise PLRU Cache Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2010.23">10.4230/OASIcs.WCET.2010.23</a>
</li>
<li>
    <span class="authors">Stephan Wilhelm and Christoph Cullmann</span>
    <span class="title">Integrating Abstract Caches with Symbolic Pipeline Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2010.36">10.4230/OASIcs.WCET.2010.36</a>
</li>
<li>
    <span class="authors">David Griffin and Alan Burns</span>
    <span class="title">Realism in Statistical Analysis of Worst Case Execution Times</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2010.44">10.4230/OASIcs.WCET.2010.44</a>
</li>
<li>
    <span class="authors">Adam Betts, Nicholas Merriam, and Guillem Bernat</span>
    <span class="title">Hybrid measurement-based WCET analysis at the source level using object-level traces</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2010.54">10.4230/OASIcs.WCET.2010.54</a>
</li>
<li>
    <span class="authors">Stefan Stattelmann and Florian Martin</span>
    <span class="title">On the Use of Context Information for Precise Measurement-Based Execution Time Estimation</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2010.64">10.4230/OASIcs.WCET.2010.64</a>
</li>
<li>
    <span class="authors">Benedikt Huber and Peter Puschner</span>
    <span class="title">A Code Policy Guaranteeing Fully Automated Path Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2010.77">10.4230/OASIcs.WCET.2010.77</a>
</li>
<li>
    <span class="authors">Jean Souyris</span>
    <span class="title">WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2010.89">10.4230/OASIcs.WCET.2010.89</a>
</li>
<li>
    <span class="authors">Christine Rochange, Armelle Bonenfant, Pascal Sainrat, Mike Gerdes, Julian Wolf, Theo Ungerer, Zlatko Petrov, and Frantisek Mikulu</span>
    <span class="title">WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2010.90">10.4230/OASIcs.WCET.2010.90</a>
</li>
<li>
    <span class="authors">Andreas Gustavsson, Andreas Ermedahl, Björn Lisper, and Paul Pettersson</span>
    <span class="title">Towards WCET Analysis of Multicore Architectures Using UPPAAL</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2010.101">10.4230/OASIcs.WCET.2010.101</a>
</li>
<li>
    <span class="authors">Andreas E. Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, and Kim Guldstrand Larsen</span>
    <span class="title">METAMOC: Modular Execution Time Analysis using Model Checking</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2010.113">10.4230/OASIcs.WCET.2010.113</a>
</li>
<li>
    <span class="authors">Jörg Herter and Sebastian Altmeyer</span>
    <span class="title">Precomputing Memory Locations for Parametric Allocations</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2010.124">10.4230/OASIcs.WCET.2010.124</a>
</li>
<li>
    <span class="authors">Jan Gustafsson, Adam Betts, Andreas Ermedahl, and Björn Lisper</span>
    <span class="title">The Mälardalen WCET Benchmarks: Past, Present And Future</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2010.136">10.4230/OASIcs.WCET.2010.136</a>
</li>
</ul>

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode