Examples with "extraction de programmes" 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.
Nous proposons un plongement des primitives BSML dans la logique de Coq sous une forme modulaire adaptée à l'extraction de programmes.
We propose an embedding of BSML primitives in the Coq logic in a modular form, adapted to program extraction.
Résumé : Cette thèse propose une extension du Calcul des Constructions de Coquand et Huet qui permet l'extraction de programmes certifiés à partir de preuve constructive.
Abstract: This thesis introduces an extension of the Calculus of Constructions of Coquand and Huet which allows the extraction of certified programs from constructive proofs.
Casetta propose aussi des fonctions utiles comme la conversion d'images standard (jpeg, png, bmp...) en image Casio ou en programme BASIC Casio, ou comme l'extraction de programmes (et de leur mot de passe) depuis une sauvegarde.
Casetta add also useful functions like the conversion of standard pictures (jpeg, png, bmp...) into a Casio picture or a Casio BASIC program, or like the extraction of programs (with their password) from a backup.
Nous proposons un plongement des primitives BSML dans la logique de Coq sous une forme modulaire adaptée à l'extraction de programmes.
We propose an embedding of BSML primitives in the Coq logic in a modular form, adapted to program extraction.
Andere resultaten
Un dispositif d'extraction de programme recommandé possède une table de correspondance entre des attributs de programme et des mots clé.
A recommended program extraction device holds a correspondence table between program attributes and keywords.
dispositif et procédé d'extraction de programme recommandé
recommended program extracting device, and recommended program extracting method
Une extraction de fonction de programme malveillant dérive des synthèses sémantiques d'un programme malveillant exécutable au moyen de techniques d'analyse de programme globales et inter-procédurales.
Malware feature extraction derives semantic summaries of executable malware using global, inter-procedural program analysis techniques.
L'appareil de gestion de bâtiment (30) comprend une unité d'exécution de programme d'événement (34), une unité de réception (32) et une unité d'extraction de programme d'événement (33).
The building management apparatus (30) comprises an event program execution unit (34), a receiving unit (32), and an event program extraction unit (33).
L'unité d'extraction de programme d'événement (33) exécute le programme d'événement extrait de manière à commander la consommation d'énergie de dispositifs d'installation individuels (15).
The event program extraction unit (33) executes the extracted event program so as to control the power consumption of individual facility devices (15).
Les prix sont alors fonction du travail d'extraction et de programmation requis.
qui acquiert des informations de listage de programme, une unité d'extraction d'informations de programme
that acquires program listing information, a program information extraction unit
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.
