2 Search Results for "Eder, Kerstin I."

Document
DOI: 10.4230/DagRep.12.8.31
Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 22341)

Authors: Kerstin I. Eder, Timo Hönig, Daniel Mosse, Max Plauth, and Maja Hanne Kirkeby

Published in: Dagstuhl Reports, Volume 12, Issue 8 (2023)

Abstract
This report documents the program and outcomes of the Dagstuhl Seminar 22341 - Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES). The seminar was held on Aug 21 – Aug 26, 2022, and brought together 35 international experts from different domains across the entire system stack – from system designers to programmers and operators. We present the abstracts of 18 talks and 5 summaries of discussions and active sessions on the principal topic areas: Energy Transparency from Hardware to Software, Energy Optimisation and Management, Computing for Sustainability, Green Computing Hackathon, and Disruptive Paradigms.
Cite as

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)

Copy BibTex To Clipboard

@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-dev.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}
}
Document
DOI: 10.4230/DagRep.9.2.91
Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)

Authors: Rachid Alami, Kerstin I. Eder, Guy Hoffman, and Hadas Kress-Gazit

Published in: Dagstuhl Reports, Volume 9, Issue 2 (2019)

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 19081 "Verification and Synthesis of Human-Robot Interaction". This seminar brought together researchers from two distinct communities - Formal Methods for Robotics, and Human-Robot Interaction - to discuss the path towards creating safe and verifiable autonomous systems that are compatible with humans.
Cite as

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)

Copy BibTex To Clipboard

@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-dev.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}
}
  • Refine by Author
  • 2 Eder, Kerstin I.
  • 1 Alami, Rachid
  • 1 Hoffman, Guy
  • 1 Hönig, Timo
  • 1 Kirkeby, Maja Hanne
  • Show More...

  • Refine by Classification
  • 1 Computer systems organization → Heterogeneous (hybrid) systems
  • 1 General and reference → Design
  • 1 General and reference → Evaluation
  • 1 General and reference → Measurement
  • 1 General and reference → Metrics
  • Show More...

  • Refine by Keyword
  • 1 Formal Methods
  • 1 Human-Robot Interaction
  • 1 energy
  • 1 heterogeneous computing
  • 1 operating systems
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2019
  • 1 2023

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact