Centre de recherche en informatique

Mathématiques et systèmes




2024   2023   2022   2021   2020   2019   2018   2017   2016   2015   2014   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2001   2000
1999   1998   1997   1996   1995   1994   1993   1992   1991   1990   1989   1988   1987   1986   1985   1983   1979  

1993

Articles publies - Articles soumis - Autres articles et rapports techniques - Rapports internes


Articles publiés :

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

A/251/CRI :

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/250/CRI :

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

A/249/CRI :

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

A/246/CRI :

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

A/245/CRI :

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

A/244/CRI :

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

A/243/CRI :

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

A/241/CRI :

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

A/240/CRI :

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

A/234/CRI :

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).

A/233/CRI :

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

Articles soumis :

Autres articles et rapports techniques :

A/252/CRI :

EXPERIMENTS WITH HPF COMPILATION FOR A CLUSTER OF WORKSTATIONS. EXTENDED ABSTRACT.
This report is obsoleted by A-257
November 29, 1993
Fabien Coelho

A/237/CRI :

SEPARATE POLYVARIANT BINDING-TIME ANALYSIS. March 1993.
Technical Report : No.CS/E 93-006
Pierre Jouvelot, Charles Consel (Oregon Graduate Institute, Beaverton OR, USA)

A/235/CRI :

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). ;

Rapports internes :

E/178/CRI :

ETUDE DE LA COMPILATION DU HIGH PERFORMANCE FORTRAN.
RAPPORT DE STAGE DE DEA
Eté 1993
F. Coelho