


default search action
14th WCET 2014: Ulm, Germany
- Heiko Falk:

14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014, July 8, 2014, Ulm, Germany. OASIcs 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-69-9 - Frontmatter, Contents, Welcome, List of Authors, Committee.

- Björn Lisper:

Principles for Value Annotation Languages. 1-10 - André Maroneze, Sandrine Blazy

, David Pichardie, Isabelle Puaut:
A Formally Verified WCET Estimation Tool. 11-20 - Luca Santinelli, Jérôme Morio

, Guillaume Dufour, Damien Jacquemart:
On the Sustainability of the Extreme Value Theory for WCET Estimation. 21-30 - Gabriel Fernandez, Jaume Abella

, Eduardo Quiñones
, Christine Rochange, Tullio Vardanega
, Francisco J. Cazorla
:
Contention in Multicore Hardware Shared Resources: Understanding of the State of the Art. 31-42 - Vesa Hirvisalo:

On Static Timing Analysis of GPU Kernels. 43-52 - Martin Schoeberl

, David Vh Chong, Wolfgang Puffitsch
, Jens Sparsø
:
A Time-Predictable Memory Network-on-Chip. 53-62 - Vincent Nélis

, Patrick Meumeu Yomsi
, Luís Miguel Pinho
, José Carlos Fonseca, Marko Bertogna
, Eduardo Quiñones
, Roberto Vargas, Andrea Marongiu:
The Challenge of Time-Predictability in Modern Many-Core Architectures. 63-72 - Benedikt Huber, Stefan Hepp, Martin Schoeberl

:
Scope-Based Method Cache Analysis. 73-82 - Sahar Abbaspour, Alexander Jordan, Florian Brandner:

Lazy Spilling for a Time-Predictable Stack Cache: Implementation and Analysis. 83-92 - Jakob Zwirchmayr, Pascal Sotin, Armelle Bonenfant, Denis Claraz, Philippe Cuenot:

Identifying Relevant Parameters to Improve WCET Analysis. 93-102 - Daniel Prokesch, Benedikt Huber, Peter P. Puschner

:
Towards Automated Generation of Time-Predictable Code. 103-112

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














