Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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

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

GERiT This institution in GERiT

76131 Karlsruhe

Projects

Research Grants
- Current projects
  - Design and Optimization of Non-Volatile One-Memory Architecture (NVM-OMA)
    (Applicants Chen, Jian-Jia ; Henkel, Jörg )
  - Neural Approximate Accelerator Architecture Optimization for DNN Inference on Lightweight FPGAs (NA^3Os)
    (Applicants Henkel, Jörg ; Teich, Jürgen )
- Completed projects
  - ACCROSS: Approximate Computing aCROs the System Stack
    (Applicants Amrouch, Ph.D., Hussam ; Henkel, Jörg ; Wunderlich, Hans-Joachim )
  - DodOrg - Digitaler on-demand Rechnerorganismus für Echtzeitsysteme: Plastizität, Dynamik und Stabilität
    (Applicants Becker, Jürgen ; Brinkschulte, Uwe ; Henkel, Jörg ; Karl, Wolfgang )
  - Entwicklung einer Methodik zur Formalen Synthese
    (Applicant Schmid, Detlef )
  - KArlsruhe's Hypermorphic Reconfigurable-Instruction-Set Multi-grained-Array (Kahrisma) Architecture
    (Applicants Becker, Jürgen ; Henkel, Jörg )
  - Verifikation von eingebetteten Systemen
    (Applicant Schmid, Detlef )
Priority Programmes
- Current projects
  - Reconfigurable Architectures and Real-Time Systems Co-Design for Non-Volatile Main Memory (ARTS-NVM)
    (Applicants Chen, Jian-Jia ; Henkel, Jörg )
- Completed projects
  - Coordination Funds
    (Applicant Henkel, Jörg )
  - Digital On-Demand Computing Organism: Stability and Robustness
    (Applicants Becker, Jürgen ; Brinkschulte, Uwe ; Henkel, Jörg ; Karl, Wolfgang )
  - Koordinatoren-Antrag SPP 1500
    (Applicant Henkel, Jörg )
  - Leistungs- und Energiebeschränkung im Selbsttest
    (Applicant Schmid, Detlef )
  - OTERA-III: Online Test Strategies for Reliable Reconfigurable Architectures - From Reliability to Guaranteed System Performability: A Multi-Layer Approach
    (Applicants Henkel, Jörg ; Wunderlich, Hans-Joachim )
  - SPP 1500: Design and Architectures of Dependable Embedded Systems
    (Spokesperson Henkel, Jörg )
  - Verifikation von eingebetteten Systemen
    (Applicant Schmid, Detlef )
  - VirTherm-3D - Formalization of Multi-Agent System Management and Adaptive Modular Redundancy for Dependable 3D MPSoCs
    (Applicants Henkel, Jörg ; Herkersdorf, Andreas )
Collaborative Research Centres
- Completed projects
  - Formale Entwurfs- und Verifikationsverfahren
    (Project Head Schmid, Detlef )
  - System Integration, Sensorimotor Coordination and Task Execution
    (Project Heads Asfour, Tamim ; Dillmann, Rüdiger ; Henkel, Jörg )
CRC/Transregios
- Completed projects
  - Adaptive Application-Specific Invasive Micro-Architectures
    (Project Heads Bauer, Lars ; Becker, Jürgen ; Henkel, Jörg ; Hübner, Michael )
  - Invasive Run-Time Support System (iRTSS)
    (Project Heads Bauer, Lars ; Henkel, Jörg ; Hönig, Timo ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang )
  - Power-Efficient Invasive Loosely-Coupled MPSoCs
    (Project Heads Henkel, Jörg ; Herkersdorf, Andreas )
Research Training Groups
- Completed projects
  - GRK 1194: Self-organising Sensor-Actuator-Networks
    (Spokesperson Hanebeck, Uwe D. )

© 2024 DFG Disclaimer / Copyright / Privacy Policy