Nous n’avons pas trouvé cette entrée. Affichage de résultats approximatifs. Vérifiez l’orthographe ou proposez d’ajouter ce terme au dictionnaire.
byte-code
L'approche temps réel interprète quand-à elle directement le modèle comme des instructions de byte-code grâce à une machine virtuelle.
The online approach, directly interprets the model as byte-code instructions thanks to a virtual machine.
Les programmes obtenus s'exécutent beaucoup plus vite que lorsqu'on les compile avec le compilateur de byte-code du système Caml Light.
The resulting programs execute much faster than when compiled with the bytecoded Caml Light system.
L'objectif à terme est de fournir un vérificateur de byte-code entièrement prouvé correct pour le langage JavaCard tel qu'il est défini par JavaSun.
The long term objective is to provide a fully formalized bytecode verifier for the whole JavaCard language.
Le module parser expose une interface à l'analyseur et au compilateur de byte-code internes de Python.
The parser module provides an interface to Python's internal parser and byte-code compiler.
Autres résultats
Malgré toutes les précautions de sécurité, il est toujours possible à l'heure actuelle de convertir le byte-code en code source.
Despite all security it is at the moment possible to convert the Bytecode back into source code.
Notez qu'il ne peut pas encore décompiler le byte-code de Python 2.4 et 2.5.
Note that it cannot yet decompile byte-code from Python 2.4 and 2.5.
Comme le langage de script utilise un byte code en interne (comme Java), il ne peut pas utiliser un pointeur pour donner les paramètres.
As the script language use byte code internally (as Java) it cannot use a pointer to give the parameters.
Cette technique a été expérimentée pour la vérification de protocoles cryptographiques ainsi que pour le prototypage rapide d'analyses statiques de programmes Java byte code.
This technique has been used for the verification of cryptographic protocols (it is part of one of the AVISPA tools) and for the fast prototyping of static analysis of Java bytecode programs.
Vous pouvez étudier le code de byte Java en utilisant ce programme.
You can study Java bytecode as you use this program.
le flux des données transmises et réceptionnées en format comprimé est traité comme n blocs de bytes ayant un code de bloc reçu
the transmitted and received compressed data stream is processed as n blocks of bytes having a received block code
Et en Java COBOL il est interprété comme code de bytes pour pouvoir être lancé sur une JVM (Java Virtual Machine).
And in Java COBOL it's interpreted as byte code to be able to be launched from a JVM (Java Virtual Machine).
Le byte code montre l'information binaire sous forme de nombres hexadécimaux.
The byte code shows binary information in form of hexadecimal numbers.
Ce surplus d'informations rend beaucoup plus aisée la décompilation du byte-code.
The additional information makes it much easier to de-compile the code.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
