OASIcs, Volume 39, WCET 2014

• Heiko Falk OASIcs, Volume 39, WCET'14, Complete Volume 10.4230/OASIcs.WCET.2014
• Heiko Falk Frontmatter, Contents, Welcome, List of Authors, Committee 10.4230/OASIcs.WCET.2014.i
• Björn Lisper Principles for Value Annotation Languages 10.4230/OASIcs.WCET.2014.1
• André Maroneze, Sandrine Blazy, David Pichardie, and Isabelle Puaut A Formally Verified WCET Estimation Tool 10.4230/OASIcs.WCET.2014.11
• Luca Santinelli, Jérôme Morio, Guillaume Dufour, and Damien Jacquemart On the Sustainability of the Extreme Value Theory for WCET Estimation 10.4230/OASIcs.WCET.2014.21
• Gabriel Fernandez, Jaume Abella, Eduardo Quiñones, Christine Rochange, Tullio Vardanega, and Francisco J. Cazorla Contention in Multicore Hardware Shared Resources: Understanding of the State of the Art 10.4230/OASIcs.WCET.2014.31
• Vesa Hirvisalo On Static Timing Analysis of GPU Kernels 10.4230/OASIcs.WCET.2014.43
• Martin Schoeberl, David Vh Chong, Wolfgang Puffitsch, and Jens Sparsø A Time-Predictable Memory Network-on-Chip 10.4230/OASIcs.WCET.2014.53
• Vincent Nélis, Patrick Meumeu Yomsi, Luís Miguel Pinho, José Carlos Fonseca, Marko Bertogna, Eduardo Quiñones, Roberto Vargas, and Andrea Marongiu The Challenge of Time-Predictability in Modern Many-Core Architectures 10.4230/OASIcs.WCET.2014.63
• Benedikt Huber, Stefan Hepp, and Martin Schoeberl Scope-Based Method Cache Analysis 10.4230/OASIcs.WCET.2014.73
• Sahar Abbaspour, Alexander Jordan, and Florian Brandner Lazy Spilling for a Time-Predictable Stack Cache: Implementation and Analysis 10.4230/OASIcs.WCET.2014.83
• Jakob Zwirchmayr, Pascal Sotin, Armelle Bonenfant, Denis Claraz, and Philippe Cuenot Identifying Relevant Parameters to Improve WCET Analysis 10.4230/OASIcs.WCET.2014.93
• Daniel Prokesch, Benedikt Huber, and Peter Puschner Towards Automated Generation of Time-Predictable Code 10.4230/OASIcs.WCET.2014.103