Skip to main content Skip to main navigation

Projekte

Zeige Ergebnisse 1 bis 3 von 3.
  1. ExaVerse – Extension Verification Environment

    ExaVerse – Extension Verification Environment

    Das Design moderner Chiparchitekturen tendiert zunehmend zu heterogenen Strukturen, bei denen spezialisierte Berechnungen von optimierten ...

  2. RESI-TSN – Resiliente intelligente TSN-Netzwerke

    RESI-TSN – Resiliente intelligente TSN-Netzwerke

    Als eine Reihe von neuen Ethernet-Unterprotokollen zur Behandlung von Echtzeitanforderung, ermöglicht es Time Sensitive Networking (TSN) sowohl ...

  3. VerSys – Eine konsistente Verifikationsplattform  zur frühen Softwareentwicklung für RISC-V-basierte Systeme

    VerSys – Eine konsistente Verifikationsplattform zur frühen Softwareentwicklung für RISC-V-basierte Systeme

    Ziel des Projektes VerSys ist die Entwicklung einer konsistenten Entwicklungsplattform für die frühzeitige Software-Entwicklung auf Basis der ...