![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
13th WCET 2013: Paris, France
- Claire Maiza:
13th International Workshop on Worst-Case Execution Time Analysis, WCET 2013, July 9, 2013, Paris, France. OASIcs 30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-54-5 - Frontmatter, Table of Contents, Preface, Workshop Organization.
- Timon Kelter, Tim Harde, Peter Marwedel, Heiko Falk:
Evaluation of resource arbitration methods for multi-core real-time systems. 1-10 - Haluk Ozaktas, Christine Rochange, Pascal Sainrat:
Automatic WCET Analysis of Real-Time Parallel Applications. 11-20 - Dumitru Potop-Butucaru, Isabelle Puaut:
Integrated Worst-Case Execution Time Estimation of Multicore Applications. 21-31 - Mihail Asavoae, Claire Maiza, Pascal Raymond:
Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective. 32-41 - Hugues Cassé, Florian Birée, Pascal Sainrat:
Multi-architecture Value Analysis for Machine Code. 42-52 - Armin Biere
, Jens Knoop, Laura Kovács
, Jakob Zwirchmayr:
The Auspicious Couple: Symbolic Execution and WCET Analysis. 53-63 - Francisco J. Cazorla
, Tullio Vardanega
, Eduardo Quiñones
, Jaume Abella
:
Upper-bounding Program Execution Time with Extreme Value Theory. 64-76 - Florian Haupenthal, Jörg Herter:
PRADA: Predictable Allocations by Deferred Actions. 77-86 - Jorge Garrido
, Juan Zamorano
, Juan Antonio de la Puente
:
Static analysis of WCET in a satellite software subsystem. 87-96 - Leonidas Kosmidis
, Tullio Vardanega
, Jaume Abella
, Eduardo Quiñones
, Francisco J. Cazorla
:
Applying Measurement-Based Probabilistic Timing Analysis to Buffer Resources. 97-108
![](https://dblp.org/img/cog.dark.24x24.png)
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.