...
Partha S. Roop, Hammond A. Pearce, Keyan Monadjem, Synchronous neural networks for cyber-physical systems, 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden, Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach, Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018
Claire Pagetti, Julien Forget, Heiko Falk, Dominic Oehlert, and Arno Luppold. 2018. Automated generation of time-predictable executables on multicore. In Proceedings of the 26th International Conference on Real-Time Networks and Systems (RTNS '18)
...
Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars stattfinden. Die Teilnahme an beiden Seminartagen am Seminartag ist Pflicht.
| Zeit | Tagesordnungspunkt | |
|---|---|---|
| tba | tba |
...
Die Ausarbeitung soll eine Übersicht über das behandelte Themengebiet darstellen. Sie sollte so verfasst sein, dass sie von einer fortgeschrittenen Bachelor-Informatik-Person gut verstanden werden kann. Die Ausarbeitung soll 6 (Master) bzw. 4 (Bachelor) Seiten umfassen, nicht mehr und nicht weniger, und den ACM LaTeX-Style verwenden (dazu mehr Details weiter unten). Generell empfehlenswert ist ein Blick in die Hinweise für die Anfertigung einer Abschlussarbeit.
Vortrag
Der Vortrag soll 35-40 Minuten (Master) bzw. 20-25 Minuten (Bachelor) lang sein, woran sich 5 Minuten Zeit für Fragen anschließen. Zu dem Vortrag sollen Folien erstellt werden. Die Vortragsfolien sollten Seitennummern enthalten. Sollte das Thema auch eine konkrete Implementierung behandeln, ist eine entsprechende kurze Tool-Demo im Rahmen des Vortrages großartig. Die Arbeitsgruppe bietet jeder vortragenden Person an, eine Videoaufnahme des Vortrags zu erstellen und zur Verfügung zu stellen.
...
- Generelle Anmerkungen (was gefällt Ihnen / gefällt Ihnen nicht zu Inhalt, Gliederung und Lesbarkeit) sowie generelle Verbesserungsvorschläge
- Detailliertere Korrekturen
Vom Umfang sollte das Review (1. Teil) mindestens einer halben A4 Seite entsprechen.
Die Zuordnung von Papern zu Reviewenden geschieht kurzfristig nach dem Abgabetermin für die Review-Versionen der Ausarbeitungen, basierend auf den dann abgegebenen Ausarbeitungen.
...