Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
standard statistical model checking
Examples with "standard statistical model checking" and their translation in Frans
This double effect has the advantage of reducing the size of the initial system by replacing it by a system whose semantics is purely stochastic, a necessary requirement for standard statistical model checking algorithms to be applicable.
Ce double effet a pour avantage de réduire la taille du système initial en le remplaçant par un système dont la sémantique est purement stochastique sur lequel les algorithmes de model checking statistique sont définis.
This double effect has the advantage of reducing the size of the initial system by replacing it by a system whose semantics is purely stochastic, a necessary requirement for standard statistical model checking algorithms to be applicable.
Ce double effet a pour avantage de réduire la taille du système initial en le remplaçant par un système dont la sémantique est purement stochastique sur lequel les algorithmes de model checking statistique sont définis.
Andere resultaten
We therefore develop a new approximation method, called Parametric Statistical Model Checking.
Nous utilisons donc une nouvelle méthode d'approximation, appelée Model Checking Statistique Paramétrique.
Combined with statistical model checking, this methodology is successfully applied to the verification of an industrial case study.
Cette méthodologie, combinée avec le model-checking statistique, est appliquée avec succès à un cas d'étude industriel.
More precisely, stochastic timed automata and statistical model-checking are used to measure the robustness of a perturbed schedule.
Plus précisément, les automates temporisés stochastiques et le model checking statistique sont utilisés afin de mesurer la robustesse d'un ordonnancement perturbé.
The use of the standard statistical models is not always effective from methodological point of view.
L'application des modèles statistiques ordinaires n'est pas toujours efficace du point de vue méthodologique.
The second part of this thesis is devoted to the verification of rare properties in statistical model checking.
La deuxième partie de cette thèse est consacrée à la vérification de propriétés rares.
The second part of this thesis is devoted to the verification of rare properties in statistical model checking.
La deuxième partie de cette thèse est consacrée à la vérification de propriétés rares.
The formalization in terms of a temporal logic and statistical model checking are the formal foundations of the developed approach.
La formalisation en termes de logique temporelle et la vérification statistique de modèles sont les fondements formels de l'approche.
To overcome this problem, we propose a verification framework based on Statistical Model Checking.
Pour surmonter ce problème, nous proposons un cadre de vérification sur la base Statistical Model Checking.
We use statistical model checking for analyzing performance requirements and introduce a stochastic abstraction technique to enhance its scalability.
Afin d'évaluer la performance de ce modèle, nous nous basons sur du model checking statistique que nous améliorons à l'aide d'une technique d'abstraction.
Abstract: In this thesis, we consider two problems that statistical model checking must cope.
Résumé : Dans cette thèse, nous considérons deux problèmes auxquels le model checking statistique doit faire face.
We evaluate some statistical model checking (SMC) methods to demonstrate the efficiency of probabilistic timing analysis of MPSoC systems.
Nous évaluons certaines méthodes de modèle checking statistique (SMC) pour démontrer l'efficacité de l'analyse temporelle probabiliste des systèmes MPSoC.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 2213. Exact: 2. Verstreken tijd: 107 ms.
