50 years Univerity of Lübeck

Institute for Theoretical Computer Science

SS 2007 – Theorie paralleler und verteilter Systeme


Type and Content

Title: Theorie paralleler und verteilter Systeme
Host: Tantau
Classification: Diplom: 6. Semester, Pflicht
Conentent:

Die Vorlesung wird sich im ersten Teil mit dem Entwurf und der Analyse von synchronen parallelen Algorithmen beschäftigen. Dabei untersuchen wir grundlegende arithmetische Operationen, fundamentale Graphalgorithmen und paralleles Sortieren.

Wir behandeln die Beschleunigung und Effizienz der vorgestellten Algorithmen. Darüber hinaus führen wir Modelle für paralleles Rechnen ein und untersuchen die grundlegenden parallelen Komplexitätsklassen.

Im zweiten Teil der Vorlesung studieren wir asynchrone bzw. verteilte Berechnungen. Wir exemplifizieren die grundlegend neuen Fragenstellungen (neu in Bezug auf den synchronen Fall) und stellen mathematische Modelle zur Beschreibung von verteilten Systemen vor.

Abschliessend studieren wir temporale Logiken für konkurrente Systeme.

Es wird von Woche zu Woche ein Übungsblatt geben, das dann in der Übung besprochen wird. Die Bearbeitung der Aufgaben ist zum Scheinerwerb obligatorisch. Am Semesterende wird eine Rücksprache über die Aufgaben stattfinden.

Literature:
  • J. JaJa: An Introduction to Parallel Algorithms. Addison-Wesley, 1992.
  • N. Lynch: Distributed Algorithms. Morgan Kaufmann 1996
  • Z. Manna and A. Pnueli: The Temporal Logic of Reactive and Concurrent Systems. Springer 1992
  • W. Reisig: Elements of Distributed Algorithms : Modeling and Analysis with Petri Nets. Springer 1998
Wiki: Der zentrale Anlaufpunkt für alle Informationen rund um die Veranstaltung, inklusive der Skripte, Übungsblätter und Diskussionen ist das Veranstaltungs-Wiki. Es ist unter http://www.tcs.uni-luebeck.de/Lehre/2007-SS/PVS/ zu finden.

Lecture

Host: Tantau
Hours: 4 SWS
Dates: Di, 14.00h – 16.00h, V2 und Fr, 08.30h – 10.00h, R3

Exercise

Host: Tantau
Hours: 2 SWS
Dates: Mo. 12.00h – 14.00h, ITCS-Seminarraum 21, 2. OG. und Seminarraum Informatik 2 und 3*, Geb. 64