DISKRETE EREIGNISSIMULATION (LAUFEND)
 | ||
|
Verteilte Java Anwendungen: Kann das gut gehen?
Reflexive und transitive Abschluss eines gerichtetes azyklisches Graphes
Implementierung eines Preflow-Algorithmus für Markovketten
Eine Implementierung mit PEPP
Interactive Simulator for MoDeST (abgeschlossen)
Die richtige Ordnung in "Compositional Aggregation" (laufend)
Präzision von MANET-Simulatoren
Diskrete Ereignissimulation (laufend)
Abbildung von StoCharts nach MoDeST (abgeschlossen)
Energieverbrauch in Ad-Hoc und Sensor-Netzwerken (abgeschlossen)
Axiomatisierung von "Branching Bisimulation" mit Divergenz (abgeschlossen)
Value Passing MoDeST (abgeschlossen)
Automatische Abbildung von MoDeST Spezifikationen auf UPPAAL (abgeschlossen)
Titel der Arbeit
Diskrete Ereignissimulation in C++/Java (laufend)
Inhalt
In dieser Arbeit geht es um die Entwicklung eines 'diskreten Ereignissimulators'. Ziel ist die Erstellung eines Simulators auf C++ Basis mit Java GUI. Neben den programmiertechnischen Anforderungen sollen verschiedene statistische Auswertungsmethoden verglichen und implementiert werden.
Voraussetzungen
Programmierkenntnisse C++/Java.
Status
Laufend
Kontakt