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

---

2002

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

---

Articles publiés :

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, Hammamet, Tunisie, 20-23 octobre 2002, pp.159-178

22 octobre 2002

Christophe Chotteau

A/342/CRI :

Tiling and memory reuse for sequences of nested loops.

IN : 8th International Euro-Par Conference, Euro-Par 2002, Paderborn, Germany, 27th-30th August 2002, pp.255-264
IN : Lecture Notes in Computer Science 2400 Springer 2002.
*** Confidentiel durant 1 an ***

HAL = hal-00752850

Youcef Bouchebaba, Fabien Coelho

A/341/CRI :

Réutilisation de la mémoire pour le Pavage.15 janvier 2002

IN: RenPar'14, Hamamet, Tunisie, 10-13 avril 2002

Youcef Bouchebaba

A/340/CRI :

Alias verification for Fortran code optimization. Janvier 2002

IN : International Workshop Compiler Optimizations meet Compiler Verifications (COCV 2002), Grenoble, France, 13 avril 2002
IN : Electronic Notes in Theoretical Computer Science, Vol.65, N°2 (2002).

Thi Viet Nga Nguyen, Francois Irigoin

Articles soumis :

Autres articles et rapports techniques :

Rapports internes :

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