Reactive systems with unbounded event memorization / Cassez, Franck%Herbreteau, Frédéric%Roux, OlivierCorenthin, Alex%Philippe, Bernard-

Public ISBD Titre : Reactive systems with unbounded event memorization : *** Auteurs : Cassez, Franck%Herbreteau, Frédéric%Roux, OlivierCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 291-298 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SYSTEMES REACTIFS%OUTILS ET LANGAGES SPECIFIQUES%SEMANTIQUE%MEMORISATION ILLIMITEE Résumé : Dans cet article, nous étudions une machine d'états infinie pour modéliser le comportement des systèmes réactifs dans lesquels on prend en compte les mémorisations d'occurences de certains évènements. Nous montrons comment, à partir d'un système de transitions fini qui modélise la partie contrôlé d'un système réactif spécifié dans le langage electre, nous construisons un FIFFO-système de transitions qui permet de modéliser la mémorisation et le traitement des occurences enregistrées d'évènements. Les différentes étapes de cette construction sont illustrées au travers du problème de synchronisation bien connu des lecteurs-écrivains (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Reactive systems with unbounded event memorization : *** [] / Cassez, Franck%Herbreteau, Frédéric%Roux, OlivierCorenthin, Alex%Philippe, Bernard-,  . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 291-298 ; 24 cm. METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : SYSTEMES REACTIFS%OUTILS ET LANGAGES SPECIFIQUES%SEMANTIQUE%MEMORISATION ILLIMITEE Résumé : Dans cet article, nous étudions une machine d'états infinie pour modéliser le comportement des systèmes réactifs dans lesquels on prend en compte les mémorisations d'occurences de certains évènements. Nous montrons comment, à partir d'un système de transitions fini qui modélise la partie contrôlé d'un système réactif spécifié dans le langage electre, nous construisons un FIFFO-système de transitions qui permet de modéliser la mémorisation et le traitement des occurences enregistrées d'évènements. Les différentes étapes de cette construction sont illustrées au travers du problème de synchronisation bien connu des lecteurs-écrivains (Résumé d'auteur)- - - Note de contenu : - - - - - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Origine
37550	A 8544%A 8545%INF 207%INF 208	Livre	CIDST	Bibliotheque DDI	Exclu du prêt

---

1 (1 - 1 / 1)