Karlsruher Institut für Technologie (KIT)
Institut für Programmstrukturen und Datenorganisation (IPD)
Adresse
Am Fasanengarten 5
76131 Karlsruhe
Deutschland
GERiT
Diese Institution in GERiT
76131 Karlsruhe
Projekte
Sachbeihilfen
laufende Projekte
FeCoMASS -- Feature-unterstütze Komposition von Modell-basierten Analysen für Software-intensive Systeme
(Antragsteller
Heinrich, Robert
;
Rumpe, Bernhard
)
abgeschlossene Projekte
Optimierung dynamischer Datenstrukturen bezüglich ihrer Cacheleistung
(Antragsteller
Goos, Gerhard
)
Optimierung von Leistung und Datenorganisation eines Linux-Clusters der 150-Gflops-Klasse im praktischen Einsatz
(Antragsteller
Lippert, Thomas
)
Optimierung von Leistung und Datenorganisation eines Linux-Clusters der 150-Gflops-Klasse im praktischen Einsatz
(Antragsteller
Tichy, Walter
)
Repräsentation, Analysen und Transformationen von Komponentensystemen für Anpassung und Optimierung
(Antragsteller
Goos, Gerhard
)
Verifikation von Übersetzerspezifikationen, -implementierungen und -generierungstechniken
(Antragsteller
Goos, Gerhard
)
Vertrauen ermöglichen durch "Fluid Access Control" auf Daten und physische Ressourcen in Industrie 4.0-Systemen
(Antragsteller
Heinrich, Robert
)
Sonderforschungsbereiche
laufende Projekte
Aufrechterhaltung der Konsistenz zwischen Varianten und Versionen
(Teilprojektleiterinnen / Teilprojektleiter
Aßmann, Uwe
;
Burger, Erik
;
Schaefer, Ina
)
Graduiertenkolleg
(Teilprojektleiterinnen / Teilprojektleiter
Beckert, Bernhard
;
Koziolek, Anne
)
Komplexität von Konsistenz
(Teilprojektleiter
Atkinson, Colin
;
Burger, Erik
;
Ulbrich, Mattias
)
Konsistenz unter Ungewissheit
(Teilprojektleiterinnen
Acosta, Maribel
;
Koziolek, Anne
)
Konsistenz von datendefinierten Modellen
(Teilprojektleiter
Althoff, Matthias
;
Platzer, André
)
Konsistenz von hybriden/kontinuierlichen Modellen
(Teilprojektleiter
Althoff, Matthias
;
Platzer, André
;
Pretschner, Alexander
)
Prozesse für konsistentes CPS-Engineering
(Teilprojektleiterinnen / Teilprojektleiter
Albers, Albert
;
Koziolek, Anne
)
Wiederherstellung nach vorübergehender Inkonsistenz
(Teilprojektleiterinnen / Teilprojektleiter
Koziolek, Anne
;
Ulbrich, Mattias
)
abgeschlossene Projekte
Kooperation in verteilten Objektbanken
(Teilprojektleiter
Hillebrand, Gerd
;
Lockemann, Peter C.
)
Graduiertenkollegs
laufende Projekte
GRK 2153: Energiezustandsdaten - Informatik-Methoden zur Erfassung, Analyse und Nutzung
(Sprecher
Böhm, Klemens
)
Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien
laufende Projekte
Nationale Forschungsdateninfrastruktur für und mit Computer Science
(Sprecher
Goedicke, Michael
)