Your search returned 22 results. Subscribe to this search

|
1. Congrès A Static Parameter based performance Prediction tool for parallel programs / {T. Fahringer}Publication :S.L. : [s.n.], 1993Description : 12 P., 33 RF ; 29 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1017] (1).
2. Congrès ANALYSE STATIQUE DES PROPRIETES LINEAIRES DES SYSTEMES INDETERMINISTES ET PARALLELES. / {N. Halbwachs}Publication :S.L. : [s.n.], 1983Description : 01 VOL.,28 P. : RF 14 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2658] (1).
3. Thèses Analyse statique et dynamique de la complexité des programmes scientifiques / {L. Zhou}Publication :300740, Paris : ENSMP, 1994Description : 118 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 143.243 CCL.TH.736] (2). Copies available for reference: Centre de recherche en informatique[EM AI CI200-1619] (1).
4. Congrès Compilation techniques for explicitly parallel programs / by Jaejin LeePublication :Urbana (IL) : UNIV. ILLINOIS, 1999Description : XII-153 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[1999 LEE] (1).
5. Congrès Détection et exploitation des récurrences dans les programmes scientifiques en vue de leur parallélisation / {X. Redon}Publication :Paris : [s.n.], 1995Description : 171 P., 65 RF ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1705] (2).
6. Congrès FORTRAN STATIC SOURCE CODE ANALYZER PROGRAM (SAP) SYSTEM DESCRIPTION.Publication :MARYLAND : NASA, 1982Description : 01 VOL.,230 P. : PR 7 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2791] (1).
7.  Monographies, textes Intelligence artificielle [Texte imprimé] : application à l'analyse de programmes / Harald Wertz,...Publication :Paris, New York, Barcelone [etc.] : Masson, 1985, 05-Gap : Impr. Louis-JeanDescription : 1 vol. (XI-218 p.) : graph., couv. ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 107.579] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI2659] (1).
8. Congrès International Conference on Software Maintenance [Texte imprimé] : proceedings : October 3-6, 2002, Montreal, Quebec, Canada / sponsored by IEEE Computer Society Technical Council on Software Engineering (TCSE)Publication :Los Alamitos, California : IEEE Computer Society, cop. 2002Description : XVIII-668 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[MON 02] (1).
9. Congrès Languages and compilers for parallel computersPublication :San Jose (CA) : [s.n.], 1996Description : pagination aléatoire : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2028] (1).
10. Congrès Languages and compilers for parallel computing : 9th international workshop, LCPC'96, San Jose, California, USA, August 1996 : proceedings / David Sehr... [et al.] (eds.)Publication :Berlin, New York : Springer, 1997Description : xiii, 612 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI 200-2169] (2).
11. Congrès Languages, compilers, & tools for real-time systemsPublication :1515, Broadway N.Y. 10036, New York : ACM, 1995Description : 155 P., X RF : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI16396] (2).
12. Articles New types signatures for legacy fortran subroutines [[Texte imprimé]] / Nicky Williams PrestonPublication :New York : ACM, 1999Description : P. 76-85 : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[TOU 99] (1).
13. Congrès Ninth Working conference on reverse engineering (WCRE 2002) : proceedings : 29 october - 1 november 2002, Richmond, Virginia / ed. by Arie Van Deursen, Elisabeth BurdPublication :Los Alamitos (CA) : IEEE Computer society, 2002Description : X-349 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[RIC 02] (1).
14. Articles OMEGA - A DATA FLOW ANALYSIS TOOL FOR THE C PROGRAMMING LANGUAGE. [[Texte imprimé]] / {C. Wilson}Publication :New York : IEEE, 1985Description : P. 832 A 838 : 12 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI8091] (1).
15. Congrès PERFORMANCE CHARACTERIZATION OF N3S / {F. Juang, G. Yang} : A METHODOLOGY AND A CASE STUDY.Publication :S.L. : [s.n.], 1992Description : 01 VOL.,127 P. : 10 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-765] (1).
16. Congrès Proceedings, Supercomputing '90 : November 12-16, 1990, New York Hilton at Rockefeller Center, New York, New York / sponsored by IEEE Computer Society, ACM SIGARCH ; in cooperation with Lawrence Livermore National Laboratory ... [et al.]Publication :Los Alamitos, Calif. : IEEE Computer Society Press, c1990Description : xxv, 982 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-475] (1).
17. Congrès SERIES GENERATRICES ET ANALYSE AUTOMATIQUE D'ALGORITHMES. / {P. Zimmermann}Publication :ROCQUENCOURT : INRIA, 1991Description : 01 VOL.,191 P. : PR 4 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-358] (2).
18. Congrès SIGSOFT 2002/FSE 10 [Texte imprimé] : Proceedings of the Tenth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-10), November 18-22, 2002, Charleston, South Carolina, USA / ed. by William G. Griswold ; Sponsored by SIGSOFT...Set Level : , Software engineering notes, v. 27, no. 6Publication :New york, N.Y. : ACM Press, cop. 2002Description : VI-178 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[CHA 02] (1).
19. Articles STATIC ANALYSIS OF PROGRAMS AS AN AID TO DEBUGGING. [[Texte imprimé]]Publication :New York : ACM, 1983Description : P. 155 A 171 : RF 17 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI7171] (1).
20. Congrès SYSTEME (UN) QUI MET EN EVIDENCE DES ERREURS SEMANTIQUES DANS LES PROGRAMMES. / {J. Laurent}Publication :S.L. : [s.n.], 1978Description : 01 VOL.,205 P. : PR 11 ; 29 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2597] (2).
21. Articles Testability analysis for software components [[Texte imprimé]] / {M. Delaunay, T. Nguyen, C. Robach}Publication :Los Alamitos (CA) : IEEE Computer society, 2002Description : P. 422-429 : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[MON 02] (1).
22. Thèses UTILISATION DES TRANSFORMATIONS SEMANTIQUES POUR LA CORRECTION AUTOMATIQUE DES PROGRAMMES / ANNE ADAMPublication :[S.l.] : [s.n.], 1978Description : 119-(11) P. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2118] (1).

Powered by Koha

//]]>