Projekte

Zeige Ergebnisse 1 bis 10 von 20

Im Zentrum des Projekts „Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren (HEP)“ stehen ...

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

KI-STAGING – Intelligente Verfahren zur Analyse von Artikelbeschreibungen

Im Projekt KI-Staging entwickeln der DFKI-Forschungsbereich Cyber-Physical Systems und die ePhilos AG intelligente Verfahren zur Analyse von ...

SELFIE – Selbstverifikation von Elektronischen Systemen

Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel ...

Das Projekt MANIAC zielt auf die Optimierung von Algorithmen für Approximate Computing auf Basis von Binären Entscheidungsdiagrammen. Approximate ...

Ziel des Projekts ist die Entwicklung und Umsetzung geeigneter Sicherheitspolitiken, die es erlauben, inkrementell Softwarepakete in bestehende ...

Das Projekt MORES2 zielt auf die Entwicklung geeigneter Verfeinerungstechniken für Workflow-Spezifikationen. Dabei müssen zum einen die verschiedenen ...

eProcurementsysteme erlauben eine effiziente sowie finanziell und personell kostengünstige Abwicklung von Beschaffungsvorgängen in Unternehmen. ...

Ziel des Projektes SPECifIC ist ein neuartiger Entwurfsablauf samt Werkzeugunterstützung für eingebettete und cyber-physische Systeme, der den extrem ...

Im Rahmen des Kooperationsprojektes sollen Verfahren entwickelt werden, welche eine (semi)automatische Formalisierung von natürlich-sprachlichen ...

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