Rapports du CRI

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

2001

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

Articles publiés :

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

A/337/CRI :
How does constraint technology meet industrial constraints
IN : Workshop Esa On Board Automy, Hollande, Octobre 2001
Nicolas Museux

A/335/CRI/2000 :
Temporary Arrays for Distribution of Loops with Control Dependences. Juin 2000.
IN : 6th International Euro-Par Conference, Euro-Par 2000 Parallel Processing, Munich, Germany, August/September 2000, pp.357-367.

Alain Darte (LIP ENS-Lyon), Georges-André Silber

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

A/333/CRI :
Constructing a documentary oriented legal ontology, Octobre 2001
IN : The Second International Workshop on Legal Ontologies in International Conference on Legal Knowledge and Information Systems, JURIX'2001, Amsterdam, Nederlands, 13-14 december 2001
Guiraude Lame

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

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

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

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

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

A/322/CRI :
Tiling pour une séquence de nids de boucles (version étendue). 31 Août 2001.

Submetted to : 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.
IN : Revue des Ingénieurs, Janvier-Février 2001
Robert Mahl

A/320/CRI :
L'Ecole des Mines de Paris enseigne aussi le commerce électronique.
IN : Revue des Ingénieurs, Janvier-Février 2001
Robert Mahl

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

A/318/CRI :
Classement automatique de documents et analyse terminologique de corpus. Mai 2001.
IN : 4ème rencontres Terminologie et Intelligence Artificielle, TIA'2001, Nancy, France, 3-4 mai 2001, pp.149-158

Guiraude Lame

A/317/CRI :
A categorization method for French legal documents on the Web. Juin 2001
IN : 8th International conference on artificial intelligence and Law, ICAIL 2001, Saint-Louis, Missouri, USA, 21-25 june 2001, pp.219-220
Guiraude Lame

Articles soumis :

Autres articles et rapports techniques :

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

A/332/CRI :
Interprocedural Program Analyses for Efficient Array Bound Checking. Octobre 2001
Octobre 2001
Thi Viet Nga Nguyen, François 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 attente
Mars 2001
Nicolas Museux, Francois Irigoin

Rapports internes :

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/243/CRI :
Test de débordement de tableau
Séminaire INRIA-A3/PRISM/CRI/LRI
29/01/2001
Thi Viet Nga Nguyen

E/241/CRI/2000 :
AREZZO : vers un enseignement de la musique à distance.
RAPPORT DE DESS Bordeaux 1
Septembre 2000
Jérôme Segard

E/240/CRI :
?
RAPPORT DE STAGE
2001
Trinh Quoc Anh