3 documents found

Dissertation
CC BY-ND 3.0
2017

Entwicklung von kontrollflussbasierten Methoden und Techniken für einen...

Arbeitsprozesse (Workflows) werden sehr häufig in visuellen Notationen als Graphen aus Knoten und Kanten formalisiert. Dabei gibt es verschiedene Arten von Knoten mit unterschiedlichen Semantiken. Durch diese können einzelne Aufgaben beschrieben sowie Entscheidungen und Parallelitäten modelliert werden....
Diploma thesis
All rights reserved
2010-11-12

Entwicklung eines Systems zur Eliminierung unnötiger Indexüberprüfungen

Die Indexüberprüfung von Reihungen dient dazu, dass auf einem System (der Konsumentenseite) keine Zugriffe auf unerlaubte Speicherbereiche geschehen können. Daher sind sie elementar für die Sicherheit der Übertragung von Zwischencoderepräsentationen. Jedoch ist nicht jede dieser Überprüfungen notwendig,...
Dissertation
2006-10-27

Eine Methode der effizienten und verifizierbaren Programmannotation für...

JIT compilation is frequently employed in order to speedup the execution of platform-independent and dynamically extensible mobile code applications. Since the time required for dynamic compilation directly influences a program's execution time, JIT compilers usually utilize only simple and fast techniques...