@Proceedings{mueller:OASIcs.WCET.2006,
title = {{OASIcs, Volume 4, WCET'06, Complete Volume}},
booktitle = {6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-03-3},
ISSN = {2190-6807},
year = {2012},
volume = {4},
editor = {Mueller, Frank},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2006},
URN = {urn:nbn:de:0030-drops-35661},
doi = {10.4230/OASIcs.WCET.2006},
annote = {Keywords: Performance of Systems, Software/Program Verification}
}
@InProceedings{mueller:OASIcs.WCET.2006.679,
author = {Mueller, Frank},
title = {{2006 WCET Preface -- Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time Analysis (WCET'06)}},
booktitle = {6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)},
pages = {i--vii},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-03-3},
ISSN = {2190-6807},
year = {2006},
volume = {4},
editor = {Mueller, Frank},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2006.679},
URN = {urn:nbn:de:0030-drops-6796},
doi = {10.4230/OASIcs.WCET.2006.679},
annote = {Keywords: WCET'06, workshop proceedings, preface}
}
@InProceedings{mueller:OASIcs.WCET.2006.680,
author = {Mueller, Frank},
title = {{2006 WCET Abstracts Collection -- 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis}},
booktitle = {6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)},
pages = {1--7},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-03-3},
ISSN = {2190-6807},
year = {2006},
volume = {4},
editor = {Mueller, Frank},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2006.680},
URN = {urn:nbn:de:0030-drops-6805},
doi = {10.4230/OASIcs.WCET.2006.680},
annote = {Keywords: WCET'06, workshop proceedings, abstracts collection}
}
@InProceedings{reineke_et_al:OASIcs.WCET.2006.671,
author = {Reineke, Jan and Wachter, Bj\"{o}rn and Thesing, Stefan and Wilhelm, Reinhard and Polian, Ilia and Eisinger, Jochen and Becker, Bernd},
title = {{A Definition and Classification of Timing Anomalies}},
booktitle = {6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)},
pages = {1--6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-03-3},
ISSN = {2190-6807},
year = {2006},
volume = {4},
editor = {Mueller, Frank},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2006.671},
URN = {urn:nbn:de:0030-drops-6713},
doi = {10.4230/OASIcs.WCET.2006.671},
annote = {Keywords: Timing analysis, Worst-case execution time, Timing anomalies, Scheduling Anomalies, Abstraction}
}
@InProceedings{schliecker_et_al:OASIcs.WCET.2006.676,
author = {Schliecker, Simon and Ivers, Matthias and Staschulat, Jan and Ernst, Rolf},
title = {{A Framework for the Busy Time Calculation of Multiple Correlated Events}},
booktitle = {6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)},
pages = {1--6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-03-3},
ISSN = {2190-6807},
year = {2006},
volume = {4},
editor = {Mueller, Frank},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2006.676},
URN = {urn:nbn:de:0030-drops-6767},
doi = {10.4230/OASIcs.WCET.2006.676},
annote = {Keywords: Response time analysis, multiple memory accesses, multiprocessor, hard real-time, busy time}
}
@InProceedings{gustaffson_et_al:OASIcs.WCET.2006.667,
author = {Gustaffson, Jan and Ermedahl, Andreas and Lisper, Bj\"{o}rn},
title = {{Algorithms for Infeasible Path Calculation}},
booktitle = {6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)},
pages = {1--6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-03-3},
ISSN = {2190-6807},
year = {2006},
volume = {4},
editor = {Mueller, Frank},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2006.667},
URN = {urn:nbn:de:0030-drops-6677},
doi = {10.4230/OASIcs.WCET.2006.667},
annote = {Keywords: Worst case execution time, real-time, control flow analysis, abstract interpretation, infeasible paths}
}
@InProceedings{kebbal_et_al:OASIcs.WCET.2006.675,
author = {Kebbal, Djemai and Sainrat, Pascal},
title = {{Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis}},
booktitle = {6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)},
pages = {1--6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-03-3},
ISSN = {2190-6807},
year = {2006},
volume = {4},
editor = {Mueller, Frank},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2006.675},
URN = {urn:nbn:de:0030-drops-6753},
doi = {10.4230/OASIcs.WCET.2006.675},
annote = {Keywords: Static WCET analysis, flow analysis, symbolic execution, path enumeration, loop analysis}
}
@InProceedings{kirner_et_al:OASIcs.WCET.2006.669,
author = {Kirner, Raimund and Gr\"{o}ssing, Markus and Puschner, Peter},
title = {{Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup}},
booktitle = {6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)},
pages = {1--6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-03-3},
ISSN = {2190-6807},
year = {2006},
volume = {4},
editor = {Mueller, Frank},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2006.669},
URN = {urn:nbn:de:0030-drops-6694},
doi = {10.4230/OASIcs.WCET.2006.669},
annote = {Keywords: Worst-case execution time, WCET analysis, table lookup, iterative computation, Taylor series, resource demands}
}
@InProceedings{falk_et_al:OASIcs.WCET.2006.673,
author = {Falk, Heiko and Lokuciejewski, Paul and Theiling, Henrik},
title = {{Design of a WCET-Aware C Compiler}},
booktitle = {6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)},
pages = {1--6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-03-3},
ISSN = {2190-6807},
year = {2006},
volume = {4},
editor = {Mueller, Frank},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2006.673},
URN = {urn:nbn:de:0030-drops-6733},
doi = {10.4230/OASIcs.WCET.2006.673},
annote = {Keywords: WCET, compiler, multi-objective, intermediate representation, ICD-C, LLIR, CRL2, aiT}
}
@InProceedings{burguiere_et_al:OASIcs.WCET.2006.670,
author = {Burgui\`{e}re, Claire and Rochange, Christine},
title = {{History-based Schemes and Implicit Path Enumeration}},
booktitle = {6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)},
pages = {1--6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-03-3},
ISSN = {2190-6807},
year = {2006},
volume = {4},
editor = {Mueller, Frank},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2006.670},
URN = {urn:nbn:de:0030-drops-6703},
doi = {10.4230/OASIcs.WCET.2006.670},
annote = {Keywords: WCET, IPET (Implicit Path Enumeration Technique), branch prediction}
}
@InProceedings{falk_et_al:OASIcs.WCET.2006.674,
author = {Falk, Heiko and Schwarzer, Martin},
title = {{Loop Nest Splitting for WCET-Optimization and Predictability Improvement}},
booktitle = {6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)},
pages = {1--6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-03-3},
ISSN = {2190-6807},
year = {2006},
volume = {4},
editor = {Mueller, Frank},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2006.674},
URN = {urn:nbn:de:0030-drops-6743},
doi = {10.4230/OASIcs.WCET.2006.674},
annote = {Keywords: Loop Nest Splitting, Source Code Optimization, WCET, ACET, flow facts, polytope}
}
@InProceedings{nemer_et_al:OASIcs.WCET.2006.678,
author = {Nemer, Fadia and Cass\'{e}, Hugues and Sainrat, Pascal and Bahsoun, Jean-Paul and De Michiel, Marianne},
title = {{PapaBench: a Free Real-Time Benchmark}},
booktitle = {6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)},
pages = {1--6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-03-3},
ISSN = {2190-6807},
year = {2006},
volume = {4},
editor = {Mueller, Frank},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2006.678},
URN = {urn:nbn:de:0030-drops-6783},
doi = {10.4230/OASIcs.WCET.2006.678},
annote = {Keywords: Real-Time Benchmark, Complete Application, Worst Case Execution Time (WCET) Computation, Modeling}
}
@InProceedings{berg:OASIcs.WCET.2006.672,
author = {Berg, Christoph},
title = {{PLRU Cache Domino Effects}},
booktitle = {6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)},
pages = {1--3},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-03-3},
ISSN = {2190-6807},
year = {2006},
volume = {4},
editor = {Mueller, Frank},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2006.672},
URN = {urn:nbn:de:0030-drops-6723},
doi = {10.4230/OASIcs.WCET.2006.672},
annote = {Keywords: Embedded systems, predictability, cache memory, PLRU, domino effects, timing anomalies}
}
@InProceedings{hammond_et_al:OASIcs.WCET.2006.677,
author = {Hammond, Kevin and Ferdinand, Christian and Heckmann, Reinhold and Dyckhoff, Roy and Hofman, Martin and Jost, Steffen and Loidl, Hans-Wolfgang and Michaelson, Greg and Pointon, Robert and Scaife, Norman and S\'{e}rot, Jocelyn and Wallace, Andy},
title = {{Towards Formally Verifiable WCET Analysis for a Functional Programming Language}},
booktitle = {6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)},
pages = {1--6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-03-3},
ISSN = {2190-6807},
year = {2006},
volume = {4},
editor = {Mueller, Frank},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2006.677},
URN = {urn:nbn:de:0030-drops-6773},
doi = {10.4230/OASIcs.WCET.2006.677},
annote = {Keywords: Worst-case execution time, functional programming, Hume, cost model, asynchronous, finite state machine}
}
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