Centre de recherche en informatique
Mathématiques et systèmes
A/253/CRI :
- MATISSES: UNE MACHINE A TRANSPUTER INCLUANT LA SYNCHRONISATION SCALAIRE. 1993
- IN : 5ème Rencontres sur le Parallélisme, RenPar'5, Brest, France, May 1993
- Ronan Keryell
- IMPLEMENTATION OF THE TYPED CALL-BY-VALUE $lambda$-CALCULUS USING A STACK OF REGIONS. Novembre 1993
- IN : The 21st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, PoPL'94, Portland, Oregon, USA, January 16-19, 1994
- Jean-Pierre Talpin, Madd Tofte (University of Copenhagen)
- A LINEAR ALGEBRA FRAMEWORK FOR STATIC HPF CODE DISTRIBUTION.Novembre 93
- IN : Fourth Workshop on Compilers for Parallel Computers, CPC'93, Delft, Pays-Bas, 12-17 décembre 1993.
This report is obsoleted by A/278/CRI- Corinne Ancourt, Fabien Coelho, François Irigoin, Ronan Keryell
- ACTIVITY COUNTER: NEW OPTIMIZATION FOR THE DYNAMIC SCHEDULING OF SIMD CONTROL FLOW. 1993
- IN : 1993 International Conference on Parallel Processing, ICPP'93, Saint-Charles, Ohio, USA, August, 1993
- Ronan Keryell, Nicolas Paris (Hyperparallel Technologies, Polytechniques
- EFFECT SYSTEMS WITH SUBTYPING. October 1, 1993
- IN : Proceedings of 1995 ACM International Conference on Partial Evaluation and Program Manipulation Techniques, PEPM'95, La Jolla, USA, 21-23 Juin 1995
- Yan-Mei. Tang, Pierre Jouvelot
- PERFORMANCE, PORTABILITY AND IMPLICIT PARALLELISM. July 1993.
- IN : The proceedings of the workshop on Portability and Performance for Parallel Processors, P4, Southampton, Royaume-Uni, 12-16 juillet 1993
- François Irigoin
- D'UN PETIT ORDINATEUR MASSIVEMENT PARALLELE: SYNTHESE DU PROJET POMP.
- IN : Techniques et Sciences Informatiques, TSI, 1993, Vol. 12, No. 6, pp.715-743, 1993
- Ronan Keryell
- SEMANTIC ANALYSIS OF INTERVAL CONGRUENCES. June 1993
- IN : The proceedings of the International Conference on Formal Methods in Programming and their Applications, FMPA'93, Novosibirsk, Russie, 28 juin 1993 -05 Juilet 1993
- François Masdupuy
- SEPARATE ABSTRACT INTERPRETATION FOR CONTROL-FLOW ANALYSIS.
- IN : the proceedings of the International Symposium on Theoretical Aspects of Computer Software, TACS'94, Lecture Notes in Computer Science 789, Sendai, Japan, April 19-22, 1994
- July 28, 1993.
- Yan-Mei Tang, Pierre Jouvelot
- COMPILING FX ON THE CM-2*. July 1993.
- IN : The proceedings of the 3nd International Workshop on Static Analysis, Padoue, Italie, 22-24 September 1993
- Jean-Pierre Talpin, Pierre Jouvelot
- MAXIMIZING LOOP PARALLELISM AND IMPROVING DATA LOCALITY VIA LOOP FUSION AND DISTRIBUTION. March 1993.
- IN : The Sixth Annual Languages and Compiler For Parallelism Workshop, Portland, Oregon, USA, 12-14 Août, 1993
- K. S. McKinley, K. Kennedy (Rice University, Houston TX, USA).
Articles soumis :
- EXPERIENCES USING THE PARASCOPE EDITOR: AN INTERACTIVE PARALLEL PROGRAMMING TOOL. March 1993.
- IN : The 4th ACM SIGPLAN Symposium on Principles and Practices of Parallel Programming, San-Diego, USA, 20-21 mai, 1993
- K. S. McKinley, M.W. Hall, T.J. Harvey, K. Kennedy, N. McIntosh, J.D. Oldham, M.H. Paleczny, G. Roth
Autres articles et rapports techniques :
- EXPERIMENTS WITH HPF COMPILATION FOR A CLUSTER OF WORKSTATIONS. EXTENDED ABSTRACT.
- This report is obsoleted by A-257
- November 29, 1993
- Fabien Coelho
- SEPARATE POLYVARIANT BINDING-TIME ANALYSIS. March 1993.
- Technical Report : No.CS/E 93-006
- Pierre Jouvelot, Charles Consel (Oregon Graduate Institute, Beaverton OR, USA)
Rapports internes :
- COMPILER OPTIMIZATIONS FOR IMPROVING DATA LOCALITY. March 1993.
- DRAFT.
Please do not redistribute- March 1993
- K. S. McKinley, K. Kennedy, S. Carr, C.-W. Tseng (Rice University, Houston TX, USA). ;
- ETUDE DE LA COMPILATION DU HIGH PERFORMANCE FORTRAN.
- RAPPORT DE STAGE DE DEA
- Eté 1993
- F. Coelho