DROPS

Document

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.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.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}
}

Search Results

Documents authored by Eder, Kerstin I.

Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 22341)

Abstract

Cite as

Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)

Abstract

Cite as

Thanks for your feedback!

Could not send message