Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
checking techniques as
Examples with "checking techniques as" and their translation in Frans
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.
Andere resultaten
Efficient implementation of exact type-checking techniques based on tree transducers.
Implémentation efficace de techniques de typage exact basées sur les transducteurs d'arbres.
Secondly, we propose to combine this method with model-checking techniques.
Deuxièmement, nous proposons de combiner cette méthode avec des techniques de model checking.
Secondly, we propose to combine this method with model-checking techniques.
Deuxièmement, nous proposons de combiner cette méthode avec des techniques de model checking.
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.
We propose a formal verification methodology based on the Model Checking technique.
Nous proposons une méthodologie de vérification formelle basée sur les techniques de Model Checking.
To begin with, Cyclic Redundancy Check is basically an error checking technique.
Pour commencer, Cyclic Redundancy Check est essentiellement une technique de vérification des erreurs.
The proposed techniques are an alternative to model-checking techniques.
Les techniques proposées constituent une alternative aux techniques de model-checking.
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.
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.
Thus, model-checking techniques are combined to simulation techniques.
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.
Synoniemen voor checking techniques as in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 2125. Exact: 1. Verstreken tijd: 345 ms.
