Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
static analysis techniques
Vertaling van "static analysis techniques" in Frans
techniques d'analyse statique
We present also a method to optimize the number of observed components, based on the use of static analysis techniques.
Nous présentons également une méthode pour optimiser le nombre de composants observés, en se basant sur l'utilisation de techniques d'analyse statique.
These relations (or invariants) are searched automatically using static analysis techniques.
Ces relations (ou invariants) sont recherchés automatiquement en utilisant des techniques d'analyse statique.
In this work, several static analysis techniques are presented in order to estimate the stability margin and to identify the entical areas for the voltage stability.
Dans ce travail, plusieurs techniques d'analyse statique sont présentées de façon à estimer la marge de stabilité et à identifier les lieux critiques pour la stabilité de tension.
Contributions rely on static analysis techniques and are integrated in the OTAWA open source toolset, which is well recognized by the scientific
Les approches développées reposent sur des techniques d'analyse statique et sont mises en œuvre dans l'outil open source OTAWA reconnu dans la communauté.
Abstract: Abstract: The strength of program static analysis techniques lies on its ability to de- tect faulty behaviors prior to the execution.
Résumé : La force des techniques d'analyse statique du programme repose sur sa capacité à détecter les comportements défectueux avant l'exécution.
We formally characterize the related issues and define efficient static analysis techniques to detect them in Esterel code.
Après avoir spécifié les problèmes posés par les boucles, nous développons des techniques d'analyse statique efficaces pour les détecter dans un code Esterel quelconque.
The work of this thesis has been conducted vvith the use of the static analysis techniques and dynamic simulation vvith Matlab and Eurostag software.
Le travail de cette thèse est mené grâce à l'utilisation des techniques d'analyse statique et de simulation dynamique avec les logiciels Matlab et Eurostag.
We study static analysis techniques for SPARQL, the standard language for querying Semantic Web data.
Nous étudions des techniques d'analyse statique pour SPARQL, le langage standard pour l'interrogation des données du Web sémantique.
The policy iteration technique is a recently developed static analysis techniques well suited to that purpose.
L'itération sur les stratégies est une techniqued'analyse statique récemment développée et bien adaptée à nos besoins.
We use abstract interpretation based static analysis techniques to over-approximate the round-off errors in programs and during the transformation of expressions.
Notre approche se base sur les techniques d'analyse statique par interprétation abstraite pour sur-rapprocher les erreurs d'arrondi dans les programmes et au moment de la transformation des expressions.
We are interested in the problem of the automatic generation of conformance tests suites for the telecommunication protocols, precisely in using some static analysis techniques in front of TGV (a test generation tool).
Nous nous sommes intéressés au problème de la génération automatique de tests de conformité pour les protocoles de télécommunication et plus précisément à l'utilisation, en amont de TGV (un outil de génération de séquences de test), de techniques d'analyse statique.
We present also a method to optimize the number of observed components, based on the use of static analysis techniques.
Nous présentons également une méthode pour optimiser le nombre de composants observés, en se basant sur l'utilisation de techniques d'analyse statique.
Synoniemen voor static analysis techniques in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 12. Exact: 12. Verstreken tijd: 43 ms.
