F4: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
K (1 Versionen) |
K (Bot: Kosmetische Änderungen) |
||
| (Eine dazwischenliegende Version von einem anderen Benutzer wird nicht angezeigt) | |||
| 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]] | |||
Aktuelle Version vom 8. Juni 2012, 16:20 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