Exemples avec "du programme code objet" et leurs traductions en anglais
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.
le fonctionnement du programme code objet à vérifier est conçu sur un système final de transition d'état
according to the invention, the mode of operation of the byte code programme being checked is configured for a finite status transition system
Autres résultats
Le logiciel du Programmateur charge le code objet spécialement préparé dans l'EEPROM de notre microcontrôleur.
The programmer software loads the specially prepared object code into the EEPROM of our microcontroller.
Pendant la compilation, des transformations sont appliquées au code du programme pour produire un code objet mélangeant les instructions pour le processeur cible (ou la machine virtuelle) et des instructions pour le coprocesseur (jeton).
During post-compilation, code transformations are applied and the code object is generated for the target processor (or virtual machine) augmented by the coprocessor.
Le matériel décrit permet de garantir la sécurité de programmes code objet et les extensions supplémentaires assurent une certaine fonctionnalité.
The invention therefore provides a means of guaranteeing the security of byte code programmes and with additional enhancements, can guarantee a certain functionality.
procédé de vérification des caractéristiques de sécurité de programmes code objet java
L'invention concerne un procédé garantissant une sécurité maximale lors de la vérification des caractéristiques de sécurité de programmes code objet.
The technical aim of the invention is to provide a method for guaranteeing the best possible security in checking the security characteristics of byte code programmes.
le programme code objet à vérifier est libéré uniquement pour traitement ultérieur lorsque le système de transition d'état remplit toutes les conditions de l'ensemble conditionnel
the byte code programme being checked is only released for further processing if the status transition system fulfils all of the conditions of the set
sont comparées aux données qui sont introduites dans le vérificateur de modèle comme ensemble conditionnel et qui identifient un programme code objet fiable
is compared with the data in the model checker, the data in the model checker having been entered as a set of conditions for the characteristics of a reliable byte code programme
Cette protection comprend les programmes en code source et les programmes en code objet.
Le procédé selon l'invention est utilisable au compactage de programmes en code objet intermédiaire exécutable dans un système embarqué à faibles ressources matérielles.
The invention concerns a method useful for compressing intermediate object-coded programmes executable in an onboard system with few physical resources.
dans le programme en code objet interprète, de groupes d'instructions non contiguës similaires, de structure arbitrairement complexe, le remplacement (bloc
in the interpreted object-coded programme, similar non-contiguous groups of instructions, of arbitrarily complex structure, replacing (block
Les modèles sont d'abord convertis en code de programme sous un langage du type C. Ensuite, le code de programme est compilé en code objet informatique.
EXIGENCES Un Contributeur peut choisir de distribuer le Programme sous forme de code objet sous son propre contrat de licence, sous réserve des conditions suivantes
REQUIREMENTS A Contributor may choose to distribute the Program in object code form under its own license agreement, provided that
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.
