Examples with "la correction du programme" 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.
Les opérations de mémoire entre deux variables de synchronisation peuvent être superposées et réordonnées sans affecter la correction du programme.
Memory operations in between two synchronisation variables can be overlapped and reordered without affecting the correctness of the program.
Le flan est obtenu par usinage par électro-érosion au moyen d'un instrument à électrode à fil, la correction du programme d'usinage par électro-érosion étant effectuée en fonction des résulats de l'emboutissage du flan sur les matrices successives de la chaîne.
The blank is made by electro-erosion machining with a wire electrode-instrument, whereas the correction of the electro-erosion machining program is effected depending on the results of stamping of that blank on the subsequent dies of the line.
l'invention intègre dans un treillis d'états un modèle calculatoire: un système de type fort polymorphe; des domaines de limitation de visibilité; des assertions de premier ordre; une logique assurant la correction du programme
the invention integrates into a state-lattice computational model: a polymorphic strong type system; visibility-limiting domains; first-order assertions; and logic for providing a program correctness
Un cinquième système logique (BPL) met en corrélation les quatre autres systèmes, afin de prouver la correction du programme.
A fifth logical system (BPL) interrelates the other four systems allowing proofs of program correctness.
dans le mode de réalisation préféré, des capteurs envoient des données au système de commande pour l'identification, le positionnement, la sélection du programme de soudage et la correction du programme de soudage
in the preferred embodiment, sensors provide data to the control system for identification, positioning, welding program selection, and welding program correction
Nous traitons cette question lors de l'étude de la correction du programme de calcul de la racine carrée de GMP.
Abstract: We study proof reuse in a type theory.We investigate this issue by studying the correctness of GMP square root.
Andere resultaten
La valeur de l'atténuation est calculée en analysant la correction physiologique estimée du programme audio principal et du programme audio associé.
The value of the attenuation is calculated by analyzing the estimated loudness of the main and associated audio programs.
Le suivi en temps réel du contour de la pièce est assuré à l'aide des signaux de sortie provenant du capteur pour la correction du trajet programmé.
A real-time tracking on the work contour is executed by utilizing the output signals from the sensor for the correction of the path instructed to follow.
a la fin de la correction temporaire du programme en échelle comportant le placement d'une marque d'insertion et d'une marque d'effacement
after the temporary editing of the ladder program for putting an insertion mark and a deletion mark is finished
Une Ptache définit un domaine de communication et de protection, et assure la correction sémantique du programme parallèle (synchronisation des taches, controle des protocoles d'echanges, etc.).
A Ptask defines a communication and protection domain, and guarantees the semantic correctness of a parallel program (tasks synchronisation, control of the communication protocols, etc.) Within a Ptask, object protection is enforced through capabilities.
DISPOSITIF ET PROCÉDÉ D'AIDE À LA CORRECTION DU PÉDALAGE, PROGRAMME D'AIDE À LA CORRECTION DU PÉDALAGE, ET SUPPORT D'ENREGISTREMENT DUDIT PROGRAMME
PEDALING RECTIFICATION ASSISTANCE DEVICE, PEDALING RECTIFICATION ASSISTANCE METHOD, PROGRAM THAT ASSISTS RECTIFICATION OF PEDALING, AND MEDIUM THAT RECORDS PROGRAM THAT ASSISTS RECTIFICATION OF PEDALING
Le bouton « Paramètres du projet » est supprimé de la partie inférieure de la fenêtre du programme Corrections de bugs mineurs et autres améliorations Version 14.4.1
Removal of the Project Settings button from the lower part of the program window Bug fixes and other improvements Version 5.4
Ce projet retire la responsabilité aux agents correctionnels de la gestion du programme sur le terrain (avec présence de seringues dans les cellules), laquelle pose de nombreux problèmes pour les agents correctionnels, principalement en matière de santé et sécurité.
This removes Correctional Officers from having to manage this program on the ranges with needles in cells, which poses several issues for Correctional Officers, mainly health & safety issues.
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.
