Choquet-Geniet, Annie, 1961-....
Choquet-Geniet, Annie
VIAF ID: 14806961 ( Personal )
Permalink: http://viaf.org/viaf/14806961
Preferred Forms
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
About weak confluence for systems of nets communicating through fifos | |
Aide à la validation temporelle et au dimensionnement de systèmes temps réels dans une démarche dirigée par modèles | |
Analyse et propriétés des processus communiquant par files FIFO réseaux à files à choix libre topologique et réseaux à files linéaires | |
Analysis and properties of processes communicating by fifos topologically free choice fifo nets and linear fifo nets. | |
Applications of residues for the analysis of parallel systems communicating by Fifo channels | |
Contribution à la mise en oeuvre d'un moteur d'exécution de modèles UML pour la simulation d'applications temporisées et concurrentes. | |
Contribution to the realization of an UML execution engine for simulating timed and concurrent applications. | |
An extension of free choice nets to fifo | |
Fifo nets without order deadlock | |
Un framework d'aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones | |
Help With Temporal Validation and Sizing of Real-Time Systems in a Model Driven Engineering Approach.. | |
Implementation of periodic task sets for off-line scheduling. | |
Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel | |
Integration of semantics elements in the schedulability analysis of real-time applications. | |
Mise en oeuvre applicative de séquences d'ordonnancement hors-ligne | |
Ontological exploration of data from rare disease patients. | |
Ordonnancement temps réel pour l'optimisation de la qualité de service dans les systèmes autonomes en énergie | |
Outils mathématiques pour la licence d'informatique Université de Paris XI [1989-1990] | |
Real-time scheduling for the optimization of quality of service in autonomous systems. | |
Réseaux de Petri et systèmes parallèles | |
réseaux de Petri un outil de modélisation cours et exercices corrigés | |
Robustesse des applications temps-réel multicoeurs : techniques de construction d'un ordonnacement équitable tolérant aux pannes matérielles | |
Robustness of Multicore Real-Time Apllications : Building Techniques for Processor Failures Tolerant Scheduling. | |
Simulation of linear fifo nets by a new class of petri nets |