Website
Modulhandbuch vor WS 2014/15

Modul CS4019

Theorie verteilter Systeme (vor 2014) (TVertSys)

Dauer:


1 Semester
Angebotsturnus:


Wird nicht mehr angeboten
Leistungspunkte:


4
Studiengang, Fachgebiet und Fachsemester:
  • Master Informatik 2012 (Wahlpflicht), Vertiefungsblock Verteilte Informationssysteme, 2. oder 3. Fachsemester
Lehrveranstaltungen:
  • Theorie verteilter Systeme (Vorlesung mit Übungen, 3 SWS)
Workload:
  • 65 Stunden Selbststudium und Aufgabenbearbeitung
  • 10 Stunden Prüfungsvorbereitung
  • 45 Stunden Präsenzstudium
Lehrinhalte:
  • Modellparameter verteilter Systeme
  • Analyse von Algorithmen für Leader-Election
  • Untere Schranken für Leader-Election
  • Analyse von Algorithmen für Konsensusprobleme
  • Unmöglichkeitsresultate für Konsensus
  • Wave-Algorithmen
  • Petrinetz und graphentheoretische oder linear-algebraische Darstellung
  • Analyseverfahren für Petrinetze
  • Temporallogik
Qualifikationsziele/Kompetenzen:
  • Verteilten Systeme modellieren und spezifizieren können
  • Verteilte Algorithmen kennen, erstellen und analysieren können
  • Grenzen der Möglichkeiten verteilter Systeme kennen
Vergabe von Leistungspunkten und Benotung durch:
  • Mündliche Prüfung
Setzt voraus:
Modulverantwortlicher:
Lehrende:
Literatur:
  • H. Attiya, J. Welch: Distributed Computing - Wiley, 2004
  • Tel: Introduction to Distributed Algorithms - Cambridge University Press, 1994
  • N. Lynch: Distributed Algorithms - Morgan Kaufmann, 1996
  • W. Reisig: Elements of Distributed Algorithms - Springer, 1998
Sprache:
  • Englisch, außer bei nur deutschsprachigen Teilnehmern
Letzte Änderung:
17.7.2019

Modulhandbuch online

Zur Liste aller Module

Modulhandbuch als PDF

Modulhandbuch Master Informatik