Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
checking techniques
Vertaling van "checking techniques" in Frans
techniques de vérification
checking
techniques de contrôle
the labels and the structure of the transition system are then used as input to model checking techniques to analyse the software code
les étiquettes et la structure du système de transition sont ensuite utilisées comme entrée pour les techniques de vérification de modèle pour analyser le code logiciel
Valuable experience gained with the Axxom case study showed that the application of model checking techniques for scheduling is promising.
La précieuse expérience acquise avec l'étude de cas Axxom a montré que l'application de techniques de vérification de modèle pour la planification se révèle prometteuse.
We are interested in analyzing the performability requirements of mobile communication systems by using model checking techniques.
Nous nous intéressons à l'analyse des exigences de performabilité des systèmes communicants mobiles par model checking.
Abstract: We are interested in analyzing the performability requirements of mobile communication systems by using model checking techniques.
Résumé : Nous nous intéressons à l'analyse des exigences de performabilité des systèmes communicants mobiles par model checking.
Exploiting the model checking techniques, we have established temporal properties showing that any execution of a mobile application on a mobile device could be offloaded in a Cloudlet depending on a given software architecture.
Par l'emploi de technique de model checking, nous avons établi des propriétés temporelles montrant que toute exécution d'une application mobile sur un périphérique mobile pouvait être déportée dans une Cloudlet sous condition d'une structure applicative.
Enumerating the residual threats is done by checking techniques over the architecture against formalized threat scenarios from the STRIDE model and based on existing threat references (e.g., CAPEC).
La recherche de menaces résiduelles est réalisée à l'aide de techniques de vérification exploitant une représentation formelle des scénarios de menaces issus du modèle STRIDE et basés sur des référentiels de menaces existants (ex., CAPEC).
Clint is a testbed for static source-code checking techniques.
Clint est un banc d'essai pour techniques de contrôle de code source statique.
Finally, we define how to apply model checking techniques to prove the correctness of the abstract analysis.
Enfin, on définit l'application des techniques du model checking pour prouver la correction de l'analyse abstraite de notre approche.
For such nondeterministic models, we propose a symbolic simulation scheme inspired by model checking techniques for timed automata.
Pour ce type de modèle non déterministe, nous proposons une simulation symbolique, inspirée des techniques de vérification des automates temporisés.
the checking techniques used including, where applicable, reference to sampling methods
les techniques de contrôle utilisées y compris, le cas échéant, une référence aux méthodes d'échantillonnage
For such nondeterministic models, we propose a 'symbolic simulation' scheme inspired by model checking techniques for timed automata.
Pour ce type de modèle non déterministe, nous proposons une 'simulation symbolique', inspirée des techniques de vérification des automates temporisés.
Methods for using integrity checking techniques to identify and locate computer viruses are provided.
La présente invention concerne des procédés destinés à utiliser des techniques de vérification d'intégrité pour identifier et localiser des virus informatiques.
We use model checking techniques as well to precalculate a minimal set of synchronization points, where joint knowledge, i.e., knowledge common to several processes, can be achieved during short coordination phases.
Nous utilisons de même des techniques de model checking pour pré-calculer un ensemble minimal de points de synchronisation au niveau desquels plusieurs processus partagent leur connaissance au court de brèves périodes de coordination.
Synoniemen voor checking techniques in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 20. Exact: 20. Verstreken tijd: 37 ms.
