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

Detailseite

Institution

Druckansicht

Karlsruher Institut für Technologie (KIT)
Institut für Technische Informatik
CES - Chair for Embedded Systems

Adresse Haid-und-Neu-Straße 7
76131 Karlsruhe
Deutschland

GERiT Diese Institution in GERiT

76131 Karlsruhe

Projekte

Sachbeihilfen
- laufende Projekte
  - ACCROSS: Approximatives Rechnen über die Systemebenen hinweg
    (Antragsteller Amrouch, Ph.D., Hussam ; Henkel, Jörg ; Wunderlich, Hans-Joachim )
  - Design und Optimierung von nichtflüchtigen Einspeicherarchitekturen
    (Antragsteller Chen, Jian-Jia ; Henkel, Jörg )
  - Optimierung neuronaler approximativer Beschleunigerarchitekturen für DNN Inferenz auf leichtgewichtigen FPGAs (NA^3Os)
    (Antragsteller Henkel, Jörg ; Teich, Jürgen )
- abgeschlossene Projekte
  - DodOrg - Digitaler on-demand Rechnerorganismus für Echtzeitsysteme: Plastizität, Dynamik und Stabilität
    (Antragsteller Becker, Jürgen ; Brinkschulte, Uwe ; Henkel, Jörg ; Karl, Wolfgang )
  - Entwicklung einer Methodik zur Formalen Synthese
    (Antragsteller Schmid, Detlef )
  - KArlsruhe's Hypermorphic Reconfigurable-Instruction-Set Multi-grained-Array (Kahrisma) Architecture
    (Antragsteller Becker, Jürgen ; Henkel, Jörg )
  - Verifikation von eingebetteten Systemen
    (Antragsteller Schmid, Detlef )
Schwerpunktprogramme
- laufende Projekte
  - Co-Design von rekonfigurierbaren Architekturen und Echtzeitsystemen für nicht-flüchtige Hauptspeicher (ARTS-NVM)
    (Antragsteller Bauer, Lars ; Chen, Jian-Jia ; Henkel, Jörg )
- abgeschlossene Projekte
  - Digital On-Demand Computing Organism: Stability and Robustness
    (Antragsteller Becker, Jürgen ; Brinkschulte, Uwe ; Henkel, Jörg ; Karl, Wolfgang )
  - Koordinationsfonds
    (Antragsteller Henkel, Jörg )
  - Koordinatoren-Antrag SPP 1500
    (Antragsteller Henkel, Jörg )
  - Leistungs- und Energiebeschränkung im Selbsttest
    (Antragsteller Schmid, Detlef )
  - OTERA-III: Online Test Strategien für zuverlässige rekonfigurierbare Architekturen - von Zuverlässigkeit zu garantierter System Performability: Ein Multi-Layer Ansatz
    (Antragsteller Henkel, Jörg ; Wunderlich, Hans-Joachim )
  - SPP 1500: Entwurf und Architekturen verlässlicher Eingebetteter Systeme
    (Sprecher Henkel, Jörg )
  - Verifikation von eingebetteten Systemen
    (Antragsteller Schmid, Detlef )
  - VirTherm-3D - Formalisierung des Multi-Agent System Managements and Adaptive Modulare Redundanz für verlässliche 3D MPSoCs
    (Antragsteller Henkel, Jörg ; Herkersdorf, Andreas )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Formale Entwurfs- und Verifikationsverfahren
    (Teilprojektleiter Schmid, Detlef )
  - Systemintegration, Sensomotorische Koordination und Handlungsausführung
    (Teilprojektleiter Asfour, Tamim ; Dillmann, Rüdiger ; Henkel, Jörg )
Transregios
- abgeschlossene Projekte
  - Adaptive, anwendungsspezifische, invasive Mikroarchitekturen
    (Teilprojektleiter Bauer, Lars ; Becker, Jürgen ; Henkel, Jörg ; Hübner, Michael )
  - Invasives Laufzeitunterstützungssystem (iRTSS)
    (Teilprojektleiter Bauer, Lars ; Henkel, Jörg ; Hönig, Timo ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang )
  - Leistungseffiziente invasive lose gekoppelte Mehrkern-Prozessoren
    (Teilprojektleiter Henkel, Jörg ; Herkersdorf, Andreas )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 1194: Selbstorganisierende Sensor-Aktor-Netzwerke
    (Sprecher Hanebeck, Uwe D. )

© 2024 DFG Kontakt / Impressum / Datenschutz