Skip to main content Skip to main navigation

Projekte

Zeige Ergebnisse 1 bis 3 von 3
  1. REXASI-PRO – Zuverlässige & Erklärbare Schwarmintelligenz zur Unterstützung für Menschen mit eingeschränkter Mobilität

    REXASI-PRO – Zuverlässige & Erklärbare Schwarmintelligenz zur Unterstützung für Menschen mit eingeschränkter Mobilität

    Künstliche Intelligenz (KI) wird in vielen Bereichen weit verbreitet eingesetzt, und es ist notwendig, Vertrauen in diese Systeme in der breiten …

  2. ECXL – Eine erweiterbare und konsistente ebenenübergreifende RISC-V Verifikationsplattform

    ECXL – Eine erweiterbare und konsistente ebenenübergreifende RISC-V Verifikationsplattform

    Ziel des Projektes ECXL ist die Entwicklung einer Entwurfs- und Verifikationsplattform für RISC-V-basierte Systeme. Die Verifikationsplattform erlaubt …

  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 …