HOME | KONTAKT | Switch EN

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen

Abschlussarbeiten


Liebe Interessentinnen
und liebe Interessenten,

Chipin unserer Arbeitsgruppe hat es sich bewährt, dass Themen für Bachelor- und Masterarbeiten in einem persönlichen Gespräch erarbeitet werden.

Für gewöhnlich geben wir keine fest definierten Themen vor. Zur Vereinbarung eines Termins für die Besprechung eines konkreten Themenbereiches bietet sich die Kontaktaufnahme per Telefon oder Email an.

Mögliche Themengebiete sind unter anderem:
  • Entwurfsmethodik für Quantencomputer
  • Formale Verifikation von Prozessoren
  • Approximative Berechnung in arithmetischen Schaltungen
  • Testmustergenerierung für integrierte Schaltungen
  • Einsatz neuronaler Netze im Schaltkreisentwurf
  • ...
Um einen Überblick über die Bandbreite der Thematik zu erhalten, sind im Folgenden die bereits abgeschlossenen Abschlussarbeiten gelistet:

2021
NameThemaAbschluss
Fabian Lukas BlankenFail-Operational-System für semiautonome zivile Multicopter-DrohnenBachelor
Caroline DominikBestimmung polynomieller Schranken für die formale Verifikation symmetrischer SchaltungenBachelor
Marcel FranzenImplementierung einer automatischen Transformierung multilingualer Spracheingaben in DatenbankabfragenBachelor
Milan FunckDesign, Implementierung und Evaluierung einer RISC-V Prozessorerweiterung auf VP EbeneMaster
Jan HenselRoboSim A Multi-Agent System Simulator Based on a RISC-V Virtual PrototypeBachelor
Philipp JohagRoboSim A Multi-Agent System Simulator Based on a RISC-V Virtual PrototypeBachelor
Gregor KuhnDesign Understanding für Quantum-dot Cellular Automata LayoutsBachelor
Vinh Kien LucAutoencoder for dimension reduction of data in empirical asset pricing modelBachelor
Marcel MertenEntwicklung eines Hardware-basierten Evolutionären Algorithmus unter Verwendung von Mehrzieloptimierung zur Robustheitssteigerung sequentieller SchaltkreiseMaster
Luca MüllerCo-Simulation-Based Verification of a Register-Transfer Level RISC-V Implementation in Reference to a Virtual PrototypeBachelor
Martha SchnieberPolynomial Formal Verification of Approximate FunctionsMaster
Daniel StaackFehlerfindung in robotischen Plänen mittels FuzzingBachelor


ausblenden


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz