Your search returned 28 results. Subscribe to this search

|
1.  Monographies, textes An exact algorithm for the constraint satisfaction problem : application to dependance computing in automatic parallelization / Hachemi Bennaceur, Gérard Plateau, François ThomassetPublication : Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1990Description : 24 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-014] (1).
2. Congrès Analysis of Standard and new Algorithms for the Integer and linear Constraint Satisfaction Problem / {J. Sogno}Publication : S.L. : [s.n.], 1992Description : 50 P., PR 2 ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1158] (1).
3. Congrès AUTOMATIC ANALYSIS AND TRANSFORMATION OF FORTRAN PROGRAMS USING A TYPED FUNCTIONAL LANGUAGE. / {N. Rostaing, S. Dalmas}Publication : ROCQUENCOURT : INRIA, 1991Description : 01 VOL.,10 P. : 7 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-544] (1).
4. Congrès AUTOMATIC DETECTION OF PARALLELISM IN SCIENTIFIC PROGRAMS - APPLICATION TO ARRAY-PROCESSORS -. / {A. Lichnewsky, C. Eisenbeis, F. Thomasset}Publication : ROCQUENCOURT : INRIA, 1987Description : 01 VOL.,37 P. : 1 PR ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3939] (1).
5.  Monographies, textes Automatic parallelization of programs with tools of trace theory / Cérin, ChristophePublication : Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique, 1992Description : 22 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-954] (1).
6. Congrès AUTOMATIC PARALLELIZATION OF STRUCTURED IF STATEMENTS WITHOUT IF CONVERSION. / {M. Giboulot, F. Thomasset}Publication : ROCQUENCOURT : INRIA, 1991Description : 01 VOL.,24 P. : 16 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-467] (2).
7. Congrès Global semi-Lagrangian atmospheric model based on compact finite-differences and its implementation on a parallel computer : Thème 4 - simulation et optimisation de systémes complexes Projet NUMATH / {M. Tolstykh}Publication : Rocquencourt Le Chesnay : INRIA, 1997Description : 25 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2150] (1).
8. Congrès LANCER DE RAYON SUR DES ARCHITECTURES PARALLELES / {T. Priol, K. Bouatouch} : UNE ETUDE DE PERFORMANCE.Publication : ROCQUENCOURT : INRIA, 1989Description : 01 VOL.,18 P. : 24 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5128] (1).
9. Congrès METHODE (UNE) DE TRANSFORMATION DE PROGRAMMES APPLICABLE A LA SYSTOLISATION. / {R. Durand, M. Vergne, B. Joinnault}Publication : ROCQUENCOURT : INRIA, 1987Description : 01 VOL.,16 P. : PR 3 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3793] (1).
10.  Monographies, textes Microcode optimization for the PCS processor / François Bodin, François Charot, Charles WagnerPublication : Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1989Description : 23 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6360] (1).
11. Congrès On the removal of anti and output dependences / {F. Vivien, A. Darte, P. Calland, Y. Robert}Publication : Roquencourt(FRA) : INRIA, 1996Description : 19 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2021] (1).
12.  Monographies, textes Optimal loop parallelization under register constraints / Christine Eisenbeis, Antoine Sawaya, Christine Eisenbeis, Antoine SawayaPublication : Le Chesnay : Institut national de recherche en informatique et en automatique, 1996Description : 27 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 113 (2781)] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI200-2018] (1).
13. Congrès Optimisation de programmes annotés par des assertions : Thème1 Réseaux et systèmes - projet A3 / Pierre AmiranoffPublication : Rocquencourt (FRA) : INRIA, 2000Description : 28 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[2000 BNI: 8554] (1).
14.  Monographies, textes Optimization of number of processors in VLSI arrays / Yannick SaouterPublication : [S.l.], 09-1994Description : 27 p.Availability: Copies available for loan: Bib. Paris[EMP C 113 (2333)] (1).
15. Congrès ParaGraph, An interactive environment for parallelizing FORTRAN programs / {B. Dion}Publication : S.L. : [s.n.], 1993Description : 56 P., 32 RF ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1250] (1).
16.  Monographies, textes Parallel branch and bound algorithms : an overview / Catherine RoucairolPublication : Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1989Description : 11 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5123] (1).
17.  Monographies, textes Parallel multigrid methods : implementation on SUPRENUM-like architectures and applications / Karl Solchenbach, Clemens-August Thole, Ulrich TrottenbergPublication : Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1987Description : 20, [1] p. : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3794] (1).
18.  Monographies, textes Parallélisation d'un algorithme de détection de mouvement sur une architecture MIMD / Fabrice Heitz, Sergui Jufresa, Etienne Mémin [et al.]Publication : [S.l.], 07-1992Description : 34 p.Availability: Copies available for loan: Bib. Paris[EMP C 113 (1738)] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI200-971] (1).
19. Congrès Parallelisation of finite element codes with automatic placement of communications / Laurent HascoëtPublication : Rocquencourt (FRA) : INRIA, 1999Description : 25 p. : Ill. ; 29 cmAvailability: Copies available for reference: Centre de recherche en informatique[99 BNI:7853] (1).
20.  Monographies, textes Parcours parallèles de graphes d'états par des algorithmes de la famille A* en intelligence artificielle / {V. Cung} = Parallel and distributed A*-like state space search algorithms in artificial intelligencePublication : Le Chesnay : Institut national de recherche en informatique et en automatique, 1993Description : 50 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 113 (1900)] (1).
21.  Monographies, textes Plugging anti and output dependence removal techniques into loop parallelization algorithms [ [Texte imprimé]] = Intégration des techniques d'éliminations des anti et output dépendances dans les algorithmes de parallélisation automatique / Pierre-Yves Calland, Alain Darte, Yves Robert, [et al.]Publication : Le Chesnay : Institut national de recherche en informatique et en automatique, 1996Description : 20 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 113 (2914)] (1).
22.  Monographies, textes Sparse matrix multiplication on vector computers / Jocelyne ErhelPublication : Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1989Description : 16 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6437] (1).
23.  Monographies, textes Static dependence analysis and control for loop scheduling / Christine Eisenbeis, William JalbyPublication : Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, [1990]Description : 21 p. : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-159] (1).
24. Congrès Task level parallelization for seismic modeling and inversion / Michel Kern, Roelof Versteeg, William W. SymesPublication : Rocquencourt (FRA) : INRIA, 1994Description : 13 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[1994 BNI:8092] (1).
25. Congrès TECHNIQUES DE BASE SUR L'EXPLOITATION AUTOMATIQUE DU PARALLELISME DANS LES PROGRAMMES. / {A. Lichnewsky, F. Thomasset}Publication : ROCQUENCOURT : INRIA, 1985Description : 01 VOL.,54 P. : PR 5 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3018] (2).

Powered by Koha