Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Geniet, Annie"'
CoNEXT 2023 - 19th Conference on emerging Networking EXperiments and Technologies Mission, December 5-8, 2023, Paris, France; One of the breaking changes induced by Industry 4.0 will be the networking of production equipment. To achieve this, the Tim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3515::8d908446bcad29cdd28cd2aef8da9b81
https://cea.hal.science/cea-04156793/file/CoNEXT_2023.pdf
https://cea.hal.science/cea-04156793/file/CoNEXT_2023.pdf
Nous proposons une méthodologie d’ordonnancement hors ligne d’applications temps réel comportant des tâches à durées variables, les variations provenant de la présence d’instructions conditionnelles dans le corps des tâches. Après avoir
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::bcf780b591be5c0ee72dc9c450198711
https://hal.archives-ouvertes.fr/hal-03702477
https://hal.archives-ouvertes.fr/hal-03702477
Publikováno v:
In IFAC Proceedings Volumes September 2004 37(18):363-368
Autor:
Choquet-Geniet, Annie *, Grolleau, Emmanuel
Publikováno v:
In Theoretical Computer Science 2004 310(1):117-134
Publikováno v:
In IFAC Proceedings Volumes May 2000 33(7):89-94
Publikováno v:
international Workshop on Verification and Evaluation of Computer and Communication Systems
international Workshop on Verification and Evaluation of Computer and Communication Systems, Aug 2012, Paris, France
international Workshop on Verification and Evaluation of Computer and Communication Systems, Aug 2012, Paris, France
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c01e695f2f621fdeebc811eec43c51eb
https://hal.archives-ouvertes.fr/hal-01141645
https://hal.archives-ouvertes.fr/hal-01141645
Publikováno v:
Actes des 10es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement et Logiciels-AFADL 2010
National audience; Nous proposons une modélisation formelle des applications temps- réel (ATR) basée sur les réseaux de Petri (RdP), qui prend en compte de façon explicite les instructions conditionnelles (IC) et la sémantique des tests conditi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3a88ab1a69a71a7e0649d50b2e07d86f
https://hal-supelec.archives-ouvertes.fr/hal-00494563
https://hal-supelec.archives-ouvertes.fr/hal-00494563
Publikováno v:
Journal Européen des Systèmes Automatisés (JESA)
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2009, 43, pp.1065--1080
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2009, 43, pp.1065--1080
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f477f0ed04f7e541098756fbb64788a5
https://hal.archives-ouvertes.fr/hal-00496902
https://hal.archives-ouvertes.fr/hal-00496902
In this paper, we focus on the use of discrete geometry for the sake of real-time modeling and analysis. We consider multiprocessor context, and we determine the geometrical characterization of PFair scheduling algorithms, which are known to be very
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9e34f1146f827f7f5555422beaa3d180
https://hal.archives-ouvertes.fr/hal-00381677/document
https://hal.archives-ouvertes.fr/hal-00381677/document
Autor:
Choquet-Geniet, Annie
Publikováno v:
Dunod, 2006, Sciences Sup, 2-10-049147-4
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0919c20fea48ccfdc454a27a592bc5d8
https://hal.archives-ouvertes.fr/hal-03368901
https://hal.archives-ouvertes.fr/hal-03368901