Examples with "le programme code objet" 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.
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
Andere resultaten
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
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
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
(Cette alternative n'est autorisée que dans le cas d'une distribution non commerciale, et uniquement si vous avez reçu le programme sous forme de code objet ou exécutable avec une telle offre, en accord avec l'alinéa b précédent).
This alternative is allowed only for noncommercial distribution and only if you received the program in object code or executable form with such an offer, in accord with Subsection b above.
Quand le programme compilé (code objet) est exécuté sur un ordinateur dont le processeur ou le système d'exploitation est différent de celui du compilateur, on parle de compilation croisée.
If the compiled program can run on a computer whose CPU or operating system is different from the one on which the compiler runs, the compiler is a cross-compiler.
Cette alternative n'est autorisée que dans le cas d'une distribution non commerciale, et uniquement si vous avez reçu le programme sous forme de code objet ou exécutable avec une telle offre, en accord avec l'alinéa b précédent.
Accompany it with the information you received as to the offer to distribute corresponding source code. (This alternative isallowed only for noncommercial distribution and only if you received the program in object code or executable form with suchan offer, in accord with Subsection b above.)
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.
Le code programme pour objets de commande dans une interface graphique utilisateur est organisé dans une structure hiérarchique à plusieurs niveaux.
The program code for control objects in a graphical user interface is organized in a multi-level hierarchical structure.
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.
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
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.
