182.073 Verteilte Algorithmen

2006S, VU, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Diese theoretische Grundlagen-LVA im Magisterstudium bietet eine Einführung in verteilte Algorithmen, insbesondere ihre formal-mathematische Analyse. Neben der generellen Entwicklung formal-mathematischen Fähigkeiten soll die LVA es ihren Absolventen erlauben, * Modelle, Probleme, Algorithmen, Lower-Bounds, Impossibility-Resultate und Korrektheitsbeweise im Bereich Distributed Computing zu verstehen, * existierende Lower-Bounds und Impossibility-Resultate in neuen Situationen anzuwenden, * auf Basis der erlernten Algorithmen und Techniken neue verteilte Algorithmen für spezielle Problemstellungen zu entwickeln und deren Korrektheit zu beweisen, * Beweise für neue Lower-Bounds und Impossibility-Resultate zu finden.

Inhalt der Lehrveranstaltung

Grundlagen: Execution runs, safety and liveness properties, causality and time; Modelle: Message passing vs. shared memory, synchronous vs. asynchronous, failure models; Algorithmen: Leader election, mutual exclusion, clock synchronization, consensus, atomic broadcasting; Beweistechniken: Impossibility proofs, lower bounds, simulation, indistinguishability, bivalence.

Weitere Informationen

Bitte erst nach bestandenem 1.Quiz unter http://www.ecs.tuwien.ac.at/anmeldung/anmeldung.php und im TUWIS (LVA-Forum & News) anmelden!

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Fr.08:15 - 10:0003.03.2006 - 30.06.2006FH Hörsaal 7 - GEO SCHMID
Fr.08:15 - 10:0016.06.2006 SCHMID
Verteilte Algorithmen - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr.03.03.200608:15 - 10:00FH Hörsaal 7 - GEO SCHMID
Fr.10.03.200608:15 - 10:00FH Hörsaal 7 - GEO SCHMID
Fr.17.03.200608:15 - 10:00FH Hörsaal 7 - GEO SCHMID
Fr.24.03.200608:15 - 10:00FH Hörsaal 7 - GEO SCHMID
Fr.31.03.200608:15 - 10:00FH Hörsaal 7 - GEO SCHMID
Fr.07.04.200608:15 - 10:00FH Hörsaal 7 - GEO SCHMID
Fr.14.04.200608:15 - 10:00FH Hörsaal 7 - GEO SCHMID
Fr.21.04.200608:15 - 10:00FH Hörsaal 7 - GEO SCHMID
Fr.28.04.200608:15 - 10:00FH Hörsaal 7 - GEO SCHMID
Fr.05.05.200608:15 - 10:00FH Hörsaal 7 - GEO SCHMID
Fr.12.05.200608:15 - 10:00FH Hörsaal 7 - GEO SCHMID
Fr.19.05.200608:15 - 10:00FH Hörsaal 7 - GEO SCHMID
Fr.26.05.200608:15 - 10:00FH Hörsaal 7 - GEO SCHMID
Fr.02.06.200608:15 - 10:00FH Hörsaal 7 - GEO SCHMID
Fr.09.06.200608:15 - 10:00FH Hörsaal 7 - GEO SCHMID
Fr.16.06.200608:15 - 10:00FH Hörsaal 7 - GEO SCHMID
Fr.16.06.200608:15 - 10:00 SCHMID
Fr.23.06.200608:15 - 10:00FH Hörsaal 7 - GEO SCHMID
Fr.30.06.200608:15 - 10:00FH Hörsaal 7 - GEO SCHMID

Leistungsnachweis

Lösung von Übungsbeispielen + Schriftliche Tests

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlSemesterAnm.Bed.Info
No records found.

Literatur

Textbook: Hagit Attiya, Jennifer Welch. Distributed Computing: Fundamentals, Simulations and Advanced Topics (2nd ed.), John Wiley and Sons, 2004. ISBN 0-471-45324-2

Vorkenntnisse

Vertrautheit mit der Analyse von sequentiellen Algorithmen und elementarer diskreter Mathematik. Hintergrundwissen über verteilte Systeme und fehlertolerante Systeme ist hilfreich, aber nicht unbedingt erforderlich.

Sprache

Deutsch