Projekte

Zeige Ergebnisse 1 bis 4 von 4.

ExaVerse – Extension Verification Environment

Das Design moderner Chiparchitekturen tendiert zunehmend zu heterogenen Strukturen, bei denen spezialisierte Berechnungen von optimierten ...
KI4KL – KI für Kommunale Leistungen

In Antwort auf die Ausschreibung Nr. 10/4.1-2023-0335 der Stadt Gelsenkirchen hat die Westfälische Hochschule ein Angebot „für den Aufbau und Betrieb ...
KI4ETA – Künstliche Intelligenz für Energietechnologien und Anwendungen in der Produktion

Das Projekt KI4ETA strebt durch gezielten Einsatz von KI, energetische Effizienzmaßnahmen und Betriebsoptimierungen in der Produktion an. Um dieses ...
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 ...