Vertaling van "Model Checking Statistique" in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
statistical model checking
Résumé : Dans cette thèse, nous considérons deux problèmes auxquels le model checking statistique doit faire face.
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.
We use statistical model checking for analyzing performance requirements and introduce a stochastic abstraction technique to enhance its scalability.
Nous utilisons donc une nouvelle méthode d'approximation, appelée Model Checking Statistique Paramétrique.
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é.
More precisely, stochastic timed automata and statistical model-checking are used to measure the robustness of a perturbed schedule.
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.
Nous utilisons donc une nouvelle méthode d'approximation, appelée Model Checking Statistique Paramétrique.
We therefore develop a new approximation method, called Parametric Statistical Model Checking.
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.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor Model Checking Statistique in het Frans
