@Proceedings{falk:OASIcs.WCET.2014,
title = {{OASIcs, Volume 39, WCET'14, Complete Volume}},
booktitle = {14th International Workshop on Worst-Case Execution Time Analysis},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-69-9},
ISSN = {2190-6807},
year = {2014},
volume = {39},
editor = {Falk, Heiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2014},
URN = {urn:nbn:de:0030-drops-46115},
doi = {10.4230/OASIcs.WCET.2014},
annote = {Keywords: Performance Analysis and Design Aids, Real-time and embedded systems, Software/Program Verification}
}
@InProceedings{falk:OASIcs.WCET.2014.i,
author = {Falk, Heiko},
title = {{Frontmatter, Contents, Welcome, List of Authors, Committee}},
booktitle = {14th International Workshop on Worst-Case Execution Time Analysis},
pages = {i--xii},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-69-9},
ISSN = {2190-6807},
year = {2014},
volume = {39},
editor = {Falk, Heiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2014.i},
URN = {urn:nbn:de:0030-drops-45980},
doi = {10.4230/OASIcs.WCET.2014.i},
annote = {Keywords: Frontmatter, Contents, Welcome, List of Authors, Committee}
}
@InProceedings{lisper:OASIcs.WCET.2014.1,
author = {Lisper, Bj\"{o}rn},
title = {{Principles for Value Annotation Languages}},
booktitle = {14th International Workshop on Worst-Case Execution Time Analysis},
pages = {1--10},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-69-9},
ISSN = {2190-6807},
year = {2014},
volume = {39},
editor = {Falk, Heiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2014.1},
URN = {urn:nbn:de:0030-drops-45996},
doi = {10.4230/OASIcs.WCET.2014.1},
annote = {Keywords: Real-Time System, WCET analysis, Flow Fact, Assertion}
}
@InProceedings{maroneze_et_al:OASIcs.WCET.2014.11,
author = {Maroneze, Andr\'{e} and Blazy, Sandrine and Pichardie, David and Puaut, Isabelle},
title = {{A Formally Verified WCET Estimation Tool}},
booktitle = {14th International Workshop on Worst-Case Execution Time Analysis},
pages = {11--20},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-69-9},
ISSN = {2190-6807},
year = {2014},
volume = {39},
editor = {Falk, Heiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2014.11},
URN = {urn:nbn:de:0030-drops-46003},
doi = {10.4230/OASIcs.WCET.2014.11},
annote = {Keywords: Formal Verification, CompCert C Compiler, WCET Estimation}
}
@InProceedings{santinelli_et_al:OASIcs.WCET.2014.21,
author = {Santinelli, Luca and Morio, J\'{e}r\^{o}me and Dufour, Guillaume and Jacquemart, Damien},
title = {{On the Sustainability of the Extreme Value Theory for WCET Estimation}},
booktitle = {14th International Workshop on Worst-Case Execution Time Analysis},
pages = {21--30},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-69-9},
ISSN = {2190-6807},
year = {2014},
volume = {39},
editor = {Falk, Heiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2014.21},
URN = {urn:nbn:de:0030-drops-46013},
doi = {10.4230/OASIcs.WCET.2014.21},
annote = {Keywords: Extreme Value Theory, Worst-Case Execution Time, Probabilistic Worst-Case Execution Time, Dependence, Stationarity}
}
@InProceedings{fernandez_et_al:OASIcs.WCET.2014.31,
author = {Fernandez, Gabriel and Abella, Jaume and Qui\~{n}ones, Eduardo and Rochange, Christine and Vardanega, Tullio and Cazorla, Francisco J.},
title = {{Contention in Multicore Hardware Shared Resources: Understanding of the State of the Art}},
booktitle = {14th International Workshop on Worst-Case Execution Time Analysis},
pages = {31--42},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-69-9},
ISSN = {2190-6807},
year = {2014},
volume = {39},
editor = {Falk, Heiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2014.31},
URN = {urn:nbn:de:0030-drops-46027},
doi = {10.4230/OASIcs.WCET.2014.31},
annote = {Keywords: Contention, Multicores, WCET Analysis}
}
@InProceedings{hirvisalo:OASIcs.WCET.2014.43,
author = {Hirvisalo, Vesa},
title = {{On Static Timing Analysis of GPU Kernels}},
booktitle = {14th International Workshop on Worst-Case Execution Time Analysis},
pages = {43--52},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-69-9},
ISSN = {2190-6807},
year = {2014},
volume = {39},
editor = {Falk, Heiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2014.43},
URN = {urn:nbn:de:0030-drops-46033},
doi = {10.4230/OASIcs.WCET.2014.43},
annote = {Keywords: Parallelism, WCET}
}
@InProceedings{schoeberl_et_al:OASIcs.WCET.2014.53,
author = {Schoeberl, Martin and Chong, David Vh and Puffitsch, Wolfgang and Spars{\o}, Jens},
title = {{A Time-Predictable Memory Network-on-Chip}},
booktitle = {14th International Workshop on Worst-Case Execution Time Analysis},
pages = {53--62},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-69-9},
ISSN = {2190-6807},
year = {2014},
volume = {39},
editor = {Falk, Heiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2014.53},
URN = {urn:nbn:de:0030-drops-46047},
doi = {10.4230/OASIcs.WCET.2014.53},
annote = {Keywords: Real-Time Systems, Time-predictable Computer Architecture, Network-on-Chip, Memory Arbitration}
}
@InProceedings{nelis_et_al:OASIcs.WCET.2014.63,
author = {N\'{e}lis, Vincent and Yomsi, Patrick Meumeu and Pinho, Lu{\'\i}s Miguel and Fonseca, Jos\'{e} Carlos and Bertogna, Marko and Qui\~{n}ones, Eduardo and Vargas, Roberto and Marongiu, Andrea},
title = {{The Challenge of Time-Predictability in Modern Many-Core Architectures}},
booktitle = {14th International Workshop on Worst-Case Execution Time Analysis},
pages = {63--72},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-69-9},
ISSN = {2190-6807},
year = {2014},
volume = {39},
editor = {Falk, Heiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2014.63},
URN = {urn:nbn:de:0030-drops-46050},
doi = {10.4230/OASIcs.WCET.2014.63},
annote = {Keywords: Time-Predictability, Many-Cores, Multi-Cores, Timing Analysis}
}
@InProceedings{huber_et_al:OASIcs.WCET.2014.73,
author = {Huber, Benedikt and Hepp, Stefan and Schoeberl, Martin},
title = {{Scope-Based Method Cache Analysis}},
booktitle = {14th International Workshop on Worst-Case Execution Time Analysis},
pages = {73--82},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-69-9},
ISSN = {2190-6807},
year = {2014},
volume = {39},
editor = {Falk, Heiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2014.73},
URN = {urn:nbn:de:0030-drops-46066},
doi = {10.4230/OASIcs.WCET.2014.73},
annote = {Keywords: Real-Time Systems, Cache Analysis, Time-predictable Computer Architecture}
}
@InProceedings{abbaspour_et_al:OASIcs.WCET.2014.83,
author = {Abbaspour, Sahar and Jordan, Alexander and Brandner, Florian},
title = {{Lazy Spilling for a Time-Predictable Stack Cache: Implementation and Analysis}},
booktitle = {14th International Workshop on Worst-Case Execution Time Analysis},
pages = {83--92},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-69-9},
ISSN = {2190-6807},
year = {2014},
volume = {39},
editor = {Falk, Heiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2014.83},
URN = {urn:nbn:de:0030-drops-46073},
doi = {10.4230/OASIcs.WCET.2014.83},
annote = {Keywords: Lazy Spilling, Stack Cache, Real-Time Systems, Program Analysis}
}
@InProceedings{zwirchmayr_et_al:OASIcs.WCET.2014.93,
author = {Zwirchmayr, Jakob and Sotin, Pascal and Bonenfant, Armelle and Claraz, Denis and Cuenot, Philippe},
title = {{Identifying Relevant Parameters to Improve WCET Analysis}},
booktitle = {14th International Workshop on Worst-Case Execution Time Analysis},
pages = {93--102},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-69-9},
ISSN = {2190-6807},
year = {2014},
volume = {39},
editor = {Falk, Heiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2014.93},
URN = {urn:nbn:de:0030-drops-46085},
doi = {10.4230/OASIcs.WCET.2014.93},
annote = {Keywords: WCET Accuracy, Modes and Configuration, Flow Facts, Scenario Specification}
}
@InProceedings{prokesch_et_al:OASIcs.WCET.2014.103,
author = {Prokesch, Daniel and Huber, Benedikt and Puschner, Peter},
title = {{Towards Automated Generation of Time-Predictable Code}},
booktitle = {14th International Workshop on Worst-Case Execution Time Analysis},
pages = {103--112},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-69-9},
ISSN = {2190-6807},
year = {2014},
volume = {39},
editor = {Falk, Heiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2014.103},
URN = {urn:nbn:de:0030-drops-46090},
doi = {10.4230/OASIcs.WCET.2014.103},
annote = {Keywords: Single-Path, Graph Transformation, Predictable Code, Compiler}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing