Rapports du Centre de Recherche en Informatique :


2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985

2003

A/351/CRI :

Advanced Program Analyses and Verifications
IN : Première Conférence Internationale Associant Chercheurs Vietnamiens et Francophones en Informatique (RIVF 2003)
janvier 2003
Hanoi, Vietnam, 10-13 février 2003
Thi Viet Nga Nguyen, Francois Irigoin

A/351/CRI :

Advanced Program Analyses and Verifications
IN : Première Conférence Internationale Associant Chercheurs Vietnamiens et Francophones en Informatique (RIVF 2003)
janvier 2003
Hanoi, Vietnam, 10-13 février 2003
Thi Viet Nga Nguyen, Francois Irigoin

A/350/CRI :

Automatic Detection of Uninitialized Variables
IN : 12th International Conference on Compiler Construction, Warsaw, Poland, 7-9 avril 2003
IN : Lecture Notes in Computer Science LNCS 2622, pages 217-231
Avril 2003
Thi Viet Nga Nguyen, Francois Irigoin, Corinne Ancourt, Fabien Coelho

A/350/CRI :

Automatic Detection of Uninitialized Variables
IN : 12th International Conference on Compiler Construction, Warsaw, Poland, 7-9 avril 2003
IN : Lecture Notes in Computer Science LNCS 2622, pages 217-231
Avril 2003
Thi Viet Nga Nguyen, Francois Irigoin, Corinne Ancourt, Fabien Coelho

A/349/CRI :

Sequencing Fortran Array Verification
IN : ACM SIGPLAN Fortran Forum journal. Vol. ? No. ? pages ?
25 mars 2003
Thi Viet Nga Nguyen

A/349/CRI :

Sequencing Fortran Array Verification
IN : ACM SIGPLAN Fortran Forum journal. Vol. ? No. ? pages ?
25 mars 2003
Thi Viet Nga Nguyen

A/348/CRI :

Alias Verification for Fortran Code Optimization.
IN: Journal of Universal Computer Science. Vol.? - N°?, page ?
25 mars 2003
Thi Viet Nga Nguyen, Francois Irigoin

A/348/CRI :

Alias Verification for Fortran Code Optimization.
IN: Journal of Universal Computer Science. Vol.? - N°?, page ?
25 mars 2003
Thi Viet Nga Nguyen, Francois Irigoin

2002

E/253/CRI :

Maintenance et mise au point de programmes : utilisation du graphe de dépendance et de l'information sur les alias.
Rapport de Stage de DEPA :Institut de la Francophonie pour l'Informatique. Hanoi, Vietnam.
20 septembre 2002
Dat Pham Quoc

E/253/CRI :

Maintenance et mise au point de programmes : utilisation du graphe de dépendance et de l'information sur les alias.
Rapport de Stage de DEPA :Institut de la Francophonie pour l'Informatique. Hanoi, Vietnam.
20 septembre 2002
Dat Pham Quoc

E/250/CRI :

Technical Report : Program analyses for software verification.
20 février 2002
Thi Viet Nga Nguyen

E/250/CRI :

Technical Report : Program analyses for software verification.
20 février 2002
Thi Viet Nga Nguyen

E/249/CRI :

Exposé : présentation du projet MetaCC
30 janvier 2002
Georges-André Silber

E/249/CRI :

Exposé : présentation du projet MetaCC
30 janvier 2002
Georges-André Silber

A/347/CRI :

Guide du Management des Systèmes d'information. Thèmes et termes essentiels.
Publié chez Hermes - Lavoisier - ISBN: 2-7462-0524-6
2002
Robert Mahl ; Alain Berdugo (HEC)

A/347/CRI :

Guide du Management des Systèmes d'information. Thèmes et termes essentiels.
Publié chez Hermes - Lavoisier - ISBN: 2-7462-0524-6
2002
Robert Mahl ; Alain Berdugo (HEC)

A/346/CRI :

Extraction terminologique : vers l'élaboration d'une méthode de corrélation. Terminology extraction : towards the elaboration of a correlation method.
IN : CIFT'02 : 1er Colloque International sur la Fouille de Textes
22 octobre 2002
Hammamet, Tunisie, 20-23 octobre 2002
Christophe Chotteau

A/346/CRI :

Extraction terminologique : vers l'élaboration d'une méthode de corrélation. Terminology extraction : towards the elaboration of a correlation method.
IN : CIFT'02 : 1er Colloque International sur la Fouille de Textes
22 octobre 2002
Hammamet, Tunisie, 20-23 octobre 2002
Christophe Chotteau

A/342/CRI :

Tiling and memory reuse for sequences of nested loops.
In: Euro-Par 2002
Confidentiel durant 1 ans
Paderborn, Germany,27th-30th August 2002
Youcef Bouchebaba, Fabien Coelho

A/342/CRI :

Tiling and memory reuse for sequences of nested loops.
In: Euro-Par 2002
Confidentiel durant 1 ans
Paderborn, Germany,27th-30th August 2002
Youcef Bouchebaba, Fabien Coelho

A/341/CRI :

Réutilisation de la mémoire pour le Pavage
IN: RenPar'2002
15 janvier 2002
Hamamet, Tunisie, 10-13 avril 2002
Youcef Bouchebaba

A/341/CRI :

Réutilisation de la mémoire pour le Pavage
IN: RenPar'2002
15 janvier 2002
Hamamet, Tunisie, 10-13 avril 2002
Youcef Bouchebaba

2001

E/245/CRI :

Interprocedural analyses and compilers
Exposé, 1st APC Intl Cooperation Committee
5-6 Septembre 2001
François Irigoin, Corinne Ancourt, Béatrice Creusillet, Nga Nguyen

E/245/CRI :

Interprocedural analyses and compilers
Exposé, 1st APC Intl Cooperation Committee
5-6 Septembre 2001
François Irigoin, Corinne Ancourt, Béatrice Creusillet, Nga Nguyen

E/244/CRI :

Une analyse interprocédurale modulaire des relations affines entre variables
Exposé, CEA - Groupe Sureté du Logiciel
11/07/2001
François Irigoin

E/244/CRI :

Une analyse interprocédurale modulaire des relations affines entre variables
Exposé, CEA - Groupe Sureté du Logiciel
11/07/2001
François Irigoin

E/243/CRI :

Test de débordement de tableau
Séminaire INRIA-A3/PRISM/CRI/LRI
29/01/2001
Thi Viet Nga Nguyen

E/243/CRI :

Test de débordement de tableau
Séminaire INRIA-A3/PRISM/CRI/LRI
29/01/2001
Thi Viet Nga Nguyen

E/240/CRI :

?
RAPPORT DE STAGE
2001
Trinh Quoc Anh

E/240/CRI :

?
RAPPORT DE STAGE
2001
Trinh Quoc Anh

A/338/CRI :

A constraint optimization framework for mappin g a dsp application onto a parallel machine
Principles and Practice of Constraint Programming Conference, CP'2001
Novembre 2001
Chypre
Nicolas Museux

A/338/CRI :

A constraint optimization framework for mappin g a dsp application onto a parallel machine
Principles and Practice of Constraint Programming Conference, CP'2001
Novembre 2001
Chypre
Nicolas Museux

A/337/CRI :

How does constraint technology meet industrial constraints
Workshop Esa On Board Automy
Octobre 2001
Hollande
Nicolas Museux

A/337/CRI :

How does constraint technology meet industrial constraints
Workshop Esa On Board Automy
Octobre 2001
Hollande
Nicolas Museux

A/336/CRI :

Algebraic properties and expression evaluation on modern ILP processors.
Octobre 2001
François Irigoin, Julien Zory (STMicroelectronics, MCDT/CMG, USA)

A/336/CRI :

Algebraic properties and expression evaluation on modern ILP processors.
Octobre 2001
François Irigoin, Julien Zory (STMicroelectronics, MCDT/CMG, USA)

A/334/CRI :

Efficient Intraprocedural Array Bound Checking (version étendue de A/316/CRI). Mai 2001.
Second International Workshop on Automated Program Analysis, Testing and Verification, WAPATVO1
12-19 May 2001
Toronto, Canada
Thi Viet Nga Nguyen, François Irigoin

A/334/CRI :

Efficient Intraprocedural Array Bound Checking (version étendue de A/316/CRI). Mai 2001.
Second International Workshop on Automated Program Analysis, Testing and Verification, WAPATVO1
12-19 May 2001
Toronto, Canada
Thi Viet Nga Nguyen, François Irigoin

A/333/CRI :

Constructing a documentary oriented legal ontology, Octobre 2001
Submitted to : The Second International Workshop on Legal Ontologies in International Conference on Legal Knowledge and Information Systems, JURIX'2001
EN COURS
13-14 december 2001
Amsterdam, Nederlands
Guiraude Lame

A/333/CRI :

Constructing a documentary oriented legal ontology, Octobre 2001
Submitted to : The Second International Workshop on Legal Ontologies in International Conference on Legal Knowledge and Information Systems, JURIX'2001
EN COURS
13-14 december 2001
Amsterdam, Nederlands
Guiraude Lame

A/332/CRI :

Interprocedural Program Analyses for Efficient Array Bound Checking. Octobre 2001
Submitted to : ACM Transactions On Software Engineerng and Methodology journal
Octobre 2001
Thi Viet Nga Nguyen, François Irigoin

A/332/CRI :

Interprocedural Program Analyses for Efficient Array Bound Checking. Octobre 2001
Submitted to : ACM Transactions On Software Engineerng and Methodology journal
Octobre 2001
Thi Viet Nga Nguyen, François Irigoin

A/330/CRI :

Placement automatique d'applications de traitement du signal sur machines parallèles. Janvier 2001.
RENPAR/CFSE/SYMPA, Cité des Sciences et de l'Industrie
24-27 avril 2001
Paris, France
Nicolas Museux, Francois Irigoin, Michel Barreteau (Thales/LCR)

A/330/CRI :

Placement automatique d'applications de traitement du signal sur machines parallèles. Janvier 2001.
RENPAR/CFSE/SYMPA, Cité des Sciences et de l'Industrie
24-27 avril 2001
Paris, France
Nicolas Museux, Francois Irigoin, Michel Barreteau (Thales/LCR)

A/329/CRI :

Une analyse interprocédurale modulaire des relations affines entre variables. 11 Juillet 2001.
Juillet 2001
Francois Irigoin

A/329/CRI :

Une analyse interprocédurale modulaire des relations affines entre variables. 11 Juillet 2001.
Juillet 2001
Francois Irigoin

A/327/CRI :

Détection des communications. 21 mars 2001.
EN COURS
Mars 2001
Nicolas Museux, Francois Irigoin

A/327/CRI :

Détection des communications. 21 mars 2001.
EN COURS
Mars 2001
Nicolas Museux, Francois Irigoin

A/326/CRI :

Buffered tiling for sequences of loop nests. Août 2001.
Workshop Compilers Operating Systems for Low Power 2001, COLP'2001
Septembre 2001
Barcelone, Espagne
Youcef Bouchebaba, Fabien Coelho

A/326/CRI :

Buffered tiling for sequences of loop nests. Août 2001.
Workshop Compilers Operating Systems for Low Power 2001, COLP'2001
Septembre 2001
Barcelone, Espagne
Youcef Bouchebaba, Fabien Coelho

A/324/CRI :

Array Resizing for Scientific Code Debugging, Maintenance and Reuse.27 février 2001.
ACM SIGPLAN-SIGSOFT Workshop on Program Analsis forSoftware Tools and Engineering, PASTE01,pp.32-37
June 18-19, 2001
Snowbird,Utah, USA
Corinne Ancourt, Thi Viet Nga Nguyen

A/324/CRI :

Array Resizing for Scientific Code Debugging, Maintenance and Reuse.27 février 2001.
ACM SIGPLAN-SIGSOFT Workshop on Program Analsis forSoftware Tools and Engineering, PASTE01,pp.32-37
June 18-19, 2001
Snowbird,Utah, USA
Corinne Ancourt, Thi Viet Nga Nguyen

A/322/CRI :

Tiling pour une séquence de nids de boucles (version étendue). 31 Août 2001.
IN : Technique et Science Informatiques, TSI, Vol.?, No.?, pp.?
31 Aout 2001
Youcef Bouchebaba, Fabien Coelho

A/322/CRI :

Tiling pour une séquence de nids de boucles (version étendue). 31 Août 2001.
IN : Technique et Science Informatiques, TSI, Vol.?, No.?, pp.?
31 Aout 2001
Youcef Bouchebaba, Fabien Coelho

A/321/CRI :

Le site "informines.org"
L'ouverture promotionnelle aux membres des associations et à un panel de recruteurs.
Revue des Ingénieurs
Janvier-Février 2001
Robert Mahl

A/321/CRI :

Le site "informines.org"
L'ouverture promotionnelle aux membres des associations et à un panel de recruteurs.
Revue des Ingénieurs
Janvier-Février 2001
Robert Mahl

A/320/CRI :

L'Ecole des Mines de Paris enseigne aussi le commerce électronique.
Revue des Ingénieurs
Janvier-Février 2001
Robert Mahl

A/320/CRI :

L'Ecole des Mines de Paris enseigne aussi le commerce électronique.
Revue des Ingénieurs
Janvier-Février 2001
Robert Mahl

A/319/CRI :

Tiling pour une séquence de nids de boucles. Janvier 2001
RENPAR/CFSE/SYMPA,Cité des Sciences et de l'Industrie
24-27 avril 2001
Paris, France
Youcef Bouchebaba, Fabien Coelho

A/319/CRI :

Tiling pour une séquence de nids de boucles. Janvier 2001
RENPAR/CFSE/SYMPA,Cité des Sciences et de l'Industrie
24-27 avril 2001
Paris, France
Youcef Bouchebaba, Fabien Coelho

A/318/CRI :

Classement automatique de documents et analyse terminologique de corpus. Mai 2001.
Terminologie et Inteeligence Artificielle, TIA'200, Actes pp.149-158
3-4 mai 2001
Nancy, France
Guiraude Lame

A/318/CRI :

Classement automatique de documents et analyse terminologique de corpus. Mai 2001.
Terminologie et Inteeligence Artificielle, TIA'200, Actes pp.149-158
3-4 mai 2001
Nancy, France
Guiraude Lame

A/317/CRI :

A categorization method for French legal documents on the Web. Juin 2001
International conference on artificial intelligence and Law, ICAIL 2001
21-25 june 2001
Saint-Louis, Missouri, USA
Guiraude Lame

A/317/CRI :

A categorization method for French legal documents on the Web. Juin 2001
International conference on artificial intelligence and Law, ICAIL 2001
21-25 june 2001
Saint-Louis, Missouri, USA
Guiraude Lame

2000

1999

1998

1997

1996

1995

1994

1993

1992

1991

1990

1989

1988

1987

1986

1985

8/CRI :

Typage & Elimination des sous-expressions communes (Contribution à l'optimisation de programmes scientifiques).
RAPPORT DE STAGE
Septembre 2000
Pham Dinh Son, Fabien Coelho

E/238/CRI :

Typage & Elimination des sous-expressions communes (Contribution à l'optimisation de programmes scientifiques).
RAPPORT DE STAGE
Septembre 2000
Pham Dinh Son, Fabien Coelho

E/237/CRI :

Une méthode de hiérarchisation de termes.
RAPPORT DE DEA
Août 2000
Christophe Charles

E/237/CRI :

Une méthode de hiérarchisation de termes.
RAPPORT DE DEA
Août 2000
Christophe Charles

E/236/CRI :

Une méthode de corrélation des textes juridiques
RAPPORT DE DEA
Août 2000
Christophe Chotteau

E/236/CRI :

Une méthode de corrélation des textes juridiques
RAPPORT DE DEA
Août 2000
Christophe Chotteau

E/235/CRI :

Optimization of array bound checking.
RAPPORT DE 1ÈRE ANNÉE
Octobre 2000
Thi Viet Nga Nguyen

E/235/CRI :

Optimization of array bound checking.
RAPPORT DE 1ÈRE ANNÉE
Octobre 2000
Thi Viet Nga Nguyen

E/232/CRI :

Serveur de Nom de Domaine dans Internet (DNS) - Berkeley Internet Name Domaine (BIND).
Cours IAR2M
4-5 janvier 2000
Ronan Keryell

E/232/CRI :

Serveur de Nom de Domaine dans Internet (DNS) - Berkeley Internet Name Domaine (BIND).
Cours IAR2M
4-5 janvier 2000
Ronan Keryell

A/335/CRI :

Temporary Arrays for Distribution of Loops with Control Dependences. Juin 2000.
6th International Euro-Par Conference, Euro-Par 2000 Parallel Processing, pp.357-367.
August/September 2000
Munich, Germany
Alain Darte (LIP ENS-Lyon), Georges-André Silber

A/335/CRI :

Temporary Arrays for Distribution of Loops with Control Dependences. Juin 2000.
6th International Euro-Par Conference, Euro-Par 2000 Parallel Processing, pp.357-367.
August/September 2000
Munich, Germany
Alain Darte (LIP ENS-Lyon), Georges-André Silber

A/331/CRI :

PROMPT: Placement Rapide Optimisé sur Machines Parallèles pour applications Télécoms. Janvier 2000
Workshop Adéquation Algorithme Architecture 2000, AAA'2000, Inria
26-28 Janvier 2000
Le Chesnay, France
Michel Barreteau, J. Jourdan, Juliette Mattioli (Thomson-CSF-LCR-A&TS Lab.) ;François Irigoin, Corinne Ancourt (CRI) ; Thierry Grandpierre, Christophe Lavarenne, Yves Sorel (INRIA) ; Philippe Kajfasz (Thomson-CSF Communications) ; Bernard Dion (SIMULOG).}

A/331/CRI :

PROMPT: Placement Rapide Optimisé sur Machines Parallèles pour applications Télécoms. Janvier 2000
Workshop Adéquation Algorithme Architecture 2000, AAA'2000, Inria
26-28 Janvier 2000
Le Chesnay, France
Michel Barreteau, J. Jourdan, Juliette Mattioli (Thomson-CSF-LCR-A&TS Lab.) ;François Irigoin, Corinne Ancourt (CRI) ; Thierry Grandpierre, Christophe Lavarenne, Yves Sorel (INRIA) ; Philippe Kajfasz (Thomson-CSF Communications) ; Bernard Dion (SIMULOG).}

A/328/CRI :

PROMPT: A mapping Environment for Telecom Applications on "System-On-a-Chip". 20 Septembre 2000
International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES'2000
November 17-18, 2000
San José, California, USA
Michel Barreteau, Juliette Mattioli (Thomson-CSF-LCR-A&TS Lab.), François Irigoin, Corinne Ancourt (CRI) ; Thierry Grandpierre, Christophe Lavarenne, Yves Sorel (INRIA) ; Philippe Bonnot, Philippe Kajfasz (Thomson-CSF Communications) ; Bernard Dion (SIMULOG).

A/328/CRI :

PROMPT: A mapping Environment for Telecom Applications on "System-On-a-Chip". 20 Septembre 2000
International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES'2000
November 17-18, 2000
San José, California, USA
Michel Barreteau, Juliette Mattioli (Thomson-CSF-LCR-A&TS Lab.), François Irigoin, Corinne Ancourt (CRI) ; Thierry Grandpierre, Christophe Lavarenne, Yves Sorel (INRIA) ; Philippe Bonnot, Philippe Kajfasz (Thomson-CSF Communications) ; Bernard Dion (SIMULOG).

A/316/CRI :

Efficient Intraprocedural Array Bound Checking.
Novembre 2000
Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Ronan Keryell (LIT ENST Bretagne)

A/316/CRI :

Efficient Intraprocedural Array Bound Checking.
Novembre 2000
Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Ronan Keryell (LIT ENST Bretagne)

A/315/CRI :

Acquisition de connaissances à partir de testes, vers l'élaboration d'une ontologie du droit
Rencontres des Jeunes Chercheurs en Intelligence Artificielle, RJCIA 2000, pp.211-221.
10-13 Septembre 2000
Lyon, France
Guiraude Lame

A/315/CRI :

Acquisition de connaissances à partir de testes, vers l'élaboration d'une ontologie du droit
Rencontres des Jeunes Chercheurs en Intelligence Artificielle, RJCIA 2000, pp.211-221.
10-13 Septembre 2000
Lyon, France
Guiraude Lame

A/314/CRI :

Knowledge acquisition from texts towards an ontology of French law EKAW.
Workshop on ontologies and texts, EKAW'2000
1er octobre 2000
Juan-les-Pins
Guiraude Lame

A/314/CRI :

Knowledge acquisition from texts towards an ontology of French law EKAW.
Workshop on ontologies and texts, EKAW'2000
1er octobre 2000
Juan-les-Pins
Guiraude Lame

A/313/CRI :

Elimination des gardes dans les transformées unimodulaires de boucles mal imbriquées.
Juin 2000
Youcef Bouchebaba

A/313/CRI :

Elimination des gardes dans les transformées unimodulaires de boucles mal imbriquées.
Juin 2000
Youcef Bouchebaba

A/312/CRI :

Elimination des gardes dans les transformées unimodulaires de boucles mal imbriquées,(version étendue).
Mars 2000
Youcef Bouchebaba

A/312/CRI :

Elimination des gardes dans les transformées unimodulaires de boucles mal imbriquées,(version étendue).
Mars 2000
Youcef Bouchebaba

1999

E/231/CRI :

Du fonctionnement d'Internet.
Cours IAR2M
6 décembre 1999
Ronan Keryell

E/231/CRI :

Du fonctionnement d'Internet.
Cours IAR2M
6 décembre 1999
Ronan Keryell

E/230/CRI :

Administration Unix - Le cas de Solaris 7.
Cours IAR2M
13 janvier 1999
Ronan Keryell

E/230/CRI :

Administration Unix - Le cas de Solaris 7.
Cours IAR2M
13 janvier 1999
Ronan Keryell

E/229/CRI :

PPP Point to Point Protocol - Mise en Oeuvre.
Cours IR2M
7 janvier 1999
Ronan Keryell

E/229/CRI :

PPP Point to Point Protocol - Mise en Oeuvre.
Cours IR2M
7 janvier 1999
Ronan Keryell

E/228/CRI :

Administration et développement Web -DRAFT
RAPPORT DE STAGE
Octobre 1999
Benjamin Schwarz

E/228/CRI :

Administration et développement Web -DRAFT
RAPPORT DE STAGE
Octobre 1999
Benjamin Schwarz

E/221/CRI :

Calcul d'un tiling optimal et ordonnancement topologique optimal.
RAPPORT DE DEA
Septembre 1999
Bouzdad Hicham

E/221/CRI :

Calcul d'un tiling optimal et ordonnancement topologique optimal.
RAPPORT DE DEA
Septembre 1999
Bouzdad Hicham

A/311/CRI :

Résumé des interventions de St-Nabor.
Octobre 1999
Fabien Coelho

A/311/CRI :

Résumé des interventions de St-Nabor.
Octobre 1999
Fabien Coelho

1998

A/309/CRI :

Parcours d'une superposition de domaines. Mai 1998.
10ème Rencontres Francophones du Parallélisme, RenPar'10, pp.71-74
9-12 Juin 1998
Strasbourg, France
Olivier Albiez

A/309/CRI :

Parcours d'une superposition de domaines. Mai 1998.
10ème Rencontres Francophones du Parallélisme, RenPar'10, pp.71-74
9-12 Juin 1998
Strasbourg, France
Olivier Albiez

A/307/CRI :

Using Algebraic Transformations to Optimize Expression Evaluation in Scientific Codes. April 1998
Submitted to : International Conference on Parallel Architectures and Compilation Techniques, PACT'98
14-17 Octobre 1998
Paris, France
Julien Zory, Fabien Coelho

A/307/CRI :

Using Algebraic Transformations to Optimize Expression Evaluation in Scientific Codes. April 1998
Submitted to : International Conference on Parallel Architectures and Compilation Techniques, PACT'98
14-17 Octobre 1998
Paris, France
Julien Zory, Fabien Coelho

A/306/CRI :

Music Composer's Workbench : vers un environnement intelligent de l'enseignement de la composition tonale. 24 Février 1998.
Journées d'informatique musicale
5-7 Mai 1998
La Londe-Les-Maures, France
Pierre Jouvelot

A/306/CRI :

Music Composer's Workbench : vers un environnement intelligent de l'enseignement de la composition tonale. 24 Février 1998.
Journées d'informatique musicale
5-7 Mai 1998
La Londe-Les-Maures, France
Pierre Jouvelot

A/303/CRI :

Interprocedural Analyses of Fortran Programs. Avril 1997
Journal on Parallel Computing, Vol.24, No.3-4, pp.629-648
1998
Béatrice Creusillet, François Irigoin

A/303/CRI :

Interprocedural Analyses of Fortran Programs. Avril 1997
Journal on Parallel Computing, Vol.24, No.3-4, pp.629-648
1998
Béatrice Creusillet, François Irigoin

1997

A/308/CRI :

Performance des macro-pipelines dans les programmes data-parallèles.Mai 1997
9ème Rencontres Francophones du Parallélisme, RenPar'9
20-23 mai 1997
Lausanne, Suisse
Frédéric Desprez (LIP, ENS-Lyon), Julien Zory

A/308/CRI :

Performance des macro-pipelines dans les programmes data-parallèles.Mai 1997
9ème Rencontres Francophones du Parallélisme, RenPar'9
20-23 mai 1997
Lausanne, Suisse
Frédéric Desprez (LIP, ENS-Lyon), Julien Zory

A/304/CRI :

Automatic Data Mapping of Signal Processing Applications. Mai 1997
International Conference on Application-specific Systems, Architectures and Processors, ASAP'97, Swiss Federal Institute of Technology
14-16 July 1997
Zurich, Switzerland
Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli

A/304/CRI :

Automatic Data Mapping of Signal Processing Applications. Mai 1997
International Conference on Application-specific Systems, Architectures and Processors, ASAP'97, Swiss Federal Institute of Technology
14-16 July 1997
Zurich, Switzerland
Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli

A/302/CRI :

Compiling Dynamic Mappings with Array Copies. Avril 1997
Principles and Pratice of Parallel Programming, PPoPP'97
18-21 June 1997
Las Vegas, Nevada
Fabien Coelho

A/302/CRI :

Compiling Dynamic Mappings with Array Copies. Avril 1997
Principles and Pratice of Parallel Programming, PPoPP'97
18-21 June 1997
Las Vegas, Nevada
Fabien Coelho

A/278/CRI :

A LINEAR ALGEBRA FRAMEWORK FOR STATIC HPF CODE DISTRIBUTION. NOVEMBER 24, 1995
Scientific Programming, Vol.6, pp.3-27
1997
Corinne Ancourt, Fabien Coelho, François Irigoin, Ronan Keryell

A/278/CRI :

A LINEAR ALGEBRA FRAMEWORK FOR STATIC HPF CODE DISTRIBUTION. NOVEMBER 24, 1995
Scientific Programming, Vol.6, pp.3-27
1997
Corinne Ancourt, Fabien Coelho, François Irigoin, Ronan Keryell

1996

E/193/CRI :

Etude et réalisation d'un robot pour la recherche d'information sur le WEB.
Rapport DEA
30 Août 1996
Katarzyna Wegrzyn-Wolska

E/193/CRI :

Etude et réalisation d'un robot pour la recherche d'information sur le WEB.
Rapport DEA
30 Août 1996
Katarzyna Wegrzyn-Wolska

A/301/CRI :

Une perspective historique sur les autoroutes de l'information en France. Janvier 1997
Réalités Industrielles, pp.10-16
Octobre-Novembre 1996
Robert Mahl

A/301/CRI :

Une perspective historique sur les autoroutes de l'information en France. Janvier 1997
Réalités Industrielles, pp.10-16
Octobre-Novembre 1996
Robert Mahl

A/300/CRI :

How to Add a New Phase in PIPS : the Case of Dead Code Elimination, 1996.
Sith Workshop on Compilers for Parallel Computers, CPC'96
11-13 Décembre 1996
Aachen, Germany
Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, Ronan Keryell

A/300/CRI :

How to Add a New Phase in PIPS : the Case of Dead Code Elimination, 1996.
Sith Workshop on Compilers for Parallel Computers, CPC'96
11-13 Décembre 1996
Aachen, Germany
Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, Ronan Keryell

A/299/CRI :

PIPS : a Workbench for Program Parallelization and Optimization. 1996
European Parallel Tool Meeting 1996, EPTM'96
Octobre 23, 1996
Onera, France
Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, François Irigoin, Pierre Jouvelot, Ronan Keryell

A/299/CRI :

PIPS : a Workbench for Program Parallelization and Optimization. 1996
European Parallel Tool Meeting 1996, EPTM'96
Octobre 23, 1996
Onera, France
Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, François Irigoin, Pierre Jouvelot, Ronan Keryell

A/298/CRI :

xPOMP : a Simple XII graphical Library to Display Arrays in C, Fortran and HPF. 1996
1996
Ronan Keryell, Nicolas Paris

A/298/CRI :

xPOMP : a Simple XII graphical Library to Display Arrays in C, Fortran and HPF. 1996
1996
Ronan Keryell, Nicolas Paris

A/297/CRI :

Modèle de Compilation d'HPF pour la Machine MIMD à Bancs Mémoire et Réseau Distribué Programmable Phénix. 1996
8ème Rencontres Francophones du Parallélisme, RenPar'8
20-24 mai 1996
Bordeaux, France
Pierre Fiorini, François Irigoin, Ronan Keryell

A/297/CRI :

Modèle de Compilation d'HPF pour la Machine MIMD à Bancs Mémoire et Réseau Distribué Programmable Phénix. 1996
8ème Rencontres Francophones du Parallélisme, RenPar'8
20-24 mai 1996
Bordeaux, France
Pierre Fiorini, François Irigoin, Ronan Keryell

A/296/CRI :

«La programmation C et C++, 2ème édition revue et augmentée, par Didier Badouel et Aderrahim Khaled». 1996.
Préface
1996
Robert Mahl

A/296/CRI :

«La programmation C et C++, 2ème édition revue et augmentée, par Didier Badouel et Aderrahim Khaled». 1996.
Préface
1996
Robert Mahl

A/292/CRI :

Compiling Dynamic Mappings with Array Copies. 23 May 1996.
Mai 1996
Fabien Coelho

A/292/CRI :

Compiling Dynamic Mappings with Array Copies. 23 May 1996.
Mai 1996
Fabien Coelho

A/291/CRI :

PIPS Development Environment.
Mai 1996
Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, .François Irigoin, Pierre Jouvelot, Ronan Keryell

A/291/CRI :

PIPS Development Environment.
Mai 1996
Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, .François Irigoin, Pierre Jouvelot, Ronan Keryell

A/290/CRI :

Exact vs. Approximate Array Region Analyses. April 30, 1996.
Languages and Compilers for Parallel Computing, LCPC'96, San José, CA, USA, 8-10 Août 1996, et LNCS 1239, pp.86-100, Springer-Verlag.
8-10 Aout 1996
Béatrice Creusillet, François Irigoin

A/290/CRI :

Exact vs. Approximate Array Region Analyses. April 30, 1996.
Languages and Compilers for Parallel Computing, LCPC'96, San José, CA, USA, 8-10 Août 1996, et LNCS 1239, pp.86-100, Springer-Verlag.
8-10 Aout 1996
Béatrice Creusillet, François Irigoin

A/289/CRI :

PIPS: a Workbench for Building Interprocedural Parallelizers, Compilers and Optimizers.
May 14, 1996
Ronan Keryell, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, François Irigoin, Pierre Jouvelot

A/289/CRI :

PIPS: a Workbench for Building Interprocedural Parallelizers, Compilers and Optimizers.
May 14, 1996
Ronan Keryell, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, François Irigoin, Pierre Jouvelot

A/288/CRI :

WPips & EPips User Manual (Paralléliseur Interprocédural de Programmes Scientifiques) --- Linear Algebra based Automatic Parallelizer & Programm Transformer.
April 11, 1996
Ronan Keryell

A/288/CRI :

WPips & EPips User Manual (Paralléliseur Interprocédural de Programmes Scientifiques) --- Linear Algebra based Automatic Parallelizer & Programm Transformer.
April 11, 1996
Ronan Keryell

A/287/CRI :

ASSUME Directive Proposal.
May 15, 1996
Fabien Coelho, Henry Zongaro (IBM Canada)

A/287/CRI :

ASSUME Directive Proposal.
May 15, 1996
Fabien Coelho, Henry Zongaro (IBM Canada)

A/286/CRI :

State of the Art in Compiling HPF*. June 1996.
PRS spring school
March 1996
Les Ménuires, France
Fabien Coelho, Cécile Germain (LRI Université Paris-Sud), Jean-Louis Pazat (IRISA, Rennes)

A/286/CRI :

State of the Art in Compiling HPF*. June 1996.
PRS spring school
March 1996
Les Ménuires, France
Fabien Coelho, Cécile Germain (LRI Université Paris-Sud), Jean-Louis Pazat (IRISA, Rennes)

A/285/CRI :

Init-time Shadow Width Computation through Compile-time Conventions.
Mars 1996
Fabien Coelho

A/285/CRI :

Init-time Shadow Width Computation through Compile-time Conventions.
Mars 1996
Fabien Coelho

A/284/CRI :

Discussing HPF Design Issues. 9 Février 1996
Europar'96, Vol.1, pp.571-578, (LNCS 1123)
Aout 1996
France, Lyon
Fabien Coelho

A/284/CRI :

Discussing HPF Design Issues. 9 Février 1996
Europar'96, Vol.1, pp.571-578, (LNCS 1123)
Aout 1996
France, Lyon
Fabien Coelho

A/283/CRI :

Modèle de Compilation d'HPF pour la Machine MIMD à Bancs Mémoire et Réseau Distribué Programmable Phénix. 2 Février 1996.
8ème Rencontres Francophones du Parallélisme, RenPar'8
This report is obsoleted by A/297/CRI
20-24 mai 1996
Bordeaux, France
François Irigoin, Ronan Keryell, Pierre Fiorini (DSIT/DAPSA/PTO Armée)

A/283/CRI :

Modèle de Compilation d'HPF pour la Machine MIMD à Bancs Mémoire et Réseau Distribué Programmable Phénix. 2 Février 1996.
8ème Rencontres Francophones du Parallélisme, RenPar'8
This report is obsoleted by A/297/CRI
20-24 mai 1996
Bordeaux, France
François Irigoin, Ronan Keryell, Pierre Fiorini (DSIT/DAPSA/PTO Armée)

A/282/CRI :

Interprocedural Array Region Analyses. January 1996.
International Journal of Parallel Programming, Vol.24, No.6, pp.513-546, Special Issue on LCPC'95
Décembre 1996
Béatrice Creusillet, François Irigoin

A/282/CRI :

Interprocedural Array Region Analyses. January 1996.
International Journal of Parallel Programming, Vol.24, No.6, pp.513-546, Special Issue on LCPC'95
Décembre 1996
Béatrice Creusillet, François Irigoin

A/281/CRI :

An Information Service on Engineering Education and Employment in France. September 95
European Journal of Engineering Education,SEFI. Vol.21, No.1
1996
Robert Mahl, Claude Maury (CEFI)

A/281/CRI :

An Information Service on Engineering Education and Employment in France. September 95
European Journal of Engineering Education,SEFI. Vol.21, No.1
1996
Robert Mahl, Claude Maury (CEFI)

A/280/CRI :

DES INFORMATIONS SUR LE SYSTEME DE FORMATION GRACE AU WEB. Novembre 1995
VIèmes Journées Internationales de Technologies, (VIèmes JIT), ET Les nouveaux défis des Écoles d'ingénieurs, Universités francophones, pp.73-81, 1997
23-25 Janvier 1996
Phnom Penh, Cambodge
Robert Mahl

A/280/CRI :

DES INFORMATIONS SUR LE SYSTEME DE FORMATION GRACE AU WEB. Novembre 1995
VIèmes Journées Internationales de Technologies, (VIèmes JIT), ET Les nouveaux défis des Écoles d'ingénieurs, Universités francophones, pp.73-81, 1997
23-25 Janvier 1996
Phnom Penh, Cambodge
Robert Mahl

A/277/CRI :

OPTIMAL COMPILATION OF HPF REMAPPING. OCTOBER 23, 1995
Journal of Parallel and Distributed Computing, Vol.28, pp.229-236
1996
Fabien Coelho, Corinne Ancourt

A/277/CRI :

OPTIMAL COMPILATION OF HPF REMAPPING. OCTOBER 23, 1995
Journal of Parallel and Distributed Computing, Vol.28, pp.229-236
1996
Fabien Coelho, Corinne Ancourt

A/172 :

INTERPROCEDURAL ANALYSIS BASED RESTRUCTURING OF PROGRAMS.
Colloque International Algorithmes & Architectures Paralleles - International workshop parallel algorithms & architectures, Centre International de Rencontres Mathématiques
14-18 Avril 1986
Luminy, Marseille
R. Triolet

A/172 :

INTERPROCEDURAL ANALYSIS BASED RESTRUCTURING OF PROGRAMS.
Colloque International Algorithmes & Architectures Paralleles - International workshop parallel algorithms & architectures, Centre International de Rencontres Mathématiques
14-18 Avril 1986
Luminy, Marseille
R. Triolet

1995

A/294/CRI :

Projet BARRACUDA: Etude Audio/Vidéo.
Mars 1995
Pierre Jouvelot

A/294/CRI :

Projet BARRACUDA: Etude Audio/Vidéo.
Mars 1995
Pierre Jouvelot

A/279/CRI :

ARRAY REGIONS FOR INTERPROCEDURAL PARALLELIZATION AND ARRAY PRIVATIZATION.
November 27, 1995
Béatrice Creusillet

A/279/CRI :

ARRAY REGIONS FOR INTERPROCEDURAL PARALLELIZATION AND ARRAY PRIVATIZATION.
November 27, 1995
Béatrice Creusillet

A/276/CRI :

OPTIMAL COMPILATION OF HPF REMAPPING (EXTENDED ABSTRACT). October 20, 1995
submitted to : ACM International Conference on Programming Languages Design and Implementation, PLDI'96
Please prefer A/277/CRI Extended Version
Date ?
Ville ?, Pays ?
Fabien Coelho, Corinne Ancourt

A/276/CRI :

OPTIMAL COMPILATION OF HPF REMAPPING (EXTENDED ABSTRACT). October 20, 1995
submitted to : ACM International Conference on Programming Languages Design and Implementation, PLDI'96
Please prefer A/277/CRI Extended Version
Date ?
Ville ?, Pays ?
Fabien Coelho, Corinne Ancourt

A/275/CRI :

REMOVING USELESS REMAPPINGS.
Part of A/277/CRI, Prefer the later
October 23, 1995
Fabien Coelho, Corinne Ancourt

A/275/CRI :

REMOVING USELESS REMAPPINGS.
Part of A/277/CRI, Prefer the later
October 23, 1995
Fabien Coelho, Corinne Ancourt

A/274/CRI :

OPTIMAL COMPILATION OF HPF REMAPPINGS (EXTENDED ABSTRACT).
This report is obsoleted by A/277/CRI
July 18, 1995
Fabien Coelho, Corinne Ancourt

A/274/CRI :

OPTIMAL COMPILATION OF HPF REMAPPINGS (EXTENDED ABSTRACT).
This report is obsoleted by A/277/CRI
July 18, 1995
Fabien Coelho, Corinne Ancourt

A/273/CRI :

TYPE AND EFFECT SYSTEMS VIA ABSTRACT INTERPRETATION.
July 12, 1995
Jérôme Vouillon, Pierre Jouvelot

A/273/CRI :

TYPE AND EFFECT SYSTEMS VIA ABSTRACT INTERPRETATION.
July 12, 1995
Jérôme Vouillon, Pierre Jouvelot

A/272/CRI :

IN AND OUT ARRAY REGION ANALYSES. Avril 1995
5th Compiler Workshop Compilers for Parallel Computers, CPC'95
26-30 Juin 1995
Malaga, Espagne
Béatrice Creusillet

A/272/CRI :

IN AND OUT ARRAY REGION ANALYSES. Avril 1995
5th Compiler Workshop Compilers for Parallel Computers, CPC'95
26-30 Juin 1995
Malaga, Espagne
Béatrice Creusillet

A/271/CRI :

AUTOMATIC DATA DISTRIBUTION FOR MASSIVELY PARALLEL COMPUTERS. Avril 1995
5th Compiler Workshop Compilers for Parallel Computers, CPC'95
26-30 Juin 1995
Malaga, Espagne
Alexis Platonoff

A/271/CRI :

AUTOMATIC DATA DISTRIBUTION FOR MASSIVELY PARALLEL COMPUTERS. Avril 1995
5th Compiler Workshop Compilers for Parallel Computers, CPC'95
26-30 Juin 1995
Malaga, Espagne
Alexis Platonoff

A/270/CRI :

INTERPROCEDURAL ARRAY REGION ANALYSES. 31 Mars 95
Workshop on Languages and Compilers for Parallel Computing, LCPC'95
10-12 Août 1995
Colombus, OHIO, USA
Béatrice Creusillet, François Irigoin

A/270/CRI :

INTERPROCEDURAL ARRAY REGION ANALYSES. 31 Mars 95
Workshop on Languages and Compilers for Parallel Computing, LCPC'95
10-12 Août 1995
Colombus, OHIO, USA
Béatrice Creusillet, François Irigoin

A/269/CRI :

ANALYSE DE FLOT DE DONNEES: REGIONS DE TABLEAUX IN ET OUT. Mai 1995.
7ème Rencontres sur le Parallélisme, RenPar'7
30 mai-2 Juin 1995
Mons, Belgique
Béatrice Creusillet

A/269/CRI :

ANALYSE DE FLOT DE DONNEES: REGIONS DE TABLEAUX IN ET OUT. Mai 1995.
7ème Rencontres sur le Parallélisme, RenPar'7
30 mai-2 Juin 1995
Mons, Belgique
Béatrice Creusillet

A/267/CRI :

A LINEAR ALGEBRA FRAMEWORK FOR STATIC HPF CODE DISTRIBUTION.
This report is obsoleted by A/278/CRI
May 27, 1995
Corinne Ancourt, Fabien Coelho, François Irigoin, Ronan Keryell

A/267/CRI :

A LINEAR ALGEBRA FRAMEWORK FOR STATIC HPF CODE DISTRIBUTION.
This report is obsoleted by A/278/CRI
May 27, 1995
Corinne Ancourt, Fabien Coelho, François Irigoin, Ronan Keryell

A/266/CRI :

MINIMAL DATA DEPENDENCE ABSTRATIONS FOR LOOP TRANSFORMATIONS (Extended Version). Mai 1995.
International Journal of Parallel Programming, Special Issue, Vol.23, No.4, pp. 259-388).
August 1995
Yi-Qing Yang, Corinne Ancourt, François Irigoin

A/266/CRI :

MINIMAL DATA DEPENDENCE ABSTRATIONS FOR LOOP TRANSFORMATIONS (Extended Version). Mai 1995.
International Journal of Parallel Programming, Special Issue, Vol.23, No.4, pp. 259-388).
August 1995
Yi-Qing Yang, Corinne Ancourt, François Irigoin

A/264/CRI :

COMPILATION OF I/O COMMUNICATIONS FOR HPF. Novembre 1994
Proceedings FRONTIERS'95
6-9 February 1995
Mc Lean, Virginia, USA
Fabien Coelho

A/264/CRI :

COMPILATION OF I/O COMMUNICATIONS FOR HPF. Novembre 1994
Proceedings FRONTIERS'95
6-9 February 1995
Mc Lean, Virginia, USA
Fabien Coelho

A/262/CRI :

CALCUL DE REGIONS DE TABLEAUX EXACTES. Août 1994
TSI, Techniques et Sciences Informatiques, Vol.14, No.5, pp.585-600
Mai 1995
Béatrice Apvrille-Creusillet)

A/262/CRI :

CALCUL DE REGIONS DE TABLEAUX EXACTES. Août 1994
TSI, Techniques et Sciences Informatiques, Vol.14, No.5, pp.585-600
Mai 1995
Béatrice Apvrille-Creusillet)

1994

E/186/CRI :

SAGEM DEPARTEMENT MORPHO-SYSTEMES. PR0JET NAFIS.
RAPPORT DE STAGE INGENIEUR
4 Juillet - 16 Septembre 1994
L. Vaucher

E/186/CRI :

SAGEM DEPARTEMENT MORPHO-SYSTEMES. PR0JET NAFIS.
RAPPORT DE STAGE INGENIEUR
4 Juillet - 16 Septembre 1994
L. Vaucher

E/185/CRI :

REGIONS EXACTES ET PRIVATISATION DE TABLEAUX.
RAPPORT DE DEA
30 Août 1994
B. Apvrille-Creusillet

E/185/CRI :

REGIONS EXACTES ET PRIVATISATION DE TABLEAUX.
RAPPORT DE DEA
30 Août 1994
B. Apvrille-Creusillet

A/263/CRI :

MINIMAL DATA DEPENDENCE ABSTRATIONS FOR LOOP TRANSFORMATIONS. July 1994.
The Seventh Annual Workshop on Languages and Compilers for Parallel Computing, LCPC'94, , ). Revue LCPC'94, Springer-Verlag
Voir rapport A/266/CRI pour Diffusion
8-10 August 1994
Ithaca (Cornell), NY
Corinne Ancourt, François Irigoin, Yi-Qing Yang

A/263/CRI :

MINIMAL DATA DEPENDENCE ABSTRATIONS FOR LOOP TRANSFORMATIONS. July 1994.
The Seventh Annual Workshop on Languages and Compilers for Parallel Computing, LCPC'94, , ). Revue LCPC'94, Springer-Verlag
Voir rapport A/266/CRI pour Diffusion
8-10 August 1994
Ithaca (Cornell), NY
Corinne Ancourt, François Irigoin, Yi-Qing Yang

A/261/CRI :

SEPARATE POLYVARIANT BINDING TIME RECONSTRUCTION.
Juillet 1994
Charles Consel, Pierre Jouvelot, Peter Orbaek

A/261/CRI :

SEPARATE POLYVARIANT BINDING TIME RECONSTRUCTION.
Juillet 1994
Charles Consel, Pierre Jouvelot, Peter Orbaek

A/260/CRI :

HPF ET L'ETAT DE L'ART.
Juillet 1994
Fabien Coelho

A/260/CRI :

HPF ET L'ETAT DE L'ART.
Juillet 1994
Fabien Coelho

A/259/CRI :

CALCUL DE REGIONS DE TABLEAUX EXACTES. 6 Mai 1994
The proceedings of 6èmes Rencontres francophones du parallélisme, RenPar'6, ENS Lyon
6-10 Juin 1994
Lyon, France
Béatrice Apvrille

A/259/CRI :

CALCUL DE REGIONS DE TABLEAUX EXACTES. 6 Mai 1994
The proceedings of 6èmes Rencontres francophones du parallélisme, RenPar'6, ENS Lyon
6-10 Juin 1994
Lyon, France
Béatrice Apvrille

A/257/CRI :

EXPERIMENTS WITH HPF COMPILATION FOR A NETWORK OF WORKSTATIONS. April 1994
The proceedings of International Conference and Exhibition, HPCN Europe '94. Lecture Notes in Computer Science 797, Volume II, p.423-428).
April 18-20, 1994
Munich, Germany
Fabien Coelho

A/257/CRI :

EXPERIMENTS WITH HPF COMPILATION FOR A NETWORK OF WORKSTATIONS. April 1994
The proceedings of International Conference and Exhibition, HPCN Europe '94. Lecture Notes in Computer Science 797, Volume II, p.423-428).
April 18-20, 1994
Munich, Germany
Fabien Coelho

A/256/CRI :

MINIMAL DATA DEPENDENCE ABSTRATIONS FOR LOOP TRANSFORMATIONS. July 1994
The Seventh Annual Workshop on Languages and Compilers for Parallel Computing, LCPC'94. Version Workshop Proceedings.
Voir rapport A/266/CRI pour Diffusion
8-10 August 1994
Ithaca (Cornell), NY
Corinne Ancourt, François Irigoin, Yi-Qing Yang

A/256/CRI :

MINIMAL DATA DEPENDENCE ABSTRATIONS FOR LOOP TRANSFORMATIONS. July 1994
The Seventh Annual Workshop on Languages and Compilers for Parallel Computing, LCPC'94. Version Workshop Proceedings.
Voir rapport A/266/CRI pour Diffusion
8-10 August 1994
Ithaca (Cornell), NY
Corinne Ancourt, François Irigoin, Yi-Qing Yang

A/241/CRI :

SEPARATE ABSTRACT INTERPRETATION FOR CONTROL-FLOW ANALYSIS. July 28, 1993.
the proceedings of the International Symposium on Theoretical Aspects of Computer Software, TACS'94, Lecture Notes in Computer Science 789, April 1994
April 19-22, 1994
Sendai, Japan
Yan-Mei Tang, Pierre Jouvelot

A/241/CRI :

SEPARATE ABSTRACT INTERPRETATION FOR CONTROL-FLOW ANALYSIS. July 28, 1993.
the proceedings of the International Symposium on Theoretical Aspects of Computer Software, TACS'94, Lecture Notes in Computer Science 789, April 1994
April 19-22, 1994
Sendai, Japan
Yan-Mei Tang, Pierre Jouvelot

A/206/CRI :

THE TYPE AND EFFECT DISCIPLINE. (Extended Version) December 1991, Revised Octobre 1992.
The proceedings of 1992 Conference on Logic in Computer Science. IEEE Computer Society Press, 1992. In Information And Computation, Vol.111, No.2, June 1994, pp.245-295
June 1994
J.-P. Talpin, P. Jouvelot

A/206/CRI :

THE TYPE AND EFFECT DISCIPLINE. (Extended Version) December 1991, Revised Octobre 1992.
The proceedings of 1992 Conference on Logic in Computer Science. IEEE Computer Society Press, 1992. In Information And Computation, Vol.111, No.2, June 1994, pp.245-295
June 1994
J.-P. Talpin, P. Jouvelot

1993

E/178/CRI :

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

E/178/CRI :

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

A/265/CRI :

ACTIVITY COUNTER: NEW OPTIMIZATION FOR THE DYNAMIC SCHEDULING OF SIMD CONTROL FLOW (Extended version) 1993
1993 International Conference on Parallel Processing, ICPP'93
August, 1993
Saint-Charles, Ohio, USA
Ronan Keryell, Nicolas Paris (Hyperparallel Technologies, Polytechniques

A/265/CRI :

ACTIVITY COUNTER: NEW OPTIMIZATION FOR THE DYNAMIC SCHEDULING OF SIMD CONTROL FLOW (Extended version) 1993
1993 International Conference on Parallel Processing, ICPP'93
August, 1993
Saint-Charles, Ohio, USA
Ronan Keryell, Nicolas Paris (Hyperparallel Technologies, Polytechniques

A/253/CRI :

MATISSES: UNE MACHINE A TRANSPUTER INCLUANT LA SYNCHRONISATION SCALAIRE. 1993
5ème Rencontres sur le Parallélisme, RenPar'5
May 1993
Brest, France
Ronan Keryell

A/253/CRI :

MATISSES: UNE MACHINE A TRANSPUTER INCLUANT LA SYNCHRONISATION SCALAIRE. 1993
5ème Rencontres sur le Parallélisme, RenPar'5
May 1993
Brest, France
Ronan Keryell

A/252/CRI :

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

A/252/CRI :

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

A/251/CRI :

IMPLEMENTATION OF THE TYPED CALL-BY-VALUE $lambda$-CALCULUS USING A STACK OF REGIONS. Novembre 1993
The 21st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, PoPL'94
January 16-19, 1994
Portland, Oregon, USA
Jean-Pierre Talpin, Madd Tofte (University of Copenhagen)

A/251/CRI :

IMPLEMENTATION OF THE TYPED CALL-BY-VALUE $lambda$-CALCULUS USING A STACK OF REGIONS. Novembre 1993
The 21st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, PoPL'94
January 16-19, 1994
Portland, Oregon, USA
Jean-Pierre Talpin, Madd Tofte (University of Copenhagen)

A/250/CRI :

A LINEAR ALGEBRA FRAMEWORK FOR STATIC HPF CODE DISTRIBUTION.Novembre 93
Fourth Workshop on Compilers for Parallel Computers, CPC'93
This report is obsoleted by A/278/CRI
12-17 décembre 1993
Delft, Pays-Bas
Corinne Ancourt, Fabien Coelho, François Irigoin, Ronan Keryell

A/250/CRI :

A LINEAR ALGEBRA FRAMEWORK FOR STATIC HPF CODE DISTRIBUTION.Novembre 93
Fourth Workshop on Compilers for Parallel Computers, CPC'93
This report is obsoleted by A/278/CRI
12-17 décembre 1993
Delft, Pays-Bas
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
1993 International Conference on Parallel Processing, ICPP'93
August, 1993
Saint-Charles, Ohio, USA
Ronan Keryell, Nicolas Paris (Hyperparallel Technologies, Polytechniques

A/249/CRI :

ACTIVITY COUNTER: NEW OPTIMIZATION FOR THE DYNAMIC SCHEDULING OF SIMD CONTROL FLOW. 1993
1993 International Conference on Parallel Processing, ICPP'93
August, 1993
Saint-Charles, Ohio, USA
Ronan Keryell, Nicolas Paris (Hyperparallel Technologies, Polytechniques

A/246/CRI :

EFFECT SYSTEMS WITH SUBTYPING. October 1, 1993
Proceedings of 1995 ACM International Conference on Partial Evaluation and Program Manipulation Techniques, PEPM'95
21-23 Juin1995
La Jolla, USA
Yan-Mei. Tang, Pierre Jouvelot

A/246/CRI :

EFFECT SYSTEMS WITH SUBTYPING. October 1, 1993
Proceedings of 1995 ACM International Conference on Partial Evaluation and Program Manipulation Techniques, PEPM'95
21-23 Juin1995
La Jolla, USA
Yan-Mei. Tang, Pierre Jouvelot

A/245/CRI :

PERFORMANCE, PORTABILITY AND IMPLICIT PARALLELISM. July 1993.
The proceedings of the workshop on Portability and Performance for Parallel Processors (P4)
12-16 juillet 1993
Southampton, Royaume-Uni
François Irigoin

A/245/CRI :

PERFORMANCE, PORTABILITY AND IMPLICIT PARALLELISM. July 1993.
The proceedings of the workshop on Portability and Performance for Parallel Processors (P4)
12-16 juillet 1993
Southampton, Royaume-Uni
François Irigoin

A/244/CRI :

D'UN PETIT ORDINATEUR MASSIVEMENT PARALLELE: SYNTHESE DU PROJET POMP.
Techniques et Sciences Informatiques (TSI), 1993, Volume 12, Number 6, p.715-743.
1993
Ronan Keryell

A/244/CRI :

D'UN PETIT ORDINATEUR MASSIVEMENT PARALLELE: SYNTHESE DU PROJET POMP.
Techniques et Sciences Informatiques (TSI), 1993, Volume 12, Number 6, p.715-743.
1993
Ronan Keryell

A/243/CRI :

SEMANTIC ANALYSIS OF INTERVAL CONGRUENCES. June 1993
The proceedings of the International Conference on Formal Methods in Programming and their Applications (FMPA'93)
28 juin 1993 -05 Juilet 1993
Novosibirsk, Russie
François Masdupuy

A/243/CRI :

SEMANTIC ANALYSIS OF INTERVAL CONGRUENCES. June 1993
The proceedings of the International Conference on Formal Methods in Programming and their Applications (FMPA'93)
28 juin 1993 -05 Juilet 1993
Novosibirsk, Russie
François Masdupuy

A/240/CRI :

COMPILING FX ON THE CM-2*. July 1993.
The proceedings of the 3nd International Workshop on Static Analysis
22-24 September 1993
Padoue, Italie
Jean-Pierre Talpin, Pierre Jouvelot

A/240/CRI :

COMPILING FX ON THE CM-2*. July 1993.
The proceedings of the 3nd International Workshop on Static Analysis
22-24 September 1993
Padoue, Italie
Jean-Pierre Talpin, Pierre Jouvelot

A/237/CRI :

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

A/237/CRI :

SEPARATE POLYVARIANT BINDING-TIME ANALYSIS. March 1993.
Technical Report : No.CS/E 93-006
March 1993
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)

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)

A/234/CRI :

MAXIMIZING LOOP PARALLELISM AND IMPROVING DATA LOCALITY VIA LOOP FUSION AND DISTRIBUTION. March 1993.
The Sixth Annual Languages and Compiler For Parallelism Workshop
12-14 Août, 1993
Portland, Oregon, USA
K. S. McKinley, K. Kennedy (Rice University, Houston TX, USA).

A/234/CRI :

MAXIMIZING LOOP PARALLELISM AND IMPROVING DATA LOCALITY VIA LOOP FUSION AND DISTRIBUTION. March 1993.
The Sixth Annual Languages and Compiler For Parallelism Workshop
12-14 Août, 1993
Portland, Oregon, USA
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.
The 4th ACM SIGPLAN Symposium on Principles and Practices of Parallel Programming
20-21 mai, 1993
San-Diego, USA
K. S. McKinley, M.W. Hall, T.J. Harvey, K. Kennedy, N. McIntosh, J.D. Oldham, M.H. Paleczny, G. Roth

A/233/CRI :

EXPERIENCES USING THE PARASCOPE EDITOR: AN INTERACTIVE PARALLEL PROGRAMMING TOOL. March 1993.
The 4th ACM SIGPLAN Symposium on Principles and Practices of Parallel Programming
20-21 mai, 1993
San-Diego, USA
K. S. McKinley, M.W. Hall, T.J. Harvey, K. Kennedy, N. McIntosh, J.D. Oldham, M.H. Paleczny, G. Roth

1992

E/170/CRI :

ETUDE DE LA COMPILATION DU HIGH PERFORMANCE FORTRAN.
RAPPORT DE STAGE INGENIEUR
Juillet-Septembre 1992
F. Coelho

E/170/CRI :

ETUDE DE LA COMPILATION DU HIGH PERFORMANCE FORTRAN.
RAPPORT DE STAGE INGENIEUR
Juillet-Septembre 1992
F. Coelho

E/168/CRI :

DE LA PARALLELISATION DE FORTRAN A LA PARALLELISATION DE C: CONCEPTS ET ANALYSE.
RAPPORT DE DEA
Septembre 1992
Mourad Nait Abdesselam

E/168/CRI :

DE LA PARALLELISATION DE FORTRAN A LA PARALLELISATION DE C: CONCEPTS ET ANALYSE.
RAPPORT DE DEA
Septembre 1992
Mourad Nait Abdesselam

A/231/CRI :

ACTIVITY COUNTER: A NEW OPTIMIZATION FOR SIMD CONTROL FLOW.December 1992.
The 1993 International Conference on Parallel Processing for the Architecture session.
December 1992
R. Keryell, N. Paris (HyperParallel Technologies).

A/231/CRI :

ACTIVITY COUNTER: A NEW OPTIMIZATION FOR SIMD CONTROL FLOW.December 1992.
The 1993 International Conference on Parallel Processing for the Architecture session.
December 1992
R. Keryell, N. Paris (HyperParallel Technologies).

A/230/CRI :

TIME BOUNDS RECONSTRUCTION IN HIGHER-ORDER TYPED LANGUAGES. 1992.
1992
V. Dornic, P. Jouvelot, B. Reistad (LCS, Massachusetts Institute of Technology)

A/230/CRI :

TIME BOUNDS RECONSTRUCTION IN HIGHER-ORDER TYPED LANGUAGES. 1992.
1992
V. Dornic, P. Jouvelot, B. Reistad (LCS, Massachusetts Institute of Technology)

A/229/CRI :

DATA REGION INFERENCE FOR POLYMORPHIC FUNCTIONAL LANGUAGES (TECHNICAL SUMMARY). 24 July 1992.
Submitted to : POPL'93
Ne pas distribuer
24 July 1992
J.-P. Talpin, Mads Tofte (DIKU, Copenhagen University)

A/229/CRI :

DATA REGION INFERENCE FOR POLYMORPHIC FUNCTIONAL LANGUAGES (TECHNICAL SUMMARY). 24 July 1992.
Submitted to : POPL'93
Ne pas distribuer
24 July 1992
J.-P. Talpin, Mads Tofte (DIKU, Copenhagen University)

A/228/CRI :

LE COMPILATEUR FX ET LA CM-2.
Chroniques hyperparalleles, revue éditée par le Site Expérimental en Hyper-parallèlisme (ETCA)
Juillet 1992
Arcueil
J.-P. Talpin, P. Jouvelot

A/228/CRI :

LE COMPILATEUR FX ET LA CM-2.
Chroniques hyperparalleles, revue éditée par le Site Expérimental en Hyper-parallèlisme (ETCA)
Juillet 1992
Arcueil
J.-P. Talpin, P. Jouvelot

A/227/CRI :

INTERPROCEDURAL ANALYSES FOR PROGRAMMING ENVIRONMENTS. 13 Août 1992.
Workshop on Environments and Tools For Parallel Scientific Computing, CNRS-NSF
7-8 Septembre 1992
Saint-Hilaire du Touvier
F. Irigoin

A/227/CRI :

INTERPROCEDURAL ANALYSES FOR PROGRAMMING ENVIRONMENTS. 13 Août 1992.
Workshop on Environments and Tools For Parallel Scientific Computing, CNRS-NSF
7-8 Septembre 1992
Saint-Hilaire du Touvier
F. Irigoin

A/226/CRI :

AUTOMATIC CODE DISTRIBUTION. July 1992
The Third Workshop on Compilers for Parallel Computers (CPC'92)
July 6-9, 1992
Vienna, Austria
C. Ancourt, F. Irigoin

A/226/CRI :

AUTOMATIC CODE DISTRIBUTION. July 1992
The Third Workshop on Compilers for Parallel Computers (CPC'92)
July 6-9, 1992
Vienna, Austria
C. Ancourt, F. Irigoin

A/225/CRI :

CONTROL-FLOW EFFECTS FOR ESCAPE ANALYSIS. Juin 1992.
Workshop on Static Analysis 92 (JTASPFL'92)
September 23-25, 1992
Bordeaux, France
Y.M. Tang

A/225/CRI :

CONTROL-FLOW EFFECTS FOR ESCAPE ANALYSIS. Juin 1992.
Workshop on Static Analysis 92 (JTASPFL'92)
September 23-25, 1992
Bordeaux, France
Y.M. Tang

A/224/CRI :

A FAULT-TOLERANT ALGORITHM FOR MAINTAINING WEAK CONSISTENCY.
May 1992
S. Flynn-Hummel

A/224/CRI :

A FAULT-TOLERANT ALGORITHM FOR MAINTAINING WEAK CONSISTENCY.
May 1992
S. Flynn-Hummel

A/223/CRI :

SEMANTICAL INTERPROCEDURAL ANALYSIS BY PARTIAL SYMBOLIC EVALUATION. April 1992.
ACM Workshop Partial Evaluation and Semantics-Based Program Manipulation
June 1992
San Francisco, California, USA
B. Dehbonei, P. Jouvelot

A/223/CRI :

SEMANTICAL INTERPROCEDURAL ANALYSIS BY PARTIAL SYMBOLIC EVALUATION. April 1992.
ACM Workshop Partial Evaluation and Semantics-Based Program Manipulation
June 1992
San Francisco, California, USA
B. Dehbonei, P. Jouvelot

A/222/CRI :

IMPACT OF MEMORY CONTENTION ON TASK DURATION IN SELF-SCHEDULED PROGRAMS. A PROGRESS REPORT.
submitted to : the MPCI 1992, Yearly Rapport
March 1992
M.D. Durand, T. Montaut, L. Kervella, W. Jalby

A/222/CRI :

IMPACT OF MEMORY CONTENTION ON TASK DURATION IN SELF-SCHEDULED PROGRAMS. A PROGRESS REPORT.
submitted to : the MPCI 1992, Yearly Rapport
March 1992
M.D. Durand, T. Montaut, L. Kervella, W. Jalby

A/221/CRI :

COMPLEXITY ESTIMATION IN THE PIPS PARALLEL PROGRAMMING ENVIRONMENT. February 1992
the Proceedings of CONPAR92/VAPPV. Laboratoire de l'Informatique du Paral-lélisme, Ecole Normale Supérieure de Lyon
September 1-4, 1992
Lyon, France
L. Zhou

A/221/CRI :

COMPLEXITY ESTIMATION IN THE PIPS PARALLEL PROGRAMMING ENVIRONMENT. February 1992
the Proceedings of CONPAR92/VAPPV. Laboratoire de l'Informatique du Paral-lélisme, Ecole Normale Supérieure de Lyon
September 1-4, 1992
Lyon, France
L. Zhou

A/220/CRI :

ANALYSIS OF SHARED-DATA CONSISTENCY ALGORITHMS
May 1992
S. Flynn-Hummel

A/220/CRI :

ANALYSIS OF SHARED-DATA CONSISTENCY ALGORITHMS
May 1992
S. Flynn-Hummel

A/219/CRI :

A HIGHLY-PARALLEL ADA TASK SCHEDULER. May 1992
theProceedings of Ada-Europ Conference,Springer-Verlag
June 1992
S. Flynn-Hummel

A/219/CRI :

A HIGHLY-PARALLEL ADA TASK SCHEDULER. May 1992
theProceedings of Ada-Europ Conference,Springer-Verlag
June 1992
S. Flynn-Hummel

A/218/CRI :

WORKSTATION HARDWARE AND SOFTWARE SUPPORT FOR PARALLEL APPLICATIONS:
the Proceedings of the Wokshop on Parallel and Distributed Workstation Systems. To be printed: as a special issue: Future Generation Computer Systems, Vol.8. No.1-3, pp.49-65)
July 1992
S. Flynn-Hummel

A/218/CRI :

WORKSTATION HARDWARE AND SOFTWARE SUPPORT FOR PARALLEL APPLICATIONS:
the Proceedings of the Wokshop on Parallel and Distributed Workstation Systems. To be printed: as a special issue: Future Generation Computer Systems, Vol.8. No.1-3, pp.49-65)
July 1992
S. Flynn-Hummel

A/216/CRI :

FACTORING: A PRACTICAL AND ROBUST METHOD FOR SCHEDULING PARALLEL LOOPS. February 24, 1992.
the Proceedings of the Supercomputing Conference,Communication of ACM, Vol.35, No.8
August 1992
S. Flynn-Hummel, E. Schonberg, L.E. Flynn

A/216/CRI :

FACTORING: A PRACTICAL AND ROBUST METHOD FOR SCHEDULING PARALLEL LOOPS. February 24, 1992.
the Proceedings of the Supercomputing Conference,Communication of ACM, Vol.35, No.8
August 1992
S. Flynn-Hummel, E. Schonberg, L.E. Flynn

A/214/CRI :

ÉVALUATION EXPÉRIMENTALE DE TESTS DE DÉPENDANCES. 18 Février 1992
4ème Rencontre du Parallélisme
18-20 mars 1992
Lille, France
Y.-Q. Yang

A/214/CRI :

ÉVALUATION EXPÉRIMENTALE DE TESTS DE DÉPENDANCES. 18 Février 1992
4ème Rencontre du Parallélisme
18-20 mars 1992
Lille, France
Y.-Q. Yang

A/213/CRI :

NIDS DE BOUCLES ET MACHINES A MÉMOIRE REPARTIE. May 4, 1992
submitted to : 20ème École de Printemps du LITP.COMPILATION POUR MACHINES A MÉMOIRE REPARTIE. May, 1992. In : Études et Recherches en Informatique, Algorithmique parallèle. Masson, pp.261-269
May 1992
F. Irigoin, C. Ancourt

A/213/CRI :

NIDS DE BOUCLES ET MACHINES A MÉMOIRE REPARTIE. May 4, 1992
submitted to : 20ème École de Printemps du LITP.COMPILATION POUR MACHINES A MÉMOIRE REPARTIE. May, 1992. In : Études et Recherches en Informatique, Algorithmique parallèle. Masson, pp.261-269
May 1992
F. Irigoin, C. Ancourt

A/211/CRI :

ALGEBRAIC TIME RECONSTRUCTION.
February 1992
V. Dornic{, P. Jouvelot}

A/211/CRI :

ALGEBRAIC TIME RECONSTRUCTION.
February 1992
V. Dornic{, P. Jouvelot}

A/210/CRI :

POLYMORPHIC TIME SYSTEMS FOR ESTIMATING PROGRAM COMPLEXITY.February~1992: ACM Letters On Programming Languages And Systems - LOPLAS)
February 1992
V. Dornic{, P. Jouvelot, D.K. Gifford}

A/210/CRI :

POLYMORPHIC TIME SYSTEMS FOR ESTIMATING PROGRAM COMPLEXITY.February~1992: ACM Letters On Programming Languages And Systems - LOPLAS)
February 1992
V. Dornic{, P. Jouvelot, D.K. Gifford}

A/205/CRI :

POLYMORPHIC TYPE, REGION AND EFFECT INFERENCE. February 1991, revised December 1991
Journal on Functional Programming, Vol.2, No.2, 1992
1992
Cambridge University Press
J.-P. Talpin, P. Jouvelot

A/205/CRI :

POLYMORPHIC TYPE, REGION AND EFFECT INFERENCE. February 1991, revised December 1991
Journal on Functional Programming, Vol.2, No.2, 1992
1992
Cambridge University Press
J.-P. Talpin, P. Jouvelot

1991

E/157/CRI :

MAINTIEN DE LA COHERENCE DANS UN COMPILATEUR-OPTIMISEURINTERPROCEDURAL.
RAPPORT DE DEA
Juillet 1991
B. Baron

E/157/CRI :

MAINTIEN DE LA COHERENCE DANS UN COMPILATEUR-OPTIMISEURINTERPROCEDURAL.
RAPPORT DE DEA
Juillet 1991
B. Baron

E/156/CRI :

INTERFACAGE DU PARALLELISEUR PIPS AVEC XWINDOW.
RAPPORT DE DEA
Juin 1991
A. Chihani

E/156/CRI :

INTERFACAGE DU PARALLELISEUR PIPS AVEC XWINDOW.
RAPPORT DE DEA
Juin 1991
A. Chihani

A/217/CRI :

A SET-BASED LANGUAGE FOR PROTOTYPING PARALLEL ALGORITHMS. October 1991
the Proceedings of the Computer Architectures for Machine Perception 91 Conference, pp.135-146)
December 16-18, 1991
Paris
S. Flynn-Hummel, R. Hummel, R. Kelly

A/217/CRI :

A SET-BASED LANGUAGE FOR PROTOTYPING PARALLEL ALGORITHMS. October 1991
the Proceedings of the Computer Architectures for Machine Perception 91 Conference, pp.135-146)
December 16-18, 1991
Paris
S. Flynn-Hummel, R. Hummel, R. Kelly

A/215/CRI :

POLYCOMPUTER: A SCALABLE FAULT-TOLERANT ARCHITECTURE
the Proceedings of the second Workshop on Scalable Shared-Memory Multiprocessors held in conjunction with the 18th International Symposium on Computer Architecture
May 1991
S. Flynn-Hummel

A/215/CRI :

POLYCOMPUTER: A SCALABLE FAULT-TOLERANT ARCHITECTURE
the Proceedings of the second Workshop on Scalable Shared-Memory Multiprocessors held in conjunction with the 18th International Symposium on Computer Architecture
May 1991
S. Flynn-Hummel

A/209/CRI :

POLYMORPHIC TIME SYSTEMS FOR ESTIMATING PROGRAM COMPLEXITY.April 1991.
BIGRE 74, Octobre 1991. Journées de travail sur l'analyse statique en programmation equationnelle, fonctionnelle et logique - Workshop on static analysis of equational, functional and logic programs
No d'enregistrement E/154
9-11 Octobre 1991
Bordeaux, France
V. Dornic{, P. Jouvelot, David K. Gifford}

A/209/CRI :

POLYMORPHIC TIME SYSTEMS FOR ESTIMATING PROGRAM COMPLEXITY.April 1991.
BIGRE 74, Octobre 1991. Journées de travail sur l'analyse statique en programmation equationnelle, fonctionnelle et logique - Workshop on static analysis of equational, functional and logic programs
No d'enregistrement E/154
9-11 Octobre 1991
Bordeaux, France
V. Dornic{, P. Jouvelot, David K. Gifford}

A/208/CRI :

THE FX/CM COMPILER BACKEND, OR TAMING MASSIVE PARALLELISM WITH AN EFFECT SYSTEM.
Extended Abstract
December 1991
J.-P. Talpin, P. Jouvelot

A/208/CRI :

THE FX/CM COMPILER BACKEND, OR TAMING MASSIVE PARALLELISM WITH AN EFFECT SYSTEM.
Extended Abstract
December 1991
J.-P. Talpin, P. Jouvelot

A/207/CRI :

DISTRIBUTION D'UNE APPLICATION SCIENTIFIQUE SUR UN RESEAU DE STATIONS DE TRAVAIL. APPROCHE THÉORIQUE ET IMPLEMENTATION.
Diffusion : IFP
Septembre 1991
Eric W. Bazin

A/207/CRI :

DISTRIBUTION D'UNE APPLICATION SCIENTIFIQUE SUR UN RESEAU DE STATIONS DE TRAVAIL. APPROCHE THÉORIQUE ET IMPLEMENTATION.
Diffusion : IFP
Septembre 1991
Eric W. Bazin

A/204/CRI :

THE AXIOMATIC CHARACTERIZATION OF EASE*. June 13th, 1991
submitted to : the proceedings: A workshop on Linda-like systems
June 1991
Edinburgh, Scotland
S. Ericsson Zenith

A/204/CRI :

THE AXIOMATIC CHARACTERIZATION OF EASE*. June 13th, 1991
submitted to : the proceedings: A workshop on Linda-like systems
June 1991
Edinburgh, Scotland
S. Ericsson Zenith

A/203/CRI :

A RATIONALE FOR PROGRAMMING WITH EASE*. May 1st, 1991.
submitted to : the proceedings: Research Directions in High-Level Parallel Programming Languages
June 1991
Mont Saint-Michel, France
S. Ericsson Zenith

A/203/CRI :

A RATIONALE FOR PROGRAMMING WITH EASE*. May 1st, 1991.
submitted to : the proceedings: Research Directions in High-Level Parallel Programming Languages
June 1991
Mont Saint-Michel, France
S. Ericsson Zenith

A/202/CRI :

ALGEBRAIC RECONSTRUCTION OF TYPES AND EFFECTS.
Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, PoPL'91
January 21-23 1991
Orlando, Florida
P. Jouvelot, David K. Gifford

A/202/CRI :

ALGEBRAIC RECONSTRUCTION OF TYPES AND EFFECTS.
Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, PoPL'91
January 21-23 1991
Orlando, Florida
P. Jouvelot, David K. Gifford

A/201/CRI :

SEMANTICAL INTERPROCEDURAL PARALLELIZATION: AN OVERVIEW OF THE PIPS PROJECT.
ACM International Conference on Supercomputing, ICS'91
16-21 Juin 1991
Cologne, Allemagne
F. Irigoin, P. Jouvelot, R. Triolet

A/201/CRI :

SEMANTICAL INTERPROCEDURAL PARALLELIZATION: AN OVERVIEW OF THE PIPS PROJECT.
ACM International Conference on Supercomputing, ICS'91
16-21 Juin 1991
Cologne, Allemagne
F. Irigoin, P. Jouvelot, R. Triolet

A/198/CAI/I :

VÉRIFICATION DES TYPES, TAILLES ET TEMPS DANS UN LANGAGE APPLICATIF TYPE POLYMORPHE 28 Novembre 1990.
JFLA91: Journées Francophones des Langages Applicatifs
28-29 Janvier 1991
Gresse-en-Vercours
V. Dornic

A/198/CAI/I :

VÉRIFICATION DES TYPES, TAILLES ET TEMPS DANS UN LANGAGE APPLICATIF TYPE POLYMORPHE 28 Novembre 1990.
JFLA91: Journées Francophones des Langages Applicatifs
28-29 Janvier 1991
Gresse-en-Vercours
V. Dornic

A/195/CAI/I :

SCANNING POLYHEDRA WITH DO LOOPS.
Third ACM SIGLPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP'91
April 21-24, 1991
Williamsburg, Virginia
F. Irigoin, C. Ancourt

A/195/CAI/I :

SCANNING POLYHEDRA WITH DO LOOPS.
Third ACM SIGLPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP'91
April 21-24, 1991
Williamsburg, Virginia
F. Irigoin, C. Ancourt

1990

E/132/CAI/I :

PARALLELISATION INTER-PROCEDURALE. CALCUL DES EFFETS DES PROCEDURES AU MOYEN DES REGIONS.
RAPPORT DE STAGE DE MAGISTERE
Septembre 1990
A. Platonoff

E/132/CAI/I :

PARALLELISATION INTER-PROCEDURALE. CALCUL DES EFFETS DES PROCEDURES AU MOYEN DES REGIONS.
RAPPORT DE STAGE DE MAGISTERE
Septembre 1990
A. Platonoff

E/131/CAI/I :

SIMULATION D'UNE MEMOIRE GLOBALE SUR UNE ARCHITECTURE A PASSAGE DE MESSAGES.
RAPPORT DE DEA
Septembre 1990
H. Pensec

E/131/CAI/I :

SIMULATION D'UNE MEMOIRE GLOBALE SUR UNE ARCHITECTURE A PASSAGE DE MESSAGES.
RAPPORT DE DEA
Septembre 1990
H. Pensec

E/130/CAI/I :

STATIC COMPARISON OF DIFFERENT PROGRAM VERSIONS.
RAPPORT DE DEA
Septembre 1990
P. Berthomier

E/130/CAI/I :

STATIC COMPARISON OF DIFFERENT PROGRAM VERSIONS.
RAPPORT DE DEA
Septembre 1990
P. Berthomier

E/129/CAI/I :

LES METHODES DE PARALLELISATION INTER-PROCEDURE.
RAPPORT DE DEA
Septembre 1990
Ph. Chassany

E/129/CAI/I :

LES METHODES DE PARALLELISATION INTER-PROCEDURE.
RAPPORT DE DEA
Septembre 1990
Ph. Chassany

A/199/CAI/I :

TYPE, EFFECT AND REGION RECONSTRUCTION AND ITS APPLICATIONS. 13 Novembre 1990.
International Workshop on Compilers for Parallel Computers
December 3-5, 1990
Paris
J.-P. Talpin, P. Jouvelot

A/199/CAI/I :

TYPE, EFFECT AND REGION RECONSTRUCTION AND ITS APPLICATIONS. 13 Novembre 1990.
International Workshop on Compilers for Parallel Computers
December 3-5, 1990
Paris
J.-P. Talpin, P. Jouvelot

A/197/CAI/I :

OVERVIEW OF THE PIPS PROJECT 13 Novembre 1990.
International Workshop on Compilers for Parallel Computers
December 3-5, 1990
Paris
F. Irigoin, P. Jouvelot, R. Triolet

A/197/CAI/I :

OVERVIEW OF THE PIPS PROJECT 13 Novembre 1990.
International Workshop on Compilers for Parallel Computers
December 3-5, 1990
Paris
F. Irigoin, P. Jouvelot, R. Triolet

A/196/CAI/I :

CODE GENERATION FOR DATA MOVEMENTS IN HIERARCHICAL MEMORY MACHINES. 3 Décembre 1990.
International Workshop on Compilers for Parallel Computers
December 3-5, 1990
Paris
C. Ancourt

A/196/CAI/I :

CODE GENERATION FOR DATA MOVEMENTS IN HIERARCHICAL MEMORY MACHINES. 3 Décembre 1990.
International Workshop on Compilers for Parallel Computers
December 3-5, 1990
Paris
C. Ancourt

A/194/CAI/I :

PARALLÉLISATION SÉMANTIQUE.
Revue Informatique théorique et Applications/Theoretical Informatics and Applications (Vol.24, No.2, 1990, p. 131 à 159)
1990
P. Jouvelot

A/194/CAI/I :

PARALLÉLISATION SÉMANTIQUE.
Revue Informatique théorique et Applications/Theoretical Informatics and Applications (Vol.24, No.2, 1990, p. 131 à 159)
1990
P. Jouvelot

A/193/CAI/I :

GENERATION DE CODE POUR MULTIPROCESSEUR A MÉMOIRES LOCALES
Réunions C3
Juillet 1990
Rennes
C. Ancourt

A/193/CAI/I :

GENERATION DE CODE POUR MULTIPROCESSEUR A MÉMOIRES LOCALES
Réunions C3
Juillet 1990
Rennes
C. Ancourt

1989

E/120/CAI/I :

ENSEEIHT Toulouse
RAPPORT DE STAGE
Septembre - Octobre 1989
M. Buvry

E/120/CAI/I :

ENSEEIHT Toulouse
RAPPORT DE STAGE
Septembre - Octobre 1989
M. Buvry

E/119/CAI/I :

HYPERSIGMINI.
RAPPORT DE DEA
10 Octobre 1989
S. Sae-Nim

E/119/CAI/I :

HYPERSIGMINI.
RAPPORT DE DEA
10 Octobre 1989
S. Sae-Nim

E/118/CAI/I :

ETUDE D'UNE INTERFACE HOMME-PARALLELISEUR PIPS.
RAPPORT DE DEA
Septembre 1989
I. Auroy

E/118/CAI/I :

ETUDE D'UNE INTERFACE HOMME-PARALLELISEUR PIPS.
RAPPORT DE DEA
Septembre 1989
I. Auroy

E/114/CAI/I :

UN MODELE DE DONNEES ORIENTE OBJET POUR L'INTERROGATION ASSISTEE DU SYSTEME SIGMINI.
RAPPORT DE DEA (PARIS 5)
Juillet 1989
R. Guerraoui

E/114/CAI/I :

UN MODELE DE DONNEES ORIENTE OBJET POUR L'INTERROGATION ASSISTEE DU SYSTEME SIGMINI.
RAPPORT DE DEA (PARIS 5)
Juillet 1989
R. Guerraoui

A/191/CAI/I :

NEWGEN: A LANGUAGE-INDEPENDENT PROGRAM GENERATOR.
July 12, 1989
P. Jouvelot, R. Triolet

A/191/CAI/I :

NEWGEN: A LANGUAGE-INDEPENDENT PROGRAM GENERATOR.
July 12, 1989
P. Jouvelot, R. Triolet

1988

E/101/CAI/I :

CSTE: UN UTILITAIRE DE PROPAGATION INTERPROCEDURALE DE CONSTANTES POUR LE PARALLELISEUR PIPS.
RAPPORT DE DEA
27 Septembre 1988
Jean Goubault.

E/101/CAI/I :

CSTE: UN UTILITAIRE DE PROPAGATION INTERPROCEDURALE DE CONSTANTES POUR LE PARALLELISEUR PIPS.
RAPPORT DE DEA
27 Septembre 1988
Jean Goubault.

A/188/CAI/I :

PARALLEL FUNCTIONAL PROGRAMMING: THE FX PROJET. Octobre 1988.
International Workshop Parallel and Distributed Algorithms Bonas
October 3-6, 1988
France
P. Jouvelot, D.K. Gifford

A/188/CAI/I :

PARALLEL FUNCTIONAL PROGRAMMING: THE FX PROJET. Octobre 1988.
International Workshop Parallel and Distributed Algorithms Bonas
October 3-6, 1988
France
P. Jouvelot, D.K. Gifford

A/187/CAI/I :

PRAGMATICS IN PARALLEL FUNCTIONAL PROGRAMMING. Septembre 1988.
(Journées Firtech Systèmes et Télématique Architectures Futures:Programmation parallèle et intégration VLSI
9-10 Novembre 1988
Paris
P. Jouvelot

A/187/CAI/I :

PRAGMATICS IN PARALLEL FUNCTIONAL PROGRAMMING. Septembre 1988.
(Journées Firtech Systèmes et Télématique Architectures Futures:Programmation parallèle et intégration VLSI
9-10 Novembre 1988
Paris
P. Jouvelot

A/186/CAI/I :

DEPENDENCE APPROXIMATION AND GLOBAL PARALLEL CODE GENERATION FOR NESTED LOOPS. Octobre 1988.
International Workshop Parallel and Distributed Algorithms Bonas,
October 3-6, 1988
France
F. Irigoin. R. Triolet

A/186/CAI/I :

DEPENDENCE APPROXIMATION AND GLOBAL PARALLEL CODE GENERATION FOR NESTED LOOPS. Octobre 1988.
International Workshop Parallel and Distributed Algorithms Bonas,
October 3-6, 1988
France
F. Irigoin. R. Triolet

A/185/CAI/I :

THE FX-87 INTERPRETER. Octobre 1988.
Proceedings: 1988 International Conference on Computer Languages, Castle Hotel and Resort
October 9-13, 1988
Miami Beach, Florida
P. Jouvelot, D.K. Gifford

A/185/CAI/I :

THE FX-87 INTERPRETER. Octobre 1988.
Proceedings: 1988 International Conference on Computer Languages, Castle Hotel and Resort
October 9-13, 1988
Miami Beach, Florida
P. Jouvelot, D.K. Gifford

A/184/CAI/I :

LOOP REORDERING WITH DEPENDENCE DIRECTION VECTORS. Septembre 1988.
Journées Firtech Systèmes et Télématique Architectures Futures:Programmation parallèle et intégration VLSI
9-10 Novembre 1988
Paris
F. Irigoin

A/184/CAI/I :

LOOP REORDERING WITH DEPENDENCE DIRECTION VECTORS. Septembre 1988.
Journées Firtech Systèmes et Télématique Architectures Futures:Programmation parallèle et intégration VLSI
9-10 Novembre 1988
Paris
F. Irigoin

A/181/CAI/I :

CONTRÔLE SÉMANTIQUE DES BANQUES DE DONNÉES AUTOSTRUCTUREES ET ASSISTANCE A L'INTERROGATION.
Revue Trimestriel C.I.D.
Mars 1988
M. Jarmouni, P. Mordini, A.M. Guimier-Sorbet

A/181/CAI/I :

CONTRÔLE SÉMANTIQUE DES BANQUES DE DONNÉES AUTOSTRUCTUREES ET ASSISTANCE A L'INTERROGATION.
Revue Trimestriel C.I.D.
Mars 1988
M. Jarmouni, P. Mordini, A.M. Guimier-Sorbet

A/179 :

SUPERNODE PARTITIONING. July 1987
POPL'88 - Fifteenth Annual ACM Symposium on Principles of Programming Languages California
Enreg E/90
January 13-15, 1988
San Diego
F. Irigoin, R. Triolet

A/179 :

SUPERNODE PARTITIONING. July 1987
POPL'88 - Fifteenth Annual ACM Symposium on Principles of Programming Languages California
Enreg E/90
January 13-15, 1988
San Diego
F. Irigoin, R. Triolet

1987

E/87 :

UTILISATION DE SYSTEMES LINEAIRES SUR Z POUR LA PARALLELISATION DE PROGRAMMES.
RAPPORT DE DEA
Juillet 1987
C. Ancourt

E/87 :

UTILISATION DE SYSTEMES LINEAIRES SUR Z POUR LA PARALLELISATION DE PROGRAMMES.
RAPPORT DE DEA
Juillet 1987
C. Ancourt

A/180/CAI/I :

PAPER FOR RIAO 1988 - SELF-STRUCTURED DATA BANKS SEMANTIC INTEGRITY AND QUERY ASSISTANCE INTERFACE
Congrès Boston RIAO88
Octobre 1987
Boston
M. Jarmouni, P. Mordini, A.M. Guimier-Sorbet

A/180/CAI/I :

PAPER FOR RIAO 1988 - SELF-STRUCTURED DATA BANKS SEMANTIC INTEGRITY AND QUERY ASSISTANCE INTERFACE
Congrès Boston RIAO88
Octobre 1987
Boston
M. Jarmouni, P. Mordini, A.M. Guimier-Sorbet

1986

E/84 :

GRAPHEMINES UN LANGAGE GRAPHIQUE POUR TRAITEMENT DE TEXTE.
RAPPORT DE DEA
Octobre 1986
J. Teulon

E/84 :

GRAPHEMINES UN LANGAGE GRAPHIQUE POUR TRAITEMENT DE TEXTE.
RAPPORT DE DEA
Octobre 1986
J. Teulon

E/83 :

ASSERTIONS ET PARALLELISATION.
RAPPORT DE DEA
1986
A. Imadache

E/83 :

ASSERTIONS ET PARALLELISATION.
RAPPORT DE DEA
1986
A. Imadache

A/178 :

PROGRAMMING ENVIRONMENTS FOR PARALLEL MACHINES.
R. Triolet

A/178 :

PROGRAMMING ENVIRONMENTS FOR PARALLEL MACHINES.
R. Triolet

A/174 :

DIRECT PARALLELIZATION OF CALL STATEMENTS et COMPUTING DEPENDENCES BETWEEN COMPOUND STATEMENTS (rapport interne)
ACM SIGPLAN'86 Symposium on Compiler Construction, Hyatt Rickeys Hotel
June 23-27 1986
Palo Alto
R. Triolet, F. Irigoin, P. Feautrier

A/174 :

DIRECT PARALLELIZATION OF CALL STATEMENTS et COMPUTING DEPENDENCES BETWEEN COMPOUND STATEMENTS (rapport interne)
ACM SIGPLAN'86 Symposium on Compiler Construction, Hyatt Rickeys Hotel
June 23-27 1986
Palo Alto
R. Triolet, F. Irigoin, P. Feautrier

A/173 :

AUTOMATIC PARALLELIZATION OF FORTRAN PROGRAMS IN THE PRESENCE OF PROCEDURE CALLS (Janvier 1986)
ESOP 86 European Symposium on Programming
March 17-19, 1986
Saarbruchen, Federal Republic Of Germany
R. Triolet, F. Irigoin, P. Feautrier

A/173 :

AUTOMATIC PARALLELIZATION OF FORTRAN PROGRAMS IN THE PRESENCE OF PROCEDURE CALLS (Janvier 1986)
ESOP 86 European Symposium on Programming
March 17-19, 1986
Saarbruchen, Federal Republic Of Germany
R. Triolet, F. Irigoin, P. Feautrier

1985

E/98 :

LES TRANSFORMATIONS DE PROGRAMMES.
RAPPORT DE DEA
Juillet 1985
Z. Ammarguellat

E/98 :

LES TRANSFORMATIONS DE PROGRAMMES.
RAPPORT DE DEA
Juillet 1985
Z. Ammarguellat

E/77/CRI :

GRAMMAIRE DE FICHES POUR DES BASES DE DONNEES AUTO
RAPPORT DE DEA
1985
E.M. Jarmouni-Idrissi

E/77/CRI :

GRAMMAIRE DE FICHES POUR DES BASES DE DONNEES AUTO
RAPPORT DE DEA
1985
E.M. Jarmouni-Idrissi