Your search returned 27 results. Subscribe to this search

|
1. Articles A linear algebra framework for static HPF code distribution [ [Texte imprimé]] / {C. Ancourt}Publication : Fontainebleau : ENSMP, 1993Description : 16 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 142.325 CCL.5583] (2).
2. Articles A rationale for programming with ease [ [Texte imprimé]] / Steven Ericsson-ZénithPublication : Fontainebleau : ENSMP, 1991Description : 11 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 140.980 CCL.5537] (2).
3. Articles Algebraic reconstruction of types and effects [ [Texte imprimé]] / P. Jouvelot, D.K. GiffordPublication : Fontainebleau : ENSMP, 1991Description : 8 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 140.978 CCL.5537] (2).
4.  Monographies, textes / Pierre JouvelotAnalyse statique comportementale des langages de programmation, Pierre JouvelotPublication : Paris : ENSMP, 1994Description : 239 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 143.222 CCL.5620] (2).
5. 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).
6.  Monographies, textes Certification du Linker Java Card 2.1.1 / Jean-Marc HospitalPublication : ENSMP, 2003Description : 34 f. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 154.190 CCL.5938] (2).
7.  Monographies, textes [Compilation de logiques temps réel] / Jean-Marc Le Roy, Jean-Marc Le RoyPublication : ENSMP, 2004Description : 36 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 152.150 CCL.5890] (2).
8.  Monographies, textes / Fabien CoelhoCompilation of I-O communications for HPF, Fabien CoelhoPublication : Fontainebleau : ENSMP, 1994Description : 8 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 143.239 CCL.5621] (2).
9. 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).
10.  Monographies, textes / François CampanaDéveloppement d'un support-pack pour le logiciel MQSeries Everyplace, François CampanaPublication : ENSMP, 2001Description : 32 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 149.464 CCL.5809] (2).
11.  Monographies, textes Effects systems with subtyping / Yan-Mei Tang, Pierre Jouvelot, Yan-Mei Tang, Pierre JouvelotPublication : Fontainebleau : ENSMP, 1993Description : 17 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 142.321 CCL.5583] (2).
12.  Monographies, textes / Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Ronan KeryellEfficient intraprocedural array bound checking, Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Ronan KeryellPublication : Fontainebleau : ENSMP, 2000Description : [10 f.] ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 148.940 CCL.5794] (1).
13.  Monographies, textes / Fabien CoelhoEtude de la compilation du High performance Fortran, Fabien CoelhoPublication : Fontainebleau : ENSMP, 1993Description : 170 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 142.332 CCL.5583] (2).
14.  Monographies, textes / Fabien CoelhoExperiments with HPF compilation for a network of workstations, Fabien CoelhoPublication : Fontainebleau : ENSMP, 1994Description : 6 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 143.227 CCL.5621] (2).
15.  Monographies, textes / Fabien CoelhoHPF et l'état de l'art, Fabien CoelhoPublication : Fontainebleau : ENSMP, 1994Description : 4 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 143.231 CCL.5621] (2).
16.  Monographies, textes / Jean-Pierre Talpin, Mads TofteImplementation of the typed call-by-value lambda-calculus using a stack of regions, Jean-Pierre Talpin, Mads ToftePublication : Fontainebleau : ENSMP, 1993Description : 14 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 142.330 CCL.5583] (2).
17.  Monographies, textes / Grégoire PinsardLOGMETRIX, Grégoire PinsardPublication : ENSMP, 2001Description : 28 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 149.470 CCL.5809] (2).
18. Mémoires, thèses professionnelles Optimization of array bound checking / Nguyen thi Viêt Nga, Nguyen thi Viêt NgaPublication : Fontainebleau : ENSMP, 2000Description : 21 f. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 148.946 CCL.5795] (1).
19. Thèses / Steven Ericsson-ZenithLes philosophies sur l'interaction des processus = Process interaction models, Steven Ericsson-ZenithPublication : Fontainebleau : ENSMP, 1992Description : 245 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 141.594 CCL.TH.725] (2). Copies available for reference: Centre de recherche en informatique[EM AI CI200-1052] (1).
20.  Monographies, textes / J.P. Talpin, P. JouvelotPolymorphic type region and effect inference, J.P. Talpin, P. JouvelotPublication : Fontainebleau : ENSMP, 1991Description : 28 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 140.984 CCL.5537] (2).
21.  Monographies, textes / {P. Orbaek, C. Consel, P. Jouvelot}Separate polyvariant binding time reconstructionPublication : Fontainebleau : ENSMP, 1994Description : 25 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 143.233 CCL.5621] (2).
22.  Monographies, textes / {S. Flynn hummel, R. Kelly, R. Hummel}SET-BASED (A) LANGUAGE FOR PROTOTYPING PARALLEL ALGORITHMS.Publication : FONTAINEBLEAU : ENSMP, 1991Description : 01 VOL.,18 P. : RF 21 ; 30 CMAvailability: Copies available for loan: Bib. Paris[EMP 140.970 CCL.5535] (2).
23. 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).
24.  Monographies, textes The FX-CM compiler backend / J.P. Talpin, P. Jouvelot : or taming massive parallelism with an effect system, J.P. Talpin, P. JouvelotPublication : Fontainebleau : ENSMP, 1991Description : 10 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 140.954 CCL.5535] (2).
25.  Monographies, textes / J.P. Talpin, P. JouvelotThe type and effect displine, J.P. Talpin, P. JouvelotPublication : Fontainebleau : ENSMP, 1991Description : 32 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 140.986 CCL.5537] (2).

Powered by Koha