Examples with "Bytecode sowie" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Analysiert hunderte verschiedene Dateiformate (ausführbare Dateien, Installer, Skripte, Archive, Dokumente und Bytecode sowie Datenblöcke) zur zuverlässigen Erkennung von potenziell eingebettetem Schadcode.
Analyzes hundreds of different file formats (executables, installers, scripts, archives, documents and bytecodes, as well as blocks of data) in order to accurately detect embedded malicious components.
Andere resultaten
Dazu gehören Data und Bytecode Caching sowie die Möglichkeit, die Job-Queue-Funktion zu nutzen, um zentrale Applikationsprozesse zu beschleunigen.
This will include data and bytecode caching and the ability to use job queue capability to speed up core application processes.
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.
Weiterhin optimieren wir die Ausführung von AOP Programmen durch die Einführung von Cache-Mechanismen, sowie spezialisierten Bytecode-Instruktionen, die auf die Ausführung von AOP-Mechanismen zugeschnitten sind.
Furthermore, we optimize the execution of AOP programs by introducing caching mechanisms and specialized bytecode instructions that are tailored for the execution of AOP mechanisms.
VM: Die Virtuelle Maschine kann Bytecode laden und ausführen sowie Nachrichten versenden (d.h. Methoden finden und aufrufen).
VM: The virtual machine is able to load and execute bytecode, send messages (i.e.
Die Formalisierung liefert zwei ausführbare verifizierte Bytecode Verifier: den iterativen Standard-Algorithmus sowie einen Lightweight Bytecode Verifier für Geräte mit eingeschränkten Ressourcen.
The instantiation yields two executable verified bytecode verifiers: the iterative data flow algorithm of the standard Java platform and also a lightweight bytecode verifier for resource-constrained devices such as smart cards.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
