Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
extracted programs
Examples with "extracted programs" and their translation in Frans
We also propose a new way to certify extracted programs, in the concrete setting of the existing Coq system.
Nous proposons également une nouvelle méthode de certification des programmes extraits, dans le cadre concret du système Coq existant.
Andere resultaten
An on-line interface for playing with the Ocaml extracted program.
the processor identifies a time slot in which splicing should occur from the extracted program insertion information
ce processeur identifie un intervalle de temps dans lequel la division pourrait provenir des informations d'insertion de programme extraites
The formalization consists in showing that the extracted program preserves the same operational behavior as the original source code, based on a type and effect system.
La formalisation consiste à montrer que le programme extrait préserve la sémantique du programme de départ, en s'appuyant notamment sur un système de types avec effets.
The extracted program name 1234 is displayed in the field below the test field.
Le nom de programme extrait (1234) est affiché dans le champ en dessous du champ de test.
The msgid's are extracted from the program source.
Open the folder that you extracted the button changer program to.
This function is extracted from program traces, a process we call abstraction.
Cette fonction est extraite des traces d'un programme, un procédé que nous appelons abstraction.
Claims associated with all programs are extracted to form a complete claim population.
Les demandes associées à tous les programmes sont extraites afin de former un ensemble complet de demandes de remboursement.
Information about tasks is extracted by some program belonging to the release manager and used to generate the relevant overrides file.
Les informations sur les paquets tasks sont extraites par un programme du gestionnaire de publication et utilisées pour générer les fichiers complémentaires pertinents.
The scanning may take a few minutes depending on a load of iTunes backup being extracted by the program.
L'analyse peut prendre quelques minutes en fonction du chargement de la sauvegarde iTunes extraite par le programme.
They may be assigned by human indexers or extracted by computer programs that check how often a word occurs in an information resource.
Ces mots peuvent être sélectionnés par des indexeurs humains ou extraits par des programmes informatiques qui vérifient la fréquence d'apparition d'un mot dans une ressource documentaire.
Lessons learned will be collected and data from program activities extracted in order to identify best practices.
Les leçons tirées seront regroupées et les données sur les activités de programme, extraites, afin de déterminer les pratiques exemplaires.
Synoniemen voor extracted programs in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 262. Exact: 1. Verstreken tijd: 280 ms.
