Detailseite
Projekt
Massive Randomisierung und Zertifizierung
Antragsteller
Professor Dr.-Ing. Ulrich Meyer
Fachliche Zuordnung
Theoretische Informatik
Förderung
Förderung seit 2020
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 411362735
Die Hauptziele dieses Teilprojekts sind zweigeteilt. Das erste Ziel ist es, die anderen Teilprojekte der Forschungsgruppe ADYN mit einem Algorithm-Engineering Ansatz zu unterstützen, indem die Analyseergebnisse zu Algorithmen und Dynamik ergänzt und erweitert werden. Basierend auf erfolgreichen Kooperationen in der ersten Phase planen wir zum Beispiel nichttriviale Erweiterungen unseres hochperformanten Simulators für Populationsprotokolle. Ebenfalls werden wir Modelle und Generatoren für temporale Graphen erforschen, um dadurch idealerweise „realistische“ und/oder analytisch nachvollziehbare dynamische Netzmodelle zu erhalten. Darüber hinaus ist es unser Ziel, den Stand der Technik in theoretischen und praktischen Graphenalgorithmen und Datenstrukturen für massive Datensätze voranzutreiben, wobei der Schwerpunkt auf Pfadproblemen in statischen und dynamischen Zufallsgraphen liegen wird. Die zugrundeliegenden Berechnungsmodelle umfassen dabei sowohl klassische Szenarien (sequentiell, parallel, Speicherhierarchien) als auch neuere Modelle, wie die z.B. die Processing-in-Memory (PIM) Architektur. Wie schon in der ersten Phase begonnen, werden wir diese Fragestellungen durch die Untersuchung der Existenz kompakter und leicht verständlicher „Zertifikate“ für die korrekte Ausführung ergänzen, insbesondere im Kontext dynamischer Graphalgorithmen.
DFG-Verfahren
Forschungsgruppen
