Examples with "command insertion" and their translation in Frans
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.
A performance model checking device has a time information output command insertion unit, a model checking execution unit, and a counterexample trace analysis unit.
La présente invention concerne un dispositif de vérification de modèle de performances qui possède une unité d'insertion de commandes de sortie d'informations temporelles, une unité d'exécution de vérification de modèle et une unité d'analyse de trace de contre-exemple.
POWER CONTROL COMMAND INSERTION INTO COMPLEX SIGNAL
The electronic driving of all the command for the insertion of the elastic enable having the rubber in any position of the sock.
Du fait, que les commandes soient électroniques, cette machine permet d'insérer l'élastique dans différentes parties de la chaussette.
The system receives a command to move the insertion cursor to a location of a previously created active cursor location.
Le système reçoit une instruction de déplacement du curseur d'insertion jusqu'à un emplacement de curseur actif précédemment créé.
The insertion command Smart Download supports the integration of IFCExportType and ICExportAsf fields as well as IFC properties.
La commande d'insertion Smart Download prend en charge l'intégration des champs IFCExportType et IFCExportAs ainsi que les IFCProperties.
The electronic driving of all the command for the insertion of the elastic enable having the rubber in any position of the sock.
Le fait que toutes les commandes d'insertion de l'élastique soient électroniques permet de réaliser de telles insertions dans n'importe quelle partie de la chaussette.
Note that TECO ignores case and whitespace (except tab, which is an insertion command).
TECO ignore la casse et les espaces (à l'exception des tabulations, la tabulation étant une commande d'insertion).
The method comprises a step of measuring a time interval between a disc insertion event resulting from a disc insertion command and a disc ejection event resulting from a disc ejection command.
Cette méthode comprend une étape consistant à mesurer un intervalle temporel entre un événement d'insertion de disque résultant d'une instruction d'insertion de disque et un événement d'éjection de disque résultant d'une instruction d'éjection de disque.
If the command is an insertion command for adding a new rule, each decision tree processing block determines whether or not the new rule can be managed by a single leaf node in its own decision tree.
Si la commande est une commande d'insertion destinée à ajouter une nouvelle règle, chaque bloc de traitement d'arbre de décision détermine si oui ou non la nouvelle règle peut être gérée par un nœud à feuille unique dans son propre arbre de décision.
& latex; never reads the EPS file if the bounding-box parameters are specified in the graphics-insertion command.
A new command "Automatic insertion of links" when run, links up all the lines having the same equipotential on all the drawings where they appear.
Une nouvelle commande de « insertion automatique des renvois » permet d'insérer automatiquement des renvois de polarité entre des liaisons portant le même numéro d'équipotentielle sur tous les folios où elles apparaissent.
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.