Programmation reactive en OCaml (Französisch)
- Neue Suche nach: Deleuze, C.
- Neue Suche nach: Deleuze, C.
- Neue Suche nach: Roux, Olivier H.
- Neue Suche nach: Lime, Didier
In:
Modelisation des systemes reactifs: actes de MSR 2009
7/9
;
757-772
;
2009
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Programmation reactive en OCaml
-
Beteiligte:
-
Kongress:Colloque francophone, Modelisation des systemes reactifs: actes de MSR 2009 ; 2009 ; Nantes, France
-
Erschienen in:Modelisation des systemes reactifs: actes de MSR 2009 , 7/9 ; 757-772JOURNAL EUROPEEN DES SYSTEMES AUTOMATISES ; 43, 7/9 ; 757-772
-
Verlag:
- Neue Suche nach: Lavoisier
-
Erscheinungsdatum:01.01.2009
-
Format / Umfang:16 pages
-
Anmerkungen:Text in French with English abstracts.
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Französisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 725
-
Modele de contraintes temporelles pour systemes polychronesAndre, C. / Mallet, F. et al. | 2009
- 741
-
Implantation multitache de programmes synchrones multiperiodiquesBoniol, F. / Cordovilla, M. / Forget, J. / Lesens, D. / Pagetti, C. et al. | 2009
- 757
-
Programmation reactive en OCamlDeleuze, C. et al. | 2009
- 773
-
Politiques d'adaptation pour la reconfiguration du composant de localisationDormoy, J. / Kouchnarenko, O. / Mountassir, H. et al. | 2009
- 789
-
Modelisation et integration du diagnostic actif dans une architecture embarqueeChanthery, E. / Pencole, Y. et al. | 2009
- 805
-
Controle decentralise de systemes symboliques infinis sous observation partielleKalyon, G. / Le Gall, T. / Marchand, H. / Massart, T. et al. | 2009
- 821
-
Synthese de controleurs discrets. Mise en oeuvre materielle de superviseursRen, M. / Dumitrescu, E. / Niel, E. et al. | 2009
- 837
-
Demarche d'aide a la conception par approche multimode des SEDFaraut, G. / Pietrac, L. / Niel, E. et al. | 2009
- 855
-
Evaluation de l'influence d'un reseau de communication sans fil sur la commande d'un SEDHabib, G. / Marange, P. / Petin, J.-F. / Divoux, T. et al. | 2009
- 871
-
Reseau de neurones doublement recurrent a base de fonctions radiales : RR^2FR. Application au pronostic previsionnelTelmoudi, A.J. / Barkit, S. / Nabli, L. / Chetouani, Y. / M hiri, R. et al. | 2009
- 889
-
Test exhaustif de controleurs logiques specifies en Grafcet. Apports et limites d'une modelisation par machines de MealyProvost, J. / Roussel, J.-M. / Faure, J.-M. et al. | 2009
- 905
-
Exploration aleatoire de modelesOudinet, J. et al. | 2009
- 921
-
Notations pour le calcul reseauBoyer, M. / Jouhet, L. / Bouillard, A. et al. | 2009
- 937
-
Une methode de calcul de delais pire cas de bout en bout pour les reseaux SpaceWireFerrandiz, T. / Frances, F. / Fraboul, C. et al. | 2009
- 953
-
Analyse des delais de bout en bout pire cas dans des reseaux avioniquesScharbarg, J.-L. / Ermont, J. / Bauer, H. / Fraboul, C. et al. | 2009
- 969
-
Bornes du temps de reponse des services Web compositesHaddad, S. / Mokdad, L. / Youcef, S. et al. | 2009
- 985
-
Evaluation de delais dans les systemes de communication temps-reel en utilisant des files d'attente virtuellesAddad, B. / Amari, S. et al. | 2009
- 1001
-
Composer des reseaux de Petri temporelsPeres, F. / Berthomieu, B. / Vernadat, F. et al. | 2009
- 1017
-
Encadrement de systemes (min,+)-lineairesLe Corronc, E. / Cottenceau, B. / Hardouin, L. et al. | 2009
- 1033
-
Le produit synchrone des automates (max,+)Komenda, J. / Lahaye, S. / Boimond, J.-L. et al. | 2009
- 1049
-
Synthese de contraintes temporisees pour une architecture d'automatisation en reseauAndre, E. / Chatain, T. / De Smet, O. / Fribourg, L. / Ruel, S. et al. | 2009
- 1065
-
Mesures de l'equite d'une application temps reel a l'aide de geometrie discreteChoquet-Geniet, A. / Largeteau-Skapin, G. / Ouattara, A. et al. | 2009
- 1081
-
Representation tridimensionnelle de la dynamique des graphes d'evenements temporises generalisesCottenceau, B. / Hardouin, L. / Le Corronc, E. et al. | 2009
- 1097
-
Commande de graphes d'evenements temporises sur un horizon glissantGuezzi, A. / Declerck, P. / Boimond, J.-L. et al. | 2009