Seminar Parallele und verteilte Algorithmen

SE 12077

Seminar Parallele und verteilte Algorithmen

Prof. Dr. R. Loogen, Prof. Dr. H.P. Gumm, Dipl. Inform. Jost Berthold

Vorbesprechung mit Themenvergabe: Do, 25. Oktober 2007, 13.30 - 14.00 Uhr, SR VII, Ebene D5, Lahnberge

Beginn: 25. Oktober 2007

Fachgebiet	Klassifikation	Semester	Fortsetzung	Skript
Theoretische Informatik	Hauptstudium	>=5	-	nein

Voraussetzungen: Praktische Informatik I und II, Grundkenntnisse in Parallelen Algorithmen

Lernziele:

Vertiefung von Kenntnissen in den Bereichen Parallele und Verteilte Algorithmen

Erwerb von Fähigkeiten und Techniken des wissenschaftlichen Arbeitens;

Erwerb von Fähigkeiten und Fertigkeiten beim Lesen und Reproduzieren/Zusammenfassen wissenschaftlicher Texte;

Ausbau von Fähigkeiten der mündlichen Präsentation wissenschaftlicher Abhandlungen in Form eines Vortrags und durch die aktive Teilnahme an der Diskussion zu anderen Vorträgen

Scheinkriterien: schriftliche Ausarbeitung und Vortrag eines ausgewählten Themas, regelmäßige Teilnahme am Seminar
Merkblatt zur Ausarbeitung und zum Vortrag (pdf, ps)

Themen:

Verteilte Algorithmen

Netzwerksynchronisation

Tel, G. (1988). Optimal Synchronization of ABD Networks. RUU-CS (Ext. rep. 88-23). Utrecht.
G. Tel: Topics in Distributed Algorithms, Chapter 2: Synchronisation of ABD Networks, Cambridge University Press 2000.

Programmverifikation mit Invarianten

Tel, G. (1987). Assertional verification of a timer-based protocol. RUU-CS (Ext. rep. 87-15). Utrecht
Schoone, A.A., & Tel, G. (1988). Assertional verification of a termination detection algorithm. RUU-CS (Ext. rep. 88-06). Utrecht.
G. Tel: Topics in Distributed Algorithms, Chapter 3: Assertional Verification, Cambridge University Press 2000.

Totale Algorithmen als Bausteine verteilter Algorithmen
Tel, G. (1988). Total algorithms. RUU-CS (Ext. rep. 88-16). Utrecht.
Tel, G. (1986). Distributed infimum approximation. RUU-CS (Ext. rep. 86-12). Utrecht.
G. Tel: Topics in Distributed Algorithms, Chapter 4: Distributed Infimum Approximation, Cambridge University Press 2000.

Verteilte Terminationserkennung

F. Mattern: Algorithms for distributed termination detection, Distributed Computing (1987) 2:161–175, Springer-Verlag 1987.
Godard, E., Métivier, Y., & Tel, G. (2006). Termination Detection of Distributed Tasks. Bordeaux: Laboratoire Bordelais de Recherche en Informatique.

Verteilte Garbage Collection
Randomisierte verteilte Algorithmen

Parallele Algorithmen

Parallele Suche
Parallele SAT-Solver
Paralleles FFT

Zuletzt geändert: Wednesday, 24-Oct-2007 18:36:28 CEST

Voraussetzungen:	Praktische Informatik I und II, Grundkenntnisse in Parallelen Algorithmen
Lernziele:	Vertiefung von Kenntnissen in den Bereichen Parallele und Verteilte Algorithmen Erwerb von Fähigkeiten und Techniken des wissenschaftlichen Arbeitens; Erwerb von Fähigkeiten und Fertigkeiten beim Lesen und Reproduzieren/Zusammenfassen wissenschaftlicher Texte; Ausbau von Fähigkeiten der mündlichen Präsentation wissenschaftlicher Abhandlungen in Form eines Vortrags und durch die aktive Teilnahme an der Diskussion zu anderen Vorträgen
Scheinkriterien:	schriftliche Ausarbeitung und Vortrag eines ausgewählten Themas, regelmäßige Teilnahme am Seminar Merkblatt zur Ausarbeitung und zum Vortrag (pdf, ps)
Themen:	Verteilte Algorithmen Netzwerksynchronisation Tel, G. (1988). Optimal Synchronization of ABD Networks. RUU-CS (Ext. rep. 88-23). Utrecht. G. Tel: Topics in Distributed Algorithms, Chapter 2: Synchronisation of ABD Networks, Cambridge University Press 2000. Programmverifikation mit Invarianten Tel, G. (1987). Assertional verification of a timer-based protocol. RUU-CS (Ext. rep. 87-15). Utrecht Schoone, A.A., & Tel, G. (1988). Assertional verification of a termination detection algorithm. RUU-CS (Ext. rep. 88-06). Utrecht. G. Tel: Topics in Distributed Algorithms, Chapter 3: Assertional Verification, Cambridge University Press 2000. Totale Algorithmen als Bausteine verteilter Algorithmen Tel, G. (1988). Total algorithms. RUU-CS (Ext. rep. 88-16). Utrecht. Tel, G. (1986). Distributed infimum approximation. RUU-CS (Ext. rep. 86-12). Utrecht. G. Tel: Topics in Distributed Algorithms, Chapter 4: Distributed Infimum Approximation, Cambridge University Press 2000. Verteilte Terminationserkennung F. Mattern: Algorithms for distributed termination detection, Distributed Computing (1987) 2:161–175, Springer-Verlag 1987. Godard, E., Métivier, Y., & Tel, G. (2006). Termination Detection of Distributed Tasks. Bordeaux: Laboratoire Bordelais de Recherche en Informatique. Verteilte Garbage Collection Randomisierte verteilte Algorithmen Parallele Algorithmen Parallele Suche Parallele SAT-Solver Paralleles FFT