default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th 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
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.
last updated on 2024-11-15 19:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
