Lehrende: Prof. Dr.-Ing. Heiko Mantel
Veranstaltungsart: Seminar
Orga-Einheit: FB20 Informatik
Anzeige im Stundenplan: Concur
Fach:
Anrechenbar für:
Semesterwochenstunden: 2
Unterrichtssprache: Englisch
Min. | Max. Teilnehmerzahl: - | -
Lehrinhalte: In diesem Seminar werden Forschungsartikel zu verschiedenen Aspekten von Nebenläufigkeit und Parallelität diskutiert; die Forschungsartikel behandeln beispielsweise: - Semantik der Nebenläufigkeit (Interleaving-Sematik, Multicore-Semantik, Weak Memory Models), - Parallele Architekturen (Grundlagen von parallelen Architekturen, symmetrische Multiprozessorsysteme, Massenparallelrechner), - Parallele Programmierung (parallele Programmierungsmodelle, Kommunikation, Synchronisation), - Parallelisierung und Kompilierung (Voll-/Halbautomatische Parallelisierung, Datenabhängigkeiten, Lastverteilung), - Verifikation von nebenläufigen Programmen (Separation Logic, Rely/Guarantee Reasoning).
Voraussetzungen: Informatikkenntnisse entsprechend der ersten vier Semester des Bachelorstudiengangs Informatik.
