Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
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.
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.
Results of each search were reviewed and information detailing national hepatitis C research strategies or funding programs was extracted.
Les résultats de chaque recherche ont été examinés et l'information descriptive des stratégies nationales de recherche sur l'hépatite C ou des programmes de financement a été retenue.
The advertisement may be accessed and extracted from the program by pointing and clicking on the object while the object is displayed.
La publicité peut être consultée et extraite du programme en pointant et en cliquant sur l'objet lorsque celui-ci est affiché.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor extracted programs in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 242. Exact: 1. Verstreken tijd: 230 ms.
