WCET 2014 July 8, 2014 - Ulm, Germany

14th International Workshop on Worst-Case Execution Time Analysis



Heiko Falk (Ed.)
ISBN 978-3-939897-69-9, OASICS Vol. 39 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 5 MB)
Search Publication Server


Authors
  • Abbaspour, Sahar
  • Abella, Jaume
  • Bertogna, Marko
  • Blazy, Sandrine
  • Bonenfant, Armelle
  • Brandner, Florian
  • Cazorla, Francisco J.
  • Chong, David Vh
  • Claraz, Denis
  • Cuenot, Philippe
  • Dufour, Guillaume
  • Falk, Heiko
  • Fernandez, Gabriel
  • Fonseca, José Carlos
  • Hepp, Stefan
  • Hirvisalo, Vesa
  • Huber, Benedikt
  • Jacquemart, Damien
  • Jordan, Alexander
  • Lisper, Björn
  • Maroneze, André
  • Marongiu, Andrea
  • Morio, Jérôme
  • Nélis, Vincent
  • Pichardie, David
  • Pinho, Luís Miguel
  • Prokesch, Daniel
  • Puaut, Isabelle
  • Puffitsch, Wolfgang
  • Puschner, Peter
  • Quiñones, Eduardo
  • Rochange, Christine
  • Santinelli, Luca
  • Schoeberl, Martin
  • Sotin, Pascal
  • Sparsø, Jens
  • Vardanega, Tullio
  • Vargas, Roberto
  • Yomsi, Patrick Meumeu
  • Zwirchmayr, Jakob

  •   
    Frontmatter, Contents, Welcome, List of Authors, Committee
    Authors: Falk, Heiko

    Abstract | Document (303 KB) | BibTeX

    Principles for Value Annotation Languages
    Authors: Lisper, Björn

    Abstract | Document (384 KB) | BibTeX

    A Formally Verified WCET Estimation Tool
    Authors: Maroneze, André ; Blazy, Sandrine ; Pichardie, David ; Puaut, Isabelle

    Abstract | Document (539 KB) | BibTeX

    On the Sustainability of the Extreme Value Theory for WCET Estimation
    Authors: Santinelli, Luca ; Morio, Jérôme ; Dufour, Guillaume ; Jacquemart, Damien

    Abstract | Document (618 KB) | BibTeX

    Contention in Multicore Hardware Shared Resources: Understanding of the State of the Art
    Authors: Fernandez, Gabriel ; Abella, Jaume ; Quiñones, Eduardo ; Rochange, Christine ; Vardanega, Tullio ; Cazorla, Francisco J.

    Abstract | Document (322 KB) | BibTeX

    On Static Timing Analysis of GPU Kernels
    Authors: Hirvisalo, Vesa

    Abstract | Document (421 KB) | BibTeX

    A Time-Predictable Memory Network-on-Chip
    Authors: Schoeberl, Martin ; Chong, David Vh ; Puffitsch, Wolfgang ; Sparsø, Jens

    Abstract | Document (474 KB) | BibTeX

    The Challenge of Time-Predictability in Modern Many-Core Architectures
    Authors: Nélis, Vincent ; Yomsi, Patrick Meumeu ; Pinho, Luís Miguel ; Fonseca, José Carlos ; Bertogna, Marko ; Quiñones, Eduardo ; Vargas, Roberto ; Marongiu, Andrea

    Abstract | Document (459 KB) | BibTeX

    Scope-Based Method Cache Analysis
    Authors: Huber, Benedikt ; Hepp, Stefan ; Schoeberl, Martin

    Abstract | Document (497 KB) | BibTeX

    Lazy Spilling for a Time-Predictable Stack Cache: Implementation and Analysis
    Authors: Abbaspour, Sahar ; Jordan, Alexander ; Brandner, Florian

    Abstract | Document (566 KB) | BibTeX

    Identifying Relevant Parameters to Improve WCET Analysis
    Authors: Zwirchmayr, Jakob ; Sotin, Pascal ; Bonenfant, Armelle ; Claraz, Denis ; Cuenot, Philippe

    Abstract | Document (415 KB) | BibTeX

    Towards Automated Generation of Time-Predictable Code
    Authors: Prokesch, Daniel ; Huber, Benedikt ; Puschner, Peter

    Abstract | Document (574 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI