Anlässlich der bevorstehenden RoboCup German Open lädt B-Human – das gemeinsame Team der Universität Bremen und des Deutschen Forschungszentrums …
Computer systems need to be checked for correctness prior to market launch. However, because of time constraints and the complexity of today's ...
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 …