Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
vers du code machine
Examples with "vers du code machine" and their translation in Engels
La compilation correspond à la traduction des programmes sources écrits par des humains vers du code machine lisible par nos systèmes.
Compilation is the process of translating source programs written by humans to machine code readable by our systems.
La plupart des implémentations de Common Lisp compilent les fonctions vers du code machine.
Most Common Lisp implementations compile source code to native machine code.
Nous montrons comment gérer la taille de ces calculs en interprétant les preuves tout entières comme des programmes fonctionnels, que l'on peut compiler vers du code machine à l'aide de compilateurs standards et clé-en-main.
We show how to make the proof checking problem manageable by turning entire proof terms into functional programs and compiling them in one go using off-the-shelf compilers for standard programming languages.
Andere resultaten
La certification des compilateurs des langages que nous avons développés vers du code-octet pour des machines virtuelles adaptées et la certification partielle de ces machines virtuelles.
Certification of the compilers for these languages, from source code to bytecode for parallel virtual machines and the certification of these virtual machines
Il s'agit d'une licence destinée aux opérateurs de production autorisant uniquement le transfert du code NC vers la machine via DNC.
This license is for Shop Floor users and is restricted to NC code transfer to machine via DNC.
Compile un fichier vers LLVM IR à la place du code machine natif
Compile a file to LLVM IR instead of native machine code
Un nœud de l'arbre représente une instruction du code machine.
A node of the tree represents a statement from the computer code.
Votre programme a réécrit une grande partie du code machine.
That program you entered rewrote massive amounts of the machine code.
Elles s'appuient sur une analyse automatisée du code machine.
The new methods involve very accurate automated analysis of machine code.
Python, par contre, n'a pas besoin de compilation vers du code binaire.
Python, on the other hand, does not need compilation to binary.
Pendant la première phase, on sélectionne pour traduction les séquences répétitives du code machine émulé.
In a first phase, frequently repeated sequences of emulated computer code are identified and selected for translation.
Des liens vers du code ou des documents utiles serait vraiment bien pour aider les étudiants à comprendre vos idées.
Code pointers or links to useful documents would be really nice to help students understand your ideas.
Le bytecode déployé est portable, à l'inverse du code machine pour une architecture donnée.
The deployed bytecode is portable, unlike native code.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Resultaten: 134598. Exact: 3. Verstreken tijd: 561 ms.
