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  

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