Parallele Funktionale Programmierung
12 113 11553 Parallele funktionale Programmierung
Prof. Dr. R. Loogen
Dienstags, 12.15 - 13.45 Uhr, HS IV (Raum 04A30, Lahnberge)
Mittwochs, 16.15 - 17.45 Uhr, HS IV (Raum 04A30, Lahnberge)
Beginn: 14. April 2015
Achtung: Die Vorlesung am Mittwoch, dem 29. April beginnt um 17.00 Uhr.
Übungen Lukas Schiller
Donnerstags, 12.15 - 14.00 Uhr, SR XV (Raum 04C37, Lahnberge)
Beginn: 23. April 2015
Fachgebiet Klassifikation Semester Leistungspunkte (ECTS) Skript
Informatik Vertiefungsmodul, Theoretische Informatik >=3 9 teilweise

Voraussetzungen: Grundkenntnisse in funktionaler Programmierung
Querverbindungen: -
Kriterien für die Leistungspunktevergabe:
  1. aktive Teilnahme an den Übungen
  2. erfolgreiche Bearbeitung von mindestens 50 % der Übungsaufgaben, Abgabe in Zweiergruppen ist erlaubt.
  3. Vorbereitung und mündliche Präsentation von mindestens zwei Übungsaufgaben
  4. Bestehen der Abschlussprüfung (mündliche Prüfung)
Termine:
  • Prüfungsanmeldung: Eine Anmeldung zur Abschlussprüfung ist bis zum 19. Juni 2015 möglich.
  • Prüfungen: Juli 2015
Unterlagen zur Vorlesung Übungsblätter, Folien und weitere Unterlagen werden über das ILIAS-System bereitgestellt.

Inhalt:
  1. Grundbegriffe und Klassifikation paralleler funktionaler Sprachen
  2. Charakteristika und Eigenschaften funktionaler Sprachen
  3. Die Kernsprache Mini-Haskell
  4. Striktheitsanalyse
  5. Kontrollierte Parallelität: Kombinatoren par/pseq, Strategien, Threaded RTS
  6. Prozesskontrollsprachen: Eden, Par-Monade
  7. Nebenläufigkeit: Concurrent Haskell
  8. Explizite Parallelität: Haskell_MPI
  9. Datenparallelität: Repa
  10. Haskell und Cuda: Die Accelerate Bibliothek
  11. Verteilte Programmierung in Haskell: Cloud Haskell und HdpH

Zuletzt geändert: Tuesday, 28-Apr-2015 22:26:26 CEST