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:

2016
NameThemaAbschluss
Eike BehrendsDetektion von Abhängigkeiten zwischen User Stories mittels NLPMaster
Niklas BrunsAgentenbasierte Coverage-getriebene Verifikation von SystemC-ModellenBachelor
Ronald Smith Djomkam YotedjeGeneric Information Extraction Using Triple-Store DatabasesMaster
Hauke EdelerKuhhandel-Strategien in einer stochastischen, dynamischen und kompetitiven Mehrspielerumgebung mit partiell imperfekter InformationBachelor
Igor KazhdanDas Flow-Routing-Problem von Programmable Microfluidic Devices mithilfe des Generic Problem SolversBachelor
Schneider Kevin LeonardAlternative area division methods for exact routing on digital microfluidic biochipsBachelor
Patrick KleinermannZeitsynchrone Erfassung seismischer SensordatenBachelor
Timo KohorstHardwareparallelität, moderne CPU-Instruktionen und effiziente Datenhaltung in Backupsoftware ausnutzenBachelor
Max Benjamin NitzeConstraint-based Test-Data GenerationMaster
Pascal PieperUmgebung für automatisierte Tests von Dateisystemen auf NAND-FlashBachelor
Carsten SchiefelbeinEntwurf einer drahtlosen Schnittstelle für die Onboard-Kommunikation am Beispiel des Kompaktsatelliten Eu:CROPISMaster
Jil TietjenUntersuchung verschiedener Kodierungen von speziellen Cardinality Constraints für SAT Bachelor


ausblenden


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz