Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Cyber-Physical Systems (CPS)

Adresse Bibliothekstraße 5
28359 Bremen
Deutschland

GERiT Diese Institution in GERiT

28359 Bremen

Projekte

Sachbeihilfen
- laufende Projekte
  - Freischaltung analoger Funktionen und volle Parallelität für die HDL-basierte Synthese von PLiM
    (Antragstellerinnen / Antragsteller Drechsler, Rolf ; Shirinzadeh, Saeideh )
- abgeschlossene Projekte
  - Abstraktion und Wiederverwendung von formalen Programmentwicklungen
    (Antragsteller Lüth, Christoph )
  - Ein monadenbasierter Programmlogikbaukasten für generische und heterogene Seiteneffekte (PLB).
    (Antragsteller Lüth, Christoph )
Schwerpunktprogramme
- laufende Projekte
  - EMBOSOM - Sicherheit eingebetteter Software durch moderne emergente Hardware-Paradigmen.
    (Antragsteller Drechsler, Rolf ; Güneysu, Tim Erhan ; Lüth, Christoph ; Sasdrich, Pascal )
Sonderforschungsbereiche
- laufende Projekte
  - SFB 1320: Wissenschaft der Alltagsaktivitäten – Analytische und generative Modellierung
    (Sprecher Beetz, Ph.D., Michael )

© 2024 DFG Kontakt / Impressum / Datenschutz