Topic | Type | Student | Supervisor |
Cache-Aware Procedure Placement at Compile-Time |
Bachelor Thesis |
Maël Hörz |
Sebastian Altmeyer
Gernot Gebhard
|
Towards Shape Analysis of B-Trees |
Master's Thesis |
Jörg Herter |
Jan Reineke |
Topology Analysis of Dynamic Communication Systems |
Diploma Thesis |
Peter Backes |
Jan Reineke |
Generate C-Code from Abstract-VHDL |
Master's Thesis |
Mohamed Abdel Maksoud |
Marc Schlickling
Markus Pister
|
Parametric WCET Determination |
Diploma Thesis |
Sebastian Altmeyer Christian Hümbert |
Stephan Thesing |
A Pattern Matcher Generator for Retargetable Code Generation and Optimisation |
Diploma Thesis |
Gernot Gebhard |
Philipp Lucas |