Published in: Dagstuhl Reports, Volume 14, Issue 8 (2025)
Kerstin I. Eder, Timo Hönig, Maja Hanne Kirkeby, Daniel Mosse, Max Plauth, and Jonas Juffinger. Power, Energy, and Carbon-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 24351). In Dagstuhl Reports, Volume 14, Issue 8, pp. 36-52, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@Article{eder_et_al:DagRep.14.8.36,
author = {Eder, Kerstin I. and H\"{o}nig, Timo and Kirkeby, Maja Hanne and Mosse, Daniel and Plauth, Max and Juffinger, Jonas},
title = {{Power, Energy, and Carbon-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 24351)}},
pages = {36--52},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2025},
volume = {14},
number = {8},
editor = {Eder, Kerstin I. and H\"{o}nig, Timo and Kirkeby, Maja Hanne and Mosse, Daniel and Plauth, Max and Juffinger, Jonas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.8.36},
URN = {urn:nbn:de:0030-drops-229958},
doi = {10.4230/DagRep.14.8.36},
annote = {Keywords: Carbon, Energy, Operating Systems, Power, Ressource Efficiency, Systems}
}
Published in: Dagstuhl Reports, Volume 12, Issue 8 (2023)
Kerstin I. Eder, Timo Hönig, Daniel Mosse, Max Plauth, and Maja Hanne Kirkeby. Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 22341). In Dagstuhl Reports, Volume 12, Issue 8, pp. 31-59, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Article{eder_et_al:DagRep.12.8.31,
author = {Eder, Kerstin I. and H\"{o}nig, Timo and Mosse, Daniel and Plauth, Max and Kirkeby, Maja Hanne},
title = {{Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 22341)}},
pages = {31--59},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {8},
editor = {Eder, Kerstin I. and H\"{o}nig, Timo and Mosse, Daniel and Plauth, Max and Kirkeby, Maja Hanne},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.8.31},
URN = {urn:nbn:de:0030-drops-177140},
doi = {10.4230/DagRep.12.8.31},
annote = {Keywords: energy, heterogeneous computing, operating systems, power, systems}
}
Published in: Dagstuhl Reports, Volume 9, Issue 2 (2019)
Rachid Alami, Kerstin I. Eder, Guy Hoffman, and Hadas Kress-Gazit. Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081). In Dagstuhl Reports, Volume 9, Issue 2, pp. 91-110, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{alami_et_al:DagRep.9.2.91,
author = {Alami, Rachid and Eder, Kerstin I. and Hoffman, Guy and Kress-Gazit, Hadas},
title = {{Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)}},
pages = {91--110},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {9},
number = {2},
editor = {Alami, Rachid and Eder, Kerstin I. and Hoffman, Guy and Kress-Gazit, Hadas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.2.91},
URN = {urn:nbn:de:0030-drops-108613},
doi = {10.4230/DagRep.9.2.91},
annote = {Keywords: Formal Methods, Human-Robot Interaction}
}