@Proceedings{lucas_et_al:OASIcs.PPES.2011,
title = {{OASIcs, Volume 18, PPES'11, Complete Volume}},
booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded Systems},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-28-6},
ISSN = {2190-6807},
year = {2012},
volume = {18},
editor = {Lucas, Philipp and Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PPES.2011},
URN = {urn:nbn:de:0030-drops-35804},
doi = {10.4230/OASIcs.PPES.2011},
annote = {Keywords: Special-purpose and application-based systems\rbrack: Real-time and embedded systems}
}
@InProceedings{lucas_et_al:OASIcs.PPES.2011.i,
author = {Lucas, Philipp and Wilhelm, Reinhard},
title = {{Preface (Frontmatter, Table of Contents, Preface)}},
booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded Systems},
pages = {i--vii},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-28-6},
ISSN = {2190-6807},
year = {2011},
volume = {18},
editor = {Lucas, Philipp and Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PPES.2011.i},
URN = {urn:nbn:de:0030-drops-30767},
doi = {10.4230/OASIcs.PPES.2011.i},
annote = {Keywords: Frontmatter, Table of Contents, Preface}
}
@InProceedings{gebhard_et_al:OASIcs.PPES.2011.1,
author = {Gebhard, Gernot and Cullmann, Christoph and Heckmann, Reinhold},
title = {{Software Structure and WCET Predictability}},
booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded Systems},
pages = {1--10},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-28-6},
ISSN = {2190-6807},
year = {2011},
volume = {18},
editor = {Lucas, Philipp and Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PPES.2011.1},
URN = {urn:nbn:de:0030-drops-30836},
doi = {10.4230/OASIcs.PPES.2011.1},
annote = {Keywords: WCET Predictability, Embedded Software Structure, Coding Guidelines}
}
@InProceedings{schoeberl_et_al:OASIcs.PPES.2011.11,
author = {Schoeberl, Martin and Schleuniger, Pascal and Puffitsch, Wolfgang and Brandner, Florian and Probst, Christian W.},
title = {{Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach}},
booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded Systems},
pages = {11--21},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-28-6},
ISSN = {2190-6807},
year = {2011},
volume = {18},
editor = {Lucas, Philipp and Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PPES.2011.11},
URN = {urn:nbn:de:0030-drops-30774},
doi = {10.4230/OASIcs.PPES.2011.11},
annote = {Keywords: Time-predictable architecture, WCET analysis, WCET-aware compilation}
}
@InProceedings{grund_et_al:OASIcs.PPES.2011.22,
author = {Grund, Daniel and Reineke, Jan and Wilhelm, Reinhard},
title = {{A Template for Predictability Definitions with Supporting Evidence}},
booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded Systems},
pages = {22--31},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-28-6},
ISSN = {2190-6807},
year = {2011},
volume = {18},
editor = {Lucas, Philipp and Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PPES.2011.22},
URN = {urn:nbn:de:0030-drops-30785},
doi = {10.4230/OASIcs.PPES.2011.22},
annote = {Keywords: predictability, uncertainty, precision}
}
@InProceedings{rochange:OASIcs.PPES.2011.32,
author = {Rochange, Christine},
title = {{An Overview of Approaches Towards the Timing Analysability of Parallel Architecture}},
booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded Systems},
pages = {32--41},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-28-6},
ISSN = {2190-6807},
year = {2011},
volume = {18},
editor = {Lucas, Philipp and Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PPES.2011.32},
URN = {urn:nbn:de:0030-drops-30798},
doi = {10.4230/OASIcs.PPES.2011.32},
annote = {Keywords: WCET analysis, multicore, time predictability}
}
@InProceedings{zhang_et_al:OASIcs.PPES.2011.42,
author = {Zhang, Yi and Guan, Nan and Yi, Wang},
title = {{Towards the Implementation and Evaluation of Semi-Partitioned Multi-Core Scheduling}},
booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded Systems},
pages = {42--46},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-28-6},
ISSN = {2190-6807},
year = {2011},
volume = {18},
editor = {Lucas, Philipp and Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PPES.2011.42},
URN = {urn:nbn:de:0030-drops-30804},
doi = {10.4230/OASIcs.PPES.2011.42},
annote = {Keywords: real-time operating system, multi-core, semi-partitioned scheduling}
}
@InProceedings{jordans_et_al:OASIcs.PPES.2011.47,
author = {Jordans, Roel and Siyoum, Firew and Stuijk, Sander and Kumar, Akash and Corporaal, Henk},
title = {{An Automated Flow to Map Throughput Constrained Applications to a MPSoC}},
booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded Systems},
pages = {47--58},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-28-6},
ISSN = {2190-6807},
year = {2011},
volume = {18},
editor = {Lucas, Philipp and Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PPES.2011.47},
URN = {urn:nbn:de:0030-drops-30819},
doi = {10.4230/OASIcs.PPES.2011.47},
annote = {Keywords: design flow automation, multi-processor system-on-chip, throughput constrained, synchronous data-flow graphs}
}
@InProceedings{franca_et_al:OASIcs.PPES.2011.59,
author = {Fran\c{c}a, Ricardo Bedin and Favre-Felix, Denis and Leroy, Xavier and Pantel, Marc and Souyris, Jean},
title = {{Towards Formally Verified Optimizing Compilation in Flight Control Software}},
booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded Systems},
pages = {59--68},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-28-6},
ISSN = {2190-6807},
year = {2011},
volume = {18},
editor = {Lucas, Philipp and Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PPES.2011.59},
URN = {urn:nbn:de:0030-drops-30824},
doi = {10.4230/OASIcs.PPES.2011.59},
annote = {Keywords: Compiler verification, avionics software, WCET, code optimization}
}
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