Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
in the executable code
Vertaling van "in the executable code" in Frans
dans le code exécutable
The replacement mechanism may comprise identifying known values defined in the executable code for variables, and replacing those variables with the constant value.
Le mécanisme de remplacement peut comprendre l'identification de valeurs connues définies dans le code exécutable pour des variables, et le remplacement de ces variables par la valeur constante.
If the formal specification is in an axiomatic semantics, the preconditions and postconditions of the specification may become assertions in the executable code.
De plus, une telle spécification peut faire l'objet d'une traduction automatique vers le langage cible ; si la spécification formelle est dotée d'une sémantique axiomatique, les préconditions et postconditions de la spécification peuvent devenir des assertions dans le code exécutable.
in static watermarking, the code is watermarked by using the key to determine positions in the executable code that will specify digits of a watermark value
lors de la création de filigrane numérique statique, le code est marqué en filigrane au moyen de la clé utilisée pour déterminer les positions dans le code exécutable destinées à indiquer les chiffres d'une valeur de filigrane
Youwould also expect to see text strings in the executable code section of theboot sector that are appropriate for the operating system that formattedthe disk.
Vous devez aussi trouver des chaînes de texte, dans la section de code exécutable du secteur de démarrage, qui correspondent au système d'exploitation qui a formaté le disque.
You may also expect to see text strings in the executable code section of the boot sector that are appropriate for the operating system that formatted the disk.
Vous pouvez également compter voir les cordes des textes dans la section exécutable de code du secteur d'initialisation qui sont appropriées pour le logiciel d'exploitation qui a composé le disque.
The decoding stage comprises decoding the intermediate representation resulting in the transformed code and the compiler information; and compiling the transformed code using the decoded compiler information and resulting in the executable code.
L'étape de décodage consiste à décoder la représentation intermédiaire obtenue à partir du code transformé et des informations de compilation, et à compiler le code transformé à l'aide des informations de compilation décodées afin d'obtenir le code exécutable.
and performing tasks with the available processor to obtain result data using the sub-group of data and instructions contained in the executable code in the header.
et à exécuter des tâches à l'aide du processeur disponible afin d'obtenir des données résultantes au moyen du sous-groupe de données et des instructions contenues dans le code exécutable placé dans l'en-tête.
Abstract: As part of formal verification of critical software, preserving properties established on the source code in the executable code seems to be crucial.
Résumé : La préservation de propriétés établies sur le programme source jusqu'au code exécutable est un point important dans les méthodes formelles.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 8. Verstreken tijd: 64 ms.
