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

Detailseite

Institution

Druckansicht

Universität Bremen
Fachbereich Mathematik und Informatik
Arbeitsgruppe Rechnerarchitektur

Adresse Bibliothekstraße 1
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
  - Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern
    (Antragsteller Drechsler, Rolf )
  - Förderung von Kompetenzen der mathematischen Modellierung
    (Antragstellerin Große, Cornelia S. )
  - Formale Methoden zur Energie-sicheren Testerzeugung für digitale Schaltungen
    (Antragsteller Drechsler, Rolf )
  - Formaler Robustheitsnachweis im computergestützten Schaltkreisentwurf
    (Antragsteller Drechsler, Rolf )
  - Formale Verifikation von Schaltkreisen unter Verwendung von Informationen der Hochsprachenebene
    (Antragsteller Drechsler, Rolf )
  - Implementierungsaspekte alternativer asymmetrischer Kryptoverfahren
    (Antragsteller Drechsler, Rolf )
  - MANIAC: BDD Manipulation für Approximate Computing
    (Antragsteller Drechsler, Rolf )
  - Qualitätsorientierte Synthese großer Funktionen in reversibler Logik
    (Antragsteller Drechsler, Rolf )
  - Routing-Probleme in VLSI-Systemen - Lösungsansätze mit Genetischen Algorithmen
    (Antragsteller Becker, Bernd )
  - Routing-Probleme in VLSI-Systemen - Lösungsansätze mit Genetischen Algorithmen
    (Antragsteller Molitor, Paul )
  - VerA: Vollautomatische Formale Verifikation Arithmetischer Schaltkreise
    (Antragsteller Drechsler, Rolf ; Große, Daniel ; Scholl, Christoph )
Reinhart Koselleck-Projekte
- laufende Projekte
  - PolyVer: Polynomiale Verifikation elektronischer Schaltungen
    (Antragsteller Drechsler, Rolf )
- abgeschlossene Projekte
  - Entwicklung eines durchgängigen Verifikationsablaufes für den ESL Entwurf
    (Antragsteller Drechsler, Rolf )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Formalisierung und Eigenschaften von Plänen
    (Teilprojektleiter Drechsler, Rolf ; Große, Daniel )
  - Heuristische, statistische und analytische Versuchsplanung
    (Teilprojektleiter Drechsler, Rolf ; Maaß, Peter )
  - Prädiktorfunktion
    (Teilprojektleiter Drechsler, Rolf )
Infrastruktur-Schwerpunktprogramme
- abgeschlossene Projekte
  - Erste niederfrequente 3D Seismikerkundung des tiefen hydrothermal-magmatischem Systems und der Architektur der Campi Flegrei Caldera zur Unterstützung eines amphibischen ICDP/IODP Bohrvorhabens
    (Antragsteller Spieß, Volkhard )
Schwerpunktprogramme
- laufende Projekte
Großgeräteinitiative
- abgeschlossene Projekte
  - Hochflexible Materialsynthese und Mikrostruktureinstellung durch kombiniertes Laserauftragschweißen und Kurzzeitwärmebehandlung für die Hochdurchsatzmaterialentwicklung.
Graduiertenkollegs
- laufende Projekte
  - GRK 2972: CAUSE Konzepte und Algorithmen für - und Nutzung von - selbsterklärenden digital kontrollierten Systemen
    (Sprecher Fey, Görschwin )

© 2024 DFG Kontakt / Impressum / Datenschutz