Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Universität Bremen
Fachbereich Mathematik und Informatik
Arbeitsgruppe Rechnerarchitektur

Address Bibliothekstraße 1
28359 Bremen
Deutschland

GERiT This institution in GERiT

28359 Bremen

Projects

Research Grants
- Current projects
  - Unlocking Analog Features and Full Parallelism for HDL-based Synthesis of PLiM
    (Applicants Drechsler, Rolf ; Shirinzadeh, Saeideh )
- Completed projects
  - Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern
    (Applicant Drechsler, Rolf )
  - Förderung von Kompetenzen der mathematischen Modellierung
    (Applicant Große, Cornelia S. )
  - Formaler Robustheitsnachweis im computergestützten Schaltkreisentwurf
    (Applicant Drechsler, Rolf )
  - Formale Verifikation von Schaltkreisen unter Verwendung von Informationen der Hochsprachenebene
    (Applicant Drechsler, Rolf )
  - Formal methods for the generation of power-safe test sets for digital circuits
    (Applicant Drechsler, Rolf )
  - Implementation of Alternative Public-Key Cryptosystems on Embedded Systems
    (Applicant Drechsler, Rolf )
  - MANIAC: BDD Manipulation for Approximate Computing
    (Applicant Drechsler, Rolf )
  - Qualitätsorientierte Synthese großer Funktionen in reversibler Logik
    (Applicant Drechsler, Rolf )
  - Routing-Probleme in VLSI-Systemen - Lösungsansätze mit Genetischen Algorithmen
    (Applicant Becker, Bernd )
  - Routing-Probleme in VLSI-Systemen - Lösungsansätze mit Genetischen Algorithmen
    (Applicant Molitor, Paul )
  - VerA: Fully Automatic Formal Verification of Arithmetic Circuits
    (Applicants Drechsler, Rolf ; Große, Daniel ; Scholl, Christoph )
Reinhart Koselleck Projects
- Current projects
  - PolyVer: Polynomial Verification of Electronic Circuits
    (Applicant Drechsler, Rolf )
- Completed projects
  - Entwicklung eines durchgängigen Verifikationsablaufes für den ESL Entwurf
    (Applicant Drechsler, Rolf )
Collaborative Research Centres
- Completed projects
  - Formalizations and properties of plans
    (Project Heads Drechsler, Rolf ; Große, Daniel )
  - Heuristic, statistical and analytical experimental design
    (Project Heads Drechsler, Rolf ; Maaß, Peter )
  - Predictor function
    (Project Head Drechsler, Rolf )
Infrastructure Priority Programmes
- Completed projects
  - First low-frequency 3D seismic investigation of the deep magmatic-hydrothermal system and architecture of the Campi Flegrei caldera to complement an amphibian ICDP/IODP drilling effort
    (Applicant Spieß, Volkhard )
Priority Programmes
- Current projects
Major Instrumentation Initiatives
- Completed projects
  - Highly flexible material synthesis and microstructure adjustment through combined laser deposition welding and short-term heat treatment for high-throughput materials development
Research Training Groups
- Current projects
  - GRK 2972: CAUSE Concepts and Algorithms for – and Usage of – Self-Explaining Digitally Controlled Systems
    (Spokesperson Fey, Görschwin )

© 2024 DFG Disclaimer / Copyright / Privacy Policy