Centre de recherche en informatique

Mathématiques et systèmes




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