Projekte

Zeige Ergebnisse 1 bis 3 von 3

Das Projekt möchte einen persönlichen virtuellen Assistenten schaffen, der sowohl psychologisch wie sozial die Migranten und öffentlichen Dienste ...

VerSys – Eine konsistente Verifikationsplattform zur frühen Softwareentwicklung für RISC-V-basierte Systeme

Ziel des Projektes VerSys ist die Entwicklung einer konsistenten Entwicklungsplattform für die frühzeitige Software-Entwicklung auf Basis der ...

HorME – Horizontally scalable, Multipurpose execution Environment

In HorME wird ein abstraktes Programmiermodell erstellt, das von einer entsprechenden Ausführungsumgebung unterstützt wird. Dadurch können komplexe ...

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence