Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
of static analysis
Vertaling van "of static analysis" in Frans
de l'analyse statique
d'analyses statiques
An application of static analysis is the development of tools that help to debug programs.
Une application de l'analyse statique est le développement d'outils qui aident au débogage des programmes.
We propose to adapt the general theory of static analysis by abstract interpretation to the framework of constructive logic.
Nous proposons une adaptation de la théorie générale de l'analyse statique par interprétation abstraite au cadre de la logique constructive.
Through a combination of static analysis and testing, designs can be validated efficiently early in the development lifecycle.
Grâce à l'association d'analyses statiques et de tests, les modèles peuvent être validés plus en amont du cycle de développement.
This technique has been used for the verification of cryptographic protocols (it is part of one of the AVISPA tools) and for the fast prototyping of static analysis of Java bytecode programs.
Cette technique a été expérimentée pour la vérification de protocoles cryptographiques ainsi que pour le prototypage rapide d'analyses statiques de programmes Java byte code.
The horizontal consistency checking problem, which is the first challenge, is solved by means of static analysis of the system specification at the design level.
Le problème de vérification de la consistance horizontale est résolu au moyen de l'analyse statique de la spécification des systèmes.
Abstract: The problem of debugging parallel and distributed applications provides a framework for research in the fields of static analysis of distributed programs, observation of distributed computations, detection of distributed properties and post-mortem analysis.
Résumé : La mise au point des applications parallèles et reparties offre un cadre pour des recherches dans les domaines de l'analyse statique de programmes repartis, de l'observation des execution reparties, de la détection de propriétés reparties et de l'analyse post-mortem.
Multithreading is supported natively by the most common programming languages, e.g. Java and C#.The goal of static analysis is to compute behavioral information about theexecutions of a program, in a safe and automatic way.
Le multitâche est supporté en natif par la plupart des langages de programmation courants, comme Java et C#.Le but de l'analyse statique est de calculer des informations sur le comportement d'un programme, de manière conservative et automatique.
Properties of Petri Nets may be analyzed efficiently, due to the use of static analysis to make the models compact.
Les propriétés des fichiers Petri Nets peuvent être analysées avec efficacité, grâce à l'utilisation de l'analyse statique pour rendre les modèles compacts.
For this, we propose an obfuscation technique, for which the inverse transformation is proofed to be NP-complete in the context of static analysis.
Pour cela, nous proposons une technique d'obscurcissement de code dont la transformation inverse est démontrée NP-complète dans le cadre de l'analyse statique.
URL Filtering identifies threats through a unique combination of static analysis and machine learning.
Le service URL Filtering détecte les menaces grâce à une combinaison unique de machine learning et d'analyses statiques.
Orion Malware is designed to detect sophisticated malwares in your network by combining the performance of Static analysis, Sandboxing and Machine learning.
Orion Malware est conçu pour détecter des malwares sophistiqués dans votre réseau en combinant les performances de l'analyse statique, dynamique et comportementale.
In the field of static analysis, many different approaches have been proposed.
Plusieurs méthodes d'analyse statique ont été proposées.
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 of static analysis in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 35. Exact: 35. Verstreken tijd: 68 ms.
