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:

2013
NameThemaAbschluss
Arman Allahyari-AbhariExakte Synthese minimaler NCV-|v1>-QuantenschaltkreiseDiplom
Luka  DschaakErmittlung der optimalen Ausbeute: Was gibt mein Kühlschrank wirklich her?Bachelor
Andrej FastVerbesserung der Fehlertoleranz von ANSI-C Programmen durch Simulation und genetische AlgorithmenDiplom
Torben  HansingModellgetriebene Simulation von MicrocontrollersystemenBachelor
Sascha HestermannHardwarebeschleunigung eines ErfüllbarkeitsbeweisersBachelor
Tobias KoehlerVergleich von formalen Methoden zur Fehlerlokalisierung in SoftwareDiplom
Niklas KrafczykAutomatische Integration von Hardware-Modulen auf Register-Transfer-EbeneBachelor
Aaron Frederick LyeOptimization of Quantum Circuits for Linear Nearest Neighbor ArchitecturesBachelor
Ali MohammadzadehSynthese reversibler Funktionen mithilfe des ZauberwürfelsBachelor
Marc  NiehausComparing UML Models to Natural Language SpecificationsBachelor
Lennart PleußEntwicklung einer domänenspezifischen Sprache und eines Editors auf Basis von Xtext zur Erstellung von GUI-ModellenBachelor
Nils  PrzigodaAlgorithmen von Quantencomputern und Anwendung von Boolescher Erfüllbarkeit im EntwurfDiplom
Abirami Puvanendran Testgetriebener Systementwurf auf Basis von SysML ModellenDiplom
Matthias  SchilmannOptimierung von Tiefenkosten auf reversibler EbeneDiplom
Kenneth SchmitzSimultane Testmustergenerierung für Mehrfach Einzelfehler mittels Pseudo-Boolescher Optimierung zur Erzeugung kompakter TestmengenDiplom
Karl TrzebiatowskiAutomatisierung eines Zuweisungssystems für die LehramtausbildungDiplom
Aljoscha WindhorstEntwurf und Implementierung eines C-Beweisers für die funktionale AbdeckungsanalyseDiplom
Mathäus  WojtFehlerdiagnose reversibler Schaltungen unter Ausnutzung von Verfahren für den Online TestDiplom


ausblenden


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz