Arbeiten

Java Bytecode-Verfication

Im Rahmen dieser Seminararbeit behandle ich die Verifizierung des Java Bytecode. Als “Konstrukt”, um die Korrektheit zu zeigen, benutze ich Abstract State Machines (ASM). Auf diese werde ich nicht weiter eingehen. Diese Arbeit basiert auf “Java and the Java Virtual Machine-Definition, Verification, Validation”. Dort findet man einen kompletten Überblick. Hier werden nur ausgewählte Beispiele behandelt. Wenn man von der der Korrektheit des Java Bytecode spricht muss man einige Dinge voraussetzen bzw. auch zeigen. Das ist die Korrektheit von Java selbst, die Transformation von Java zu Java Bytecode sowie der Vollständigkeit aller Transformationen.

Material

Numerik II

Im Rahmen der Numerik II Vorlesung habe ich 2 Vorträge über Tschebyscheff-Polynome und Padé-Approxmaiation gehalten. Ziel dieser Vorträge war es sich noch einmal mit den Stoff zu beschäftigen.Deswegen wird nicht in die Tiefe gegangen. Sie fassen den Stoff der Vorlesung zusammen und ergänzen an einigen Stellen.

Material

Simulation eines Telebankingsystem

Ziel dieser Arbeit war es, ein Telebankingsystem mit paralellen Rechnen zu simulieren. Es sind Ansätze aufgezeigt, wie man ein derartiges System implentieren kann.

Material

Proseminar Analysis

Bei diesen Vortrag ging es um stetige Fortsetzung von Funktionen. Es wird erst das Rüstzeug dafür entwickelt und dann werden 2 Beispiele durch gerechnet.

Material

RAID und Dateisysteme in Multiuserumgebungen

Im ersten Teil der dieser Arbeit geht es um die verschiedenen RAID-Level und deren Vorteile, außdem wird der Nutzen von RAID betrachtet. Ich betrachte hier nur die theoretischen Aspekte und keine parktischen Umsetzungen. Der zweite Teil diskutiert die Anforderungen, die ein Dateisystem haben muss, welches in Multiuserumgebungen eingesetzt wird. Es werden keine existierenden Dateisystem betrachtet.

Material

Besondere Lernleistung

Thema: Veranschaulichung ausgewählter volkswirtschaftlicher Themen der betriebs- und volkswirtschafts Leistungskurse 2 und 3

  1. unter Verwendung von Standartsoftware
  2. unter Verwendung von Programmiersprachen (Visual Basic, C++)
  3. Vergleich der Lösungen von den Aufgaben a und b unter folgenden Aspekten:
    • Benutzerfreundlichkeit
    • Robustheit
    • Zuverlässigkeit
    • Arbeitsaufwand
    • Portierbarkeit

Material