F4: Unterschied zwischen den Versionen

Aus Fachschaft_Informatik
Zur Navigation springen Zur Suche springen
K (1 Versionen)
(+kat)
Zeile 9: Zeile 9:
* Parallele Algorithmen: synchrone parallele Algorithmen, Zeit- und Prozessor-Komplexität  
* Parallele Algorithmen: synchrone parallele Algorithmen, Zeit- und Prozessor-Komplexität  
* Verteilte Algorithmen: Grundannahmen und Darstellungsformen, wichtige Problemklassen, Auswahlalgorithmen, verteilter wechselseitiger Ausschluss
* Verteilte Algorithmen: Grundannahmen und Darstellungsformen, wichtige Problemklassen, Auswahlalgorithmen, verteilter wechselseitiger Ausschluss
[[Kategorie: Grundstudium]]
[[Kategorie: Lehrveranstaltung]]

Version vom 2. Dezember 2007, 16:17 Uhr

Parallelität und Nebenläufigkeit (F4) war eine Veranstaltung im Diplomstudiengang. Sie wurde zuletzt im Sommersemester 2006 abgehalten.

gelesen von entweder Rüdiger Valk oder Matthias Jantzen im Sommersemester.

Inhalt (aus KVV):

  • Einfache formale Modelle (zustandsorientiert: Transitionssysteme, programmsprachlich: die prozessorientierte Sprache P, graphisch: Petrinetze) sowie relevante Begriffe und Erscheinungen (z.B.: Zustand, Aktion, Erreichbarkeit, Semantiken der Nebenläufigkeit, Verklemmungsfreiheit, Lebendigkeit und Fairness, Prinzipien der Spezifikation, Invarianten)
  • Nichtsequentielle Programme: Modellierung, Synchronisations- und Kommunikationsprinzipien, Speicher- und Rendezvous-Synchronisation, klassische Fallbeispiele, Funktionalität, Modellierung von realen Prozessen in Organisationen (workflow)
  • Parallele Algorithmen: synchrone parallele Algorithmen, Zeit- und Prozessor-Komplexität
  • Verteilte Algorithmen: Grundannahmen und Darstellungsformen, wichtige Problemklassen, Auswahlalgorithmen, verteilter wechselseitiger Ausschluss