Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
programs that manipulate
Vertaling van "programs that manipulate" in Frans
programmes qui manipulent
In particular, we are interested in programs that manipulate floating-point numbers.
En particulier, nous nous intéressons aux programmes qui manipulent des nombres flottants.
Consequently, rigourous analysis is needed in order to guide the end-user and the designer of programs that manipulate these data.
En conséquence, les besoins d'analyse se font sentir pour guider le choix et la conception des programmes qui manipulent ces données.
A central challenge here is proving properties of programs that manipulate other programs.
Le défi est ici la preuve de propriétés de programmes qui manipulent d'autres programmes.
Since the formatting engine is mostly automatic, it can serve as an output means for other programs that manipulate music.
Puisque le moteur de formatage est en grande partie automatique, il peut servir de sortie pour d'autres programmes qui manipulent la musique.
A thorough understanding of how proteins move across the membrane is vital to help design programs that manipulate biological processes for our benefit.
Pour faciliter la conception de programmes qui manipulent des processus biologiques à notre avantage, il faut bien comprendre la façon dont les protéines traversent la membrane.
A person might then automatically run programs that manipulate other people and set off their programs - either positively or negatively.
Une personne pourrait alors activer automatiquement des programmes qui manipulent les autres et qui démarrent leurs programmes - soit positivement ou négativement.
It is vital to develop theoretical foundations to allow us to understand and better design programs that manipulate these data flows, as current programming techniques remain quite unsuitable for doing so properly.
Il est indispensable de développer les fondements théoriques permettant de comprendre et de mieux concevoir les programmes qui manipulent ces flux de données car les techniques actuelles de programmation restent peu adaptées pour faire cela correctement.
Abstract: This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data.
Résumé : Les travaux présentés dans cette thèse sont lies aux problèmes de vérification de l'atteignabilité et de la terminaison de programmes qui manipulent des données entières non-bornées.
Pattern matching brings unrivaled comfort and safety to programs that manipulate symbolic data.
Le filtrage apporte un confort et un niveau de sécurité inégalés dans le traitement des données de nature symbolique.
Since the formatting engine is mostly automatic, it can serve as an output means for other programs that manipulate music.
Dans la mesure où le moteur de formatage est presque complètement automatisé, il peut servir à générer du matériel imprimable pour d'autres programmes en charge de manipuler de la musique.
Internally, programs that manipulate domain names should represent them as sequences of labels, where each label is a length octet followed by an octet string.
En interne, les programmes manipulant les noms de domaines peuvent les représenter comme des séquences d'étiquettes, chacune comportant une octet de longueur suivi d'une chaîne d'octets.
We first study the use of regular operators called "iterators" which allow to express in a quit natural way regular programs that manipulate arrays.
Nous étudions premièrement l'utilisation d'opérateurs réguliers de types "itérateurs" qui permettent d'exprimer assez facilement des programmes réguliers manipulant des tableaux.
The USDOC has in place standard computer programs that manipulate these databases to execute every aspect of the USDOC's margin calculation.
L'USDOC a mis en place des programmes informatiques types qui traitent ces stocks de données pour exécuter tous les aspects de son calcul des marges.
Synoniemen voor programs that manipulate in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 15. Exact: 15. Verstreken tijd: 42 ms.
