Dissertations
2003
- Andreas J. Mäder,
"Vergleichende Untersuchungen zum effizienten Einsatz von VHDL
in Simulation und Synthese",
Dissertation, Universität Hamburg, Dezember 2003,
Der Andere Verlag, Osnabrück, 2004, ISBN 3-89959-163-1
Die Codebeispiele aus der Arbeit und die Benchmarks (VHDL-Code, Kontrolldateien und Ergebnisse der Simulationen) stehen hier.
2001
- Lars H. Hahn, "Aspekte der Spezifikation von Hardware-/Software-Systemen", Dissertation, Universität Hamburg, April 2001, Shaker Verlag, Aachen, ISBN 3-8265-9806-7
2000
- Lars Larsson,
"Zur Validierung der Spezifikationen von videobildverarbeitenden
Komponeten unter realen Anwendungsbedingungen,
Dissertation, Universität Hamburg, April 2000
Kurzfassung, Dissertation (PDF Format)
1996
- Norman Hendrich,
"Mustererkennung mit neuronalen Assoziativspeichernetzen",
Dissertation, Universität Hamburg, Juli 1996
Dissertationen zur künstlichen Intelligenz, Band 137, Infix-Verlag, Sankt Augustin, ISBN 3-89601-137-5
1994
- Xiaoming Fan, "Latency-Directed Multithreaded Computation and Its Architectural Support", Dissertation, Univ. Hamburg, März 94
1990
- Rainer Buschke, "Grundlagen und Methoden zur computergestützten Auswertung von Simulationsergebnissen im VLSI-Design", Dissertation, Univ. Hamburg, Sept. 90
- Jörg Lohse, "Konzeption, Entwurf und Realisierung eines Prozessors für die funktionale Programmiersprache Scheme als VLSI-Chip in Standard- und Makrozellentechnik", Dissertation, Univ. Hamburg, April 90. Paper: 939k .ps.gz
1989
- Michael Payer, "Graphentheoretische Ansätze für CAD-Werkzeuge in der CMOS-Technik", Dissertation, Univ. Hamburg, Juli 89
1986
- Abdel Badee Abdel Aziz Abdel Kader, "Design of Very Large Scale Integration Systolic Arrays for Matrix Operations", Dissertation, Univ. Hamburg, Dez. 86
- Reinhard H. Rauscher, "Ein praktikables Verfahren zur interaktiven Mikroprogrammtransformation und deren automatischer formaler Verifikation", Dissertation, Univ. Hamburg, Dez. 86

