Your search returned 19 results. Subscribe to this search

|
1.  Monographies, textes A synchronous approach for hardware design / Michel Allemand, Francois Bodin, Apostolos Kountouris [al]Publication :[S.l. : sn], 10-1997Description : 34 p.Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2374] (1).
2. Thèses Analyse et modélisation du système cardio-vasculaire et sa régulation à court terme par le système nerveux autonome / Christophe VermeirenPublication :[S.l. : s.n., 1996?]Description : 143 p. : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[96 VER] (1).
3. Congrès Compositionality in dataflow synchronous languages: specification & code generation [[Texte imprimé]] / {P. Le guernic, A. Benveniste, P. Aubry}Publication :Rocquencourt : INRIA, 1997Description : 39 p. : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2373] (1).
4. Congrès DESCRIPTION ET SIMULATION D'UN SYSTEME DE CONTROLE DE PASSAGE A NIVEAU EN SIGNAL. / {B. Dutertre, P. Le guernic}Publication :ROCQUENCOURT : INRIA, 1991Description : 01 VOL.,62 P. : 16 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-493] (1).
5.  Monographies, textes Designing embedded systems with the SIGNAL programming language : synchronous, reactive specification [] / by Abdoulaye GamatiéPublication :New York, London : Springer, cop. 2010Description : 1 vol. (XXIII-259 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GAM] (1).
6.  Monographies, textes Le langage SIGNAL : un exemple en segmentation automatique de la parole continue / Claude Le MairePublication :[S.l.], 03-1990Description : 112 p.Availability: Copies available for loan: Bib. Paris[EMP C 113 (1217)] (1).
7. Congrès Un modèle structuré de communication et de synchronisation pour le parallélisme de tâches / {B. Raffin}Publication :Orléans (FRA) : [s.n.], 1997Description : 192 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2334] (1).
8. Congrès Modélisation de STATECHARTS en SIGNAL pour la conception de systèmes critiques temps-réel / par Jean-René BeauvaisPublication :Rennes (FRA) : Université de Rennes 1, 1999Description : 159 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[1999 BEA] (1).
9. Articles Polyhedral analysis for synchronous languages [[Texte imprimé]] / Frederic Besson, Thomas Jensen and Jean-Pierre TalpinPublication :Berlin, Heidelberg : Springer, 1999Description : P. 51-68 : Ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VEN 99] (1).
10. Congrès REAL-TIME,SYNCHRONOUS,DATA-FLOW PROGRAMMING / {P. Le guernic, A. Benveniste} : THE LANGUAGE SIGNAL AND ITS MATHEMATICAL SEMANTICS.Publication :ROCQUENCOURT : INRIA, 1987Description : 01 VOL.,106 P. : PR 2 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3478] (1).
11. Congrès SIGNAL : A DATA FLOW ORIENTED LANGUGAGE FOR SIGNAL. / {P. Le guernic, P. Bournai, A. Benveniste}Publication :ROCQUENCOURT : INRIA, 1985Description : 01 VOL.,62 P. : PR 2 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2964] (1).
12. Congrès Spécification et preuve de systèmes réactifs / David NowakPublication :Rennes : Université de Rennes 1, 1999Description : 175 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[1999 NOW] (1).
13.  Monographies, textes Stratégie perceptive d'un environnement statique dans un contexte de vision active / Éric Marchand, François Chaumette, Éric RuttenPublication :[S.l.], 10-1993Description : 42 p.Availability: Copies available for loan: Bib. Paris[EMP C 113 (2092)] (1).
14. Congrès SYSTEMES REACTIFS ET PROGRAMMATION SYNCHRONE. / {G. Berry, G. Gonthier, P. Couronne}Publication :ROCQUENCOURT : INRIA, 1986Description : 01 VOL.,13 P. : 18 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3194] (1).
15.  Monographies, textes The steam boiler controller problem in Signal-Coq / Mickaël Kerboeuf, David Nowak, Jean-Pierre TalpinPublication :[S.l.], 10-1999Availability: Copies available for reference: Centre de recherche en informatique[1999 BNI:8114] (1).
16.  Monographies, textes Tools for correct DSP synchronization / Alain Kerihuel, Roderick McConnell, Frédéric RaimbaultPublication :[S.l.], 04-1993Description : 13 p.Availability: Copies available for reference: Centre de recherche en informatique[1993 BNI: 9112] (1).
17. Congrès Transformations affines d'horloges / {I. Smarandache} : application au codesign de systèmes temps-réel en utilisant les langages SIGNAL et AlPHAPublication :Rennes : IRISA, 1998Description : 219 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[98 SMA] (1).
18. Congrès Utilisation de SynDEx pour le traitement d'images temps-réel : theme 4, simulation et optimisation de systemes complexes, projet Sosso / Caroline Aiglon, Christophe Lavarenne, Yves Sorel, Annie VicardPublication :Rocquencourt : INRIA, 1996Description : 79 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[1996 BNI:8419] (1).
19. Congrès Vers la synthèse automatique de circuits à partir de programmes SIGNAL / {K. Wolinski}Publication :Le Chesnay : INRIA, 1993Description : 24 P., 10 RF ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1450] (1).

Powered by Koha