F4: Unterschied zwischen den Versionen
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