07.10.2013 |
Benjamin Kramer |
Bachelor-Arbeit |
AspectC++ on top of clang (Abschluss) |
Karl Stelzner |
Bachelor-Arbeit |
AspectVHDL: Entwurf und Implementierung eines Aspektwebers für VHDL (Abschluss) |
14.10.2013 |
Sascha Threbank |
Bachelor-Arbeit |
Agentenbasierte Rekonfiguration von Last und Erzeugung für elektrische Übertragungsnetze (Abschluss) |
Doktoranden |
Forschung |
Team Briefing |
21.10.2013 |
Marc Spohr |
Diplomarbeit |
Ein Simulations-Framework für SLA-basierte föderierte Cloud-Umgebungen (Einführung) |
28.10.2013 (LS12 Bib.) |
Doktoranden |
Forschung |
Team Briefing |
04.11.2013 |
|
|
Termin entfällt wegen SOSP |
02.12.2013 |
Doktoranden |
Forschung |
Team Briefing |
09.12.2013 |
Konstantin Tkachuk |
Bachelor-Arbeit |
Automatische Konfliktresolution für Szenarien in einer Smart-Home-Applikation - Evaluation theoretischer Ansätze und prototypische Implementierung auf Basis von Qivicon (Abschluss) |
06.01.2014 |
Robert Höttger |
Forschung |
Partitionierung und Vector-Clock-Tracing innerhalb der open-source Entwicklungsumgebung Amalthea |
13.01.2014 |
Doktoranden |
Forschung |
Team Briefing |
20.01.2013 |
Jochen Streicher |
Forschung |
Stromsparen im Smartphone -- Ansätze und aktuelle Arbeiten |
Christoph Borchert |
Forschung |
Korrektheitsbeweis nebenläufiger Algorithmen mit SPIN |
27.01.2014 |
Lars Rademacher |
Master-Arbeit |
FailPanda: Fehlerinjektionsexperimente auf einer eingebetteten ARM-Plattform (Abschluss) |
03.02.2014 |
Ansgar-Philip Szameitat |
Bachelor-Arbeit |
Entwicklung einer JTAG-Schnittstelle für den MB-Lite+ (Einführung) |
Doktoranden |
Forschung |
Team Briefing |
10.02.2014 |
|
|
Termin entfällt |
17.02.2014 |
Tony Demann |
Master-Arbeit |
Fiasco+FT-Aspekte (Einführung) |
Doktoranden |
Forschung |
Team Briefing |
24.02.2014 14:00 |
Matthias Meier |
ARCS-Probevortrag |
Hardware APIs: A Software-Centric Approach for Automated Derivation of MPSoC Hardware Structures Based on Static Code Analysis |
24.03.2014 |
Alexander Lochmann |
Master-Arbeit |
Ebenenübergreifende Bereitstellung von Systemsoftwaredaten (Einführung) |