Vor Markteinführung müssen Computersysteme auf ihre Korrektheit überprüft werden. Eine vollständige Verifikation ist aufgrund der Komplexität …
Gestern Abend, 5. Dezember 2018, bekamen Prof. Dr. Rolf Drechsler, Leiter des Forschungsbereichs Cyber-Physical Systems am Deutschen …
Moderne See- und Binnenhäfen werden zunehmend durch IT-Systeme gesteuert. Der reibungslose Informationsaustausch zwischen den Hafenakteuren ist …
Arithmetische Schaltkreise wie Multiplizierer kommen heute in jedem Prozessor vor. Sind sie fehlerhaft, verursacht dies hohe Kosten. Wie sich die ...
Elektronische Systeme werden immer komplexer und bestehen meist aus digitalen und analogen Komponenten. Der Aufwand für die Verifikation solcher ...
Das Deutsche Forschungszentrum für Künstliche Intelligenz (DFKI) und die Upper Austrian Research (UAR), in ihrer Rolle als Leitgesellschaft für ...
Gefördert vom Land Bremen entwickelten der Forschungsbereich Cyber-Physical Systems des Deutschen Forschungszentrums für Künstliche Intelligenz …
In einer feierlichen Zeremonie ist Prof. Dr. Rolf Drechsler, Leiter der Arbeitsgruppe Rechnerarchitektur an der Universität Bremen und Leiter des ...
Auf dem neuen CEBIT Business Festival für Innovation und Digitalisierung präsentiert das DFKI vom 12. bis 15. Juni 2018 „Künstliche Intelligenz …
Eine zentrale Herausforderung des autonomen Fahrens ist die Gewährleistung der Sicherheit. Dies betrifft sowohl den Schutz des Menschen vor dem ...