Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th WCET 2015: Lund, Sweden
- Francisco J. Cazorla:
15th International Workshop on Worst-Case Execution Time Analysis, WCET 2015, July 7, 2015, Lund, Sweden. OASIcs 47, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-95-8 - Front Matter, Table of Contents, Preface, Workshop Organization. i-xiv
- Hugues Cassé, Haluk Ozaktas, Christine Rochange:
A Framework to Quantify the Overestimations of Static WCET Analysis. 1-10 - Marco Ziccardi, Alessandro Cornaglia, Enrico Mezzetti
, Tullio Vardanega:
Software-enforced Interconnect Arbitration for COTS Multicores. 11-20 - Mahdi Eslamimehr, Hesam Samimi:
Timing Analysis of Event-Driven Programs with Directed Testing. 21-31 - Peter Wägemann, Tobias Distler, Timo Hönig, Volkmar Sieh, Wolfgang Schröder-Preikschat:
GenE: A Benchmark Generator for WCET Analysis. 33-43 - Boris Dreyer, Christian Hochberger, Simon Wegener, Alexander Weiss:
Precise Continuous Non-Intrusive Measurement-Based Execution Time Estimation. 45-54 - Clément Ballabriga, Julien Forget, Giuseppe Lipari:
Context-sensitive Parametric WCET Analysis. 55-64 - Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke, Christine Rochange:
WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?. 65-74 - Georg Wassen, Stefan Lankes:
Bare-Metal Execution of Hard Real-Time Tasks Within a General-Purpose Operating System. 75-84 - Niklas Holsti, Jan Gustafsson, Linus Källberg, Björn Lisper:
Analysing Switch-Case Code with Abstract Execution. 85-94 - Jordy Ruiz, Hugues Cassé:
Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs. 95-104
a service of 
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-07-03 21:42 CEST 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:
