Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
model checking techniques
Vertaling van "model checking techniques" in Frans
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.
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.
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.
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 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
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.
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.
Cyber-physical consistency aims at maintaining a consistent behaviourof the application with respect to the physical world, as well as avoiding dangerous andcostly circumstances.The approach was validated using model checking techniques to verify important correctnessproperties.
Laprocédure de reprise sur panne en assurant la cohérence cyber-physique évite les impactsdangereux et coûteux de la défaillance sur le monde physique.L'approche proposée a été validée à l'aide de techniques de vérification par modèle afin devérifier que certaines propriétés importantes sont satisfaites.
Abstract: In this thesis, we present the use of model checking techniques for inference of parameters of Gene Regulatory Networks (GRNs) and formal analysis of a signalling pathway.
Résumé : Dans ce mémoire, nous présentons l'utilisation de techniques de model-checking pour l'inférence de paramètres de réseaux de régulation génétique (GRN) et l'analyse formelle d'une voie de signalisation.
Abstract: This thesis provides an efficient formal scheme for the tool-supported real-time system verification by combination of abstraction-based deductive and model checking techniques in order to handle the limitations of the applied verification techniques.
Ce schéma repose sur la combinaison par abstraction de techniques déductives et de model checking, et cette combinaison permet de contourner les limites de chacune de ces techniques.
Synoniemen voor model checking techniques in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 12. Exact: 12. Verstreken tijd: 44 ms.
