Your search returned 230 results. Subscribe to this search

|
101. Congrès Modélisation d'architectures parallèles hétérogènes pour la génération automatique d'éxecutifs distribués temps réel optimisés / par Thierry GrandpierrePublication :Rocquencourt : INRIA, 2000Description : XVI-233 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[2000 GRA] (1).
102. 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).
103. Mémoires, thèses professionnelles Modélisation des compresseurs alternatifs de Lussagnet et projet d'implantation d'un simulateur online de réseaux de gaz au sein de TIGF [[Texte imprimé]] / Myriam SambaPublication :Paris : ENSMP, 2009Description : 1.vol. (97 p.) : Figures, tableaux ; 30 cmAvailability: Copies available for reference: Bib. Paris[EMP 155.749 CCL.6097] (1).
104. Congrès Modélisation des systèmes réactifs [Texte imprimé] : actes de MSR 2007, 17-19 octobre 2007, Lyon, France / sous la direction de Jean-Michel Muller, Éric Niel, Laurent PiétracPublication :Paris : Hermes science publications : Lavoisier, DL 2007Description : 1 vol. (313 p.) : ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[004.33 MUL m] (1).
105. Articles MONITORING PROGRAM EXECUTION [[Texte imprimé]] : A SURVEY. / {B. Plattner}Publication :New York : IEEE, 1981Description : P. 76 A 93 : RF 34 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5218] (1).
106. Congrès MULTIPROCESSEURS ET MULTIORDINATEURS EN TEMPS REEL.Publication :S.L. : AFCET, 1978Description : 01 VOL.,167 P. : PR X ; 29 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1374] (1).
107. Congrès NOTERE'97 : actes / du premier colloque international sur les nouvelles technologies de la repartition, Pau, France, 4-6 novembre 1997 ; sous la dir. de Omar RafiqPublication :Pau : Ed. TASC, 1997Description : 381 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2333] (1).
108.  Monographies, textes On the validation of robotics control systems / Daniel Simon, Eduardo Castillo, Paul Freedman, Analysis of real-time closed-loop control tasks, 2, Daniel Simon, Eduardo Castillo, Paul FreedmanPublication :Le Chesnay : Institut national de recherche en informatique et en automatique, 1995Description : 24 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 113 (2720)] (1).
109. Congrès OOPSLA '2000 : Objects for the new millennium : Conference on Object-Oriented Programming, Systems, Languages, and Applications, October 15-19, 2000, Minneapolis Convention Center, Minneapolis, Minnesota USA : Conference proceedings / sponsored by ACM SIGPLAN in cooperation with ACM SIGSOFTPublication :New York : Association for Computing Machinery, c2000Description : x, 402 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[MIN 00] (2).
110.  Monographies, textes Optimal scheduling of parallel processing systems with real-time constraints / {Z. Liu, F. Baccelli, D. Towsley}Publication :Le Chesnay : Institut national de recherche en informatique et en automatique, 1989Description : 37 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 113 (1113)] (1).
111.  Monographies, textes Optimisation globale du placement d'applications de traitement du signal sur architectures parallèles en utilisant la programmation logique avec contraintes / Christophe Guettier ; sous la direction de François IrigoinPublication :1997Description : 1 vol. (330 p.) : ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 146.212 CCL.TH.887] (1). Copies available for reference: Bib. Paris[EMP 146.211 CCL.TH.887] (1), Centre de recherche en informatique[EM AI CI200-2379] (1).
112.  Monographies, textes Ordonnancement dans les systèmes temps réel / sous la direction de Maryline ChettoPublication :London : ISTE éditions, impr. 2014, cop. 2014Description : 1 vol. (397 p.) : ill. en noir et blanc., fig., tabl., couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Bib. Paris[658.53 ORD o] (1).
113. Thèses Ordonnancement et temps réel [Texte imprimé] / Henri PradePublication :Toulouse : École nationale supérieure de l'aéronautique er de l'espace, 1977Description : 120 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 131.419 CCL.TH.294] (1).
114.  Monographies, textes Ordonnancement temps réel [] : cours et exercices corrigés / Francis Cottet, Joëlle Delacroix, Claude Kaiser,... [et al.]Publication :Paris : Hermès science publications, impr. 2000Description : 1 vol. (207 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[COT] (2).
115.  Monographies, textes Ordonnancement temps réel dur multiprocesseur tolérant aux fautes appliqué à la robotique mobile / Mohamed Marouf ; sous la direction de Brigitte d' Andréa-Novel et de Yves SorelPublication :2012Availability: Accès au texte intégral | Click here to access online | Click here to access online Copies available for reference: En ligne[http://pastel.archives-ouvertes.fr/pastel-00720934] (1).
116. Congrès Outils pour la validation de contraintes de synchronisation dans des systemes distribues / {C. Chaouiya}Publication :S.L. : [s.n.], 1992Description : 181 P., 72 RF ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1178] (1).
117. Articles PACT 2001 Workshops [[Texte imprimé]] : special issue / introduction, Mateo Valero...(et al.)Publication :New York : ACM Press, 2001Description : P. 9-85 : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[BAR 01] (2).
118.  Monographies, textes Performance solutions : a practical guide to creating responsive, scalable software / Connie U. Smith, Lloyd G. WilliamsPublication :Boston, Toronto, Paris : Addison-Wesley, 2002Description : XXXII-510 p. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[SMI] (1).
119. Mémoires, thèses professionnelles Pilotage des capteurs d'un robot NAO [ [Texte imprimé]] / Marie Daul ; sous la direction de Cyrille EnderliPublication :[S.l.] : [s.n.], 2014Description : 1 vol. (35 f.) : ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 158.089 CCL 6152] (2).
120. Thèses Planification de trajectoire pour un robot polygonal non-holonome dans un environnement polygonal [Microforme] / Xuan-Nam BuiPublication :[S.l.] : [s.n.], 1994Description : 1 microficheAvailability: Copies available for loan: Bib. Paris[EMP 142.268 CCL.TH.759] (2). Copies available for reference: Sophia Antipolis[EMS T-CMA-0031] (1).
121. Congrès POUR UNE FORMALISATION MATHEMATIQUE DES PROBLEMES "TEMPS REEL". PARTIE 3 : SPECIFICATION DE RESEAUX DE PROCESSUS, QUELQUES EXEMPLES. / {E. Decamp}Publication :S.L. : CNRS IMAG, 1984Description : 01 VOL.,27 P. : RF 3 ; 29 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2198] (1).
122. Congrès Predicting deterministic execution times of real-time programs / Chang Yun ParkPublication :Seattle (WA) : Univ. Washington, 1992Description : 156 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[1992 BNI: 9068] (1).
123.  Monographies, textes Principles of concurrent and distributed programming [] / M. Ben-AriPublication :New York, London, Toronto [etc] : Prentice Hall, 1990Description : 1 vol. (X-225 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-152] (1).
124. Congrès Prise en compte des contraintes temps réel dans un système multibases de connaissances / {J. Le mentec}Publication :S.L. : [s.n.], 1992Description : 167 P., PR 13 ; 29 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1194] (1).
125. Congrès Proceedings 1999 : Design Automation Conference, 36th, Ernest N. Morial Convention Center, New Orleans, LA, June 21-25, 1999 / sponsored by ACM...[et al]Publication :New York : Association for Computing Machinery, c1999Description : xxxii, 1003 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[NEW 99] (1).

Powered by Koha