Der Bytecode Verifier ist ein essenzieller Bestandteil der Sicherheitsarchitektur der Programmierplattform Java. Meine Dissertation stellt eine formale, ausführbare Spezifikation des Bytecode Verifiers vor sowie den Beweis, dass diese korrekt ist. Die Formalisierung, vollständig im Theorembeweiser Isabelle durchgeführt, ...

Program Slicing ist eine Technik zur Identifikation von Anweisungen, die andere Anweisungen beeinflussen können. Trotz seit nunmehr 25 Jahren anhaltender Forschung hat Program Slicing immer noch Probleme, die eine verbreitete Benutzung verhindern: Slices können zu groß oder zu unverständlich werden, oder ihre Berechnung ...

Der Beitrag enthält eine Zusammenfassung der Dissertation n Structural Similarities of Finite Automata and Turing Machine Enumerability Classes. Die Dissertation [Ta03] eröffnet mit folgenden Worten: My Thesis: The enumerability and verboseness classes of finite automata on the one hand and of Turing machines on the other ...

und Ausblick Wir können nicht erwarten, auf die eingangs gestellte Frage nach der Komplexität der Multiplikation in naher Zukunft für irgendein allgemeines Rechenmodell wie Schaltkreise oder Branchingprogramme eine vollständige Antwort zu finden. Wir können aber versuchen, nach und nach zu umfassenderen Erkenntnissen ...

Didaktikgeleiteter Wissenstransfer bedarf innovativer softwaretechnischen Konzepte und Lösungen. Neben traditionellen didaktischen Ansätzen wie unterrichtszentrierter Stufenund Phasenschemata sind vermehrt lernerzentrierte Konzepte in den webbasierten Wissenstransfer zu integrieren. Die verstärkte aktive Einflussnahme ...

Arzneistoffe sind kleine organische Liganden, die durch ihre Bindung an ein Makromolekül eine biologische Antwort auslösen. In dieser Arbeit wurden dreidimensionale, geometrisch und chemisch-funktionell klassifizierte Bindungsmuster in der größten verfügbaren Sammlung von Makromoleku ̈l-Ligand-Komplexen, der “Brook- haven ...

Wir befassen uns in der Arbeit mit dem Entwurf von exakten Algorithmen für verschiedene NP-vollständige Optimierungsprobleme auf Graphen, wie beispielsweise Vertex Cover, Independent Set oder Dominating Set. Im Vordergrund der Arbeit stehen exakte Lösungsverfahren mit beweisbaren Laufzeitschranken. Wir verfolgen dabei ...

Diese Arbeit besteht im Wesentlichen aus zwei relativ eigenständigen Teilen, die in ihrer Entstehung jedoch eng miteinander verknüpft sind. Beide beschäftigen sich mit geometrischen Problemen im Kontext von Visualisierung. Im ersten Teil stelle ich zwei Algorithmen zur Berechnung charakteristischer Flächenkurven, Geodäten ...

Bisher konzentrierten sich die meisten Arbeiten in Bereich der Computergraphik auf Algorithmen zum Erstellen von Bildern, die im Hinblick auf gewisse Kriterien `gut aussehen.' Im Gegensatz dazu beurteilt ein allgemeinerer Ansatz Bilder dahingehend, wie effektiv sie bestimmte Informationen übermitteln. Darüber hinaus wird ...