Seiteninterne Suche

Tobias Schwarzer

Dipl.-Ing. Tobias Schwarzer

Curriculum Vitæ

since 2012 Researcher at the Department of Computer Science 12 (Hardware/Software Co-Design)Friedrich-Alexander University Erlangen-Nürnberg
2006 − 2012 Information and Communication Technology, Friedrich-Alexander University Erlangen-Nürnberg

Research Projects

Teaching

SS 2017
WS 2016/2017
SS 2016
WS 2015/2016
SS 2015
WS 2014/2015
SS 2014
WS 2013/2014
SS 2013

Open Theses

Supervised Theses

  • Beschleunigung SAT-basierter Einbettungen von Constraint-Graphen in Hybriden Entwurfsmethodiken
  • Parametrisierbare Parallelisierung von Aktoren in ActorX10
  • SAT- und SMT-Dekodierung für die Exploration von Constraint-Graphen in Hybriden Entwurfsmethodiken
  • Konzeptionierung der Integration von Hardwarebeschleunigern bei der Generierung von virtuellen Prototypen
  • Suchraumzerlegung bei SAT-basierter Gültigkeitsprüfung in Hybriden Entwurfsmethodiken
  • SAT-basierte Gültigkeitsprüfung für die Einbettung von Constraint-Graphen
  • Automatisierung von Performance-Messungen in Eingebetteten Systemen

Publications

2017

2016

2015

2014

2013

Misc.