Your search returned 16 results. Subscribe to this search

|
1.  Monographies, textes A uniform approach for compile-time and run-time specialization / Charles Consel, Luke Hornof, François Noël, [et al.], Charles Consel, Luke Hornof, François Noël, [et al.]Publication :Le Chesnay : Institut national de recherche en informatique et en automatique, 1996Description : 14 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 113 (2775)] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI200-2017] (1).
2. Thèses / Béatrice CreusilletAnalyses de régions de tableaux et applications, Béatrice CreusilletPublication :Paris : ENSMP, 1996Description : XVI-313 P. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 144.735 CCL.TH.860] (2). Copies available for reference: Centre de recherche en informatique[EM AI CI200-2068] (3).
3. Thèses / Jean-Pierre TalpinAspects théoriques et pratiques de l'inférence de type et d'effets, Jean-Pierre TalpinPublication :Fontainebleau : ENSMP, 1993Description : 117 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 142.535 CCL.TH.767] (2). Copies available for reference: Centre de recherche en informatique[EM AI CI200-1634] (1).
4. Thèses / Julien ZoryContributions à l'optimisation de programmes scientifiques, Julien ZoryPublication :Fontainebleau : ENSMP, 1999Description : 251 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 147.972 CCL.TH.957] (2). Copies available for reference: Centre de recherche en informatique[99 ZOR] (1).
5. Thèses / Fabien CoelhoContributions à la compilation du High Performance Fortran, Fabien CoelhoPublication :Paris : ENSMP, 1996Description : xxxiv-284 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 144.519 CCL.TH.850] (2). Copies available for reference: Centre de recherche en informatique[EM AI CI200-1989] (2).
6.  Monographies, textes / Susan Flynn Hummel, Edith Schonberg, Lawrence E. FlynnFactoring : a practical and robust method for scheduling parallel loops, Susan Flynn Hummel, Edith Schonberg, Lawrence E. FlynnPublication :Fontainebleau : ENSMP, 1992Description : 16 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 140.968 CCL.5535] (2). Copies available for reference: Centre de recherche en informatique[EM AI CI200-245] (1).
7. Thèses / Martine AncourtGénération automatique de codes de transfert pour multiprocesseurs à mémoires locales, Martine AncourtPublication :Fontainebleau : ENSMP, 1991Description : 175 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 140.087 CCL.TH.668] (2). Copies available for reference: Centre de recherche en informatique[EM AI CI200-198] (1).
8. Thèses De la sémantique opérationnelle à la spécification formelle de compilateurs [Texte imprimé] : l'exemple des boucles en Esterel / par Olivier Tardieu ; sous la direction de Gérard BerryPublication :[S.l.] : [s.n.], 2004Description : 1 vol. (130 p.) ; 30 cmAvailability: Click here to access online Copies available for reference: Centre de recherche en informatique[04 TAR] (1), Sophia Antipolis[EMS T-CMA-055] (1).
9.  Monographies, textes Optimisation des transferts de données pour le traitement du signal : pavage, fusion et réallocation des tableaux / par Youcef Bouchebaba ; sous la dir. de François IrigoinPublication :2002Description : 1 vol. (156 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 150.790 CCL.TH.1064] (1). Copies available for reference: Bib. Paris[EMP 150.789 CCL.TH.1064] (1), Centre de recherche en informatique[02 BOU] (1).
10.  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).
11.  Monographies, textes / Béatrice Apvrille-CreusilletRégions exactes et privatisation de tableaux, Béatrice Apvrille-CreusilletPublication :Paris : ENSMP, 1994Description : 88 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 143.224 CCL.5621] (2). Copies available for reference: Centre de recherche en informatique[EM AI CI200-1590] (1).
12.  Monographies, textes STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS. [ [Texte imprimé]] / {H. Abelson, G. Sussman}Publication :CAMBRIDGE : MIT press, 1987Availability: Copies available for loan: Bib. Paris[EMP 109.674] (1). Copies available for reference: Centre de recherche en informatique[ABE] (3).
13. Thèses / {Y. Tang}Systèmes d'effet et interprétation abstraite pour l'analyse de flot de contrôlePublication :Paris : ENSMP, 1994Description : 118 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 143.245 CCL.TH.791] (2). Copies available for reference: Centre de recherche en informatique[EM AI CI200-1558] (1).
14.  Monographies, textes Tools and notions for program construction : an advanced course / edited by D. NéelPublication :Cambridge, New York : Cambridge University Press, 1982Description : xiii, 399 p. : ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 109.960] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI1690] (1).
15.  Monographies, textes Vérifications efficaces des applications scientifiques par analyse statique et instrumentation de code / par Thi Viet Nga Nguyen ; sous la dir. de François IrigoinPublication :2002Description : 1 vol. (189 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 150.759 CCL.TH.1063] (2). Copies available for reference: Centre de recherche en informatique[02 NGU] (1).
16.  Monographies, textes Worst-case analysis of scheduling heuristics of parallel systems / Zhen Liu, Zhen LiuPublication :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 (2710)] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI200-1934] (1).

Powered by Koha

//]]>