Die Dissertation präsentiert eine formale, ausführbare Spezifikation des Bytecode Verifiers sowie den Beweis, dass dieser korrekt ist.
This thesis presents a fully formal, executable, and machine checked specification of a representative subset of the Java Virtual Machine and its bytecode verifier together with a proof that the bytecode verifier is safe.
Ziel dieser Arbeit war die Entwicklung eines Bytecode-Verifiers für das Java-Betriebssystem JX.
The aim of this thesis was to develop a Java Bytecode verifier for the JX Java operating system.
Die interaktive Umgebung kompiliert Haskell zu Bytecode, und unterstützt die Ausführung von Misch Bytecode/ kompilierte Programme.
The interactive environment compiles Haskell to bytecode, and supports execution of mixed bytecode/compiled programs.
Dieses Verfahren gibt einen allgemeinen Überblick über die Verarbeitung eines Performance Verifiers.
This procedure provides a general overview of processing a Performance Verifier.
Analysieren Sie zweimal frische Vitros Performance Verifiers.
Für Performance Verifiers, die Rekonstitution erfordern, führen Sie die folgenden Schritte aus.
For Performance Verifiers that require reconstitution, complete the following steps.
Stellen Sie fest, ob die Vitros Performance Verifiers als tägliche Qualitätskontrollen verwendet werden.
Determine if the Vitros Performance Verifiers are used as daily quality-control materials.
Das Netzwerk umfasst so genannte Verifiers, welche mit Hilfe eine PC-Software an das Ripple-Netzwerk angebunden sind.
The network includes verifiers with PC software connected to the ripple network.
Verwenden des Generic Tag Verifiers in TagEditor zum Aufspüren von Tag-Fehlern
Using the Generic Tag Verifier in TagEditor to Detect Tag Changes and Errors
Für Performance Verifiers, die keine Rekonstitution erfordern, mit Schritt 2 fortfahren.
For Performance Verifies that do not require reconstitution, continue with Step 2.
Sie können Vitros Performance Verifiers verwenden, um die Kalibration zu überprüfen und die tägliche Qualitätskontrolle durchzuführen.
You can use Vitros Performance Verifiers to confirm calibration and to perform daily quality control.
Vitros TDM Performance Verifiers sind speziell für die Verwendung mit den Vitros Systemen vorgesehen.
Vitros TDM Performance Verifiers are specially formulated for use with Vitros Systems.
Nach der Kalibration eines Plättchenlots sollten Sie die Kalibration mit Vitros Performance Verifiers überprüfen.
After you calibrate a slide lot, use the Vitros Performance Verifiers to verify calibration.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
