HTML Export for WCET 2006

Copy to Clipboard Download

<h2>OASIcs, Volume 4, WCET 2006</h2>
<ul>
<li>
    <span class="authors">Frank Mueller</span>
    <span class="title">OASIcs, Volume 4, WCET&#039;06, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2006">10.4230/OASIcs.WCET.2006</a>
</li>
<li>
    <span class="authors">Frank Mueller</span>
    <span class="title">2006 WCET Preface -- Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time Analysis (WCET&#039;06)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2006.679">10.4230/OASIcs.WCET.2006.679</a>
</li>
<li>
    <span class="authors">Frank Mueller</span>
    <span class="title">2006 WCET Abstracts Collection -- 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2006.680">10.4230/OASIcs.WCET.2006.680</a>
</li>
<li>
    <span class="authors">Jan Reineke, Björn Wachter, Stefan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, and Bernd Becker</span>
    <span class="title">A Definition and Classification of Timing Anomalies</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2006.671">10.4230/OASIcs.WCET.2006.671</a>
</li>
<li>
    <span class="authors">Simon Schliecker, Matthias Ivers, Jan Staschulat, and Rolf Ernst</span>
    <span class="title">A Framework for the Busy Time Calculation of Multiple Correlated Events</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2006.676">10.4230/OASIcs.WCET.2006.676</a>
</li>
<li>
    <span class="authors">Jan Gustaffson, Andreas Ermedahl, and Björn Lisper</span>
    <span class="title">Algorithms for Infeasible Path Calculation</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2006.667">10.4230/OASIcs.WCET.2006.667</a>
</li>
<li>
    <span class="authors">Djemai Kebbal and Pascal Sainrat</span>
    <span class="title">Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2006.675">10.4230/OASIcs.WCET.2006.675</a>
</li>
<li>
    <span class="authors">Raimund Kirner, Markus Grössing, and Peter Puschner</span>
    <span class="title">Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2006.669">10.4230/OASIcs.WCET.2006.669</a>
</li>
<li>
    <span class="authors">Heiko Falk, Paul Lokuciejewski, and Henrik Theiling</span>
    <span class="title">Design of a WCET-Aware C Compiler</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2006.673">10.4230/OASIcs.WCET.2006.673</a>
</li>
<li>
    <span class="authors">Claire Burguière and Christine Rochange</span>
    <span class="title">History-based Schemes and Implicit Path Enumeration</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2006.670">10.4230/OASIcs.WCET.2006.670</a>
</li>
<li>
    <span class="authors">Heiko Falk and Martin Schwarzer</span>
    <span class="title">Loop Nest Splitting for WCET-Optimization and Predictability Improvement</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2006.674">10.4230/OASIcs.WCET.2006.674</a>
</li>
<li>
    <span class="authors">Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean-Paul Bahsoun, and Marianne De Michiel</span>
    <span class="title">PapaBench: a Free Real-Time Benchmark</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2006.678">10.4230/OASIcs.WCET.2006.678</a>
</li>
<li>
    <span class="authors">Christoph Berg</span>
    <span class="title">PLRU Cache Domino Effects</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2006.672">10.4230/OASIcs.WCET.2006.672</a>
</li>
<li>
    <span class="authors">Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofman, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert Pointon, Norman Scaife, Jocelyn Sérot, and Andy Wallace</span>
    <span class="title">Towards Formally Verifiable WCET Analysis for a Functional Programming Language</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2006.677">10.4230/OASIcs.WCET.2006.677</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