HTML Export for WCET 2005

Copy to Clipboard Download

<h2>OASIcs, Volume 1, WCET 2005</h2>
<ul>
<li>
    <span class="authors">Reinhard Wilhelm</span>
    <span class="title">OASIcs, Volume 1, WCET 2005, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2005">10.4230/OASIcs.WCET.2005</a>
</li>
<li>
    <span class="authors">Reinhard Wilhelm</span>
    <span class="title">2005 WCET Preface -- Message from the Workshop Chair</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2005.817">10.4230/OASIcs.WCET.2005.817</a>
</li>
<li>
    <span class="authors">Jan Stachulat, Simon Schliecker, Matthias Ivers, and Rolf Ernst</span>
    <span class="title">Analysis of Memory Latencies in Multi-Processor Systems</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2005.813">10.4230/OASIcs.WCET.2005.813</a>
</li>
<li>
    <span class="authors">Raimund Kirner and Peter Puschner</span>
    <span class="title">Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2005.815">10.4230/OASIcs.WCET.2005.815</a>
</li>
<li>
    <span class="authors">Jean Souyris, Erwan Le Pavec, Guillaume Himbert, Guillaume Borios, Victor Jégu, and Reinhold Heckmann</span>
    <span class="title">Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2005.810">10.4230/OASIcs.WCET.2005.810</a>
</li>
<li>
    <span class="authors">Stephan Wilhelm</span>
    <span class="title">Efficient Analysis of Pipeline Models for WCET Computation</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2005.814">10.4230/OASIcs.WCET.2005.814</a>
</li>
<li>
    <span class="authors">Andreas Ermedahl, Jan Gustafsson, and Björn Lisper</span>
    <span class="title">Experiences from Industrial WCET Analysis Case Studies</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2005.811">10.4230/OASIcs.WCET.2005.811</a>
</li>
<li>
    <span class="authors">Ting Chen, Tulika Mitra, Abhik Roychoudhury, and Vivy Suhendra</span>
    <span class="title">Exploiting Branch Constraints without Exhaustive Path Enumeration</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2005.816">10.4230/OASIcs.WCET.2005.816</a>
</li>
<li>
    <span class="authors">Adam Betts and Guillem Berant</span>
    <span class="title">Issues using the Nexus Interface for Measurement-Based WCET Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2005.807">10.4230/OASIcs.WCET.2005.807</a>
</li>
<li>
    <span class="authors">Jean-François Deverge and Isabelle Puaut</span>
    <span class="title">Safe measurement-based WCET estimation</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2005.808">10.4230/OASIcs.WCET.2005.808</a>
</li>
<li>
    <span class="authors">Samuel Petersson, Andreas Ermedahl, Anders Pettersson, Daniel Sundmark, and Niklas Holsti</span>
    <span class="title">Using a WCET Analysis Tool in Real-Time Systems Education</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2005.812">10.4230/OASIcs.WCET.2005.812</a>
</li>
<li>
    <span class="authors">Nicky Williams</span>
    <span class="title">WCET measurement using modified path testing</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2005.809">10.4230/OASIcs.WCET.2005.809</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