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  

2003

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


Articles publiés :

A/352/CRI :

From Machine Scheduling to VLIW Instrution Scheduling
IN : St Journal of Research, Vol.1, No.2, pp.1-35, September 2004.
Novembre 2003
Benoît Dupont de Dinechin

A/351/CRI :

Advanced Program Analyses and Verifications
IN : Première Conférence Internationale Associant Chercheurs Vietnamiens et Francophones en Informatique (RIVF 2003)
Hanoi, Vietnam, 10-13 février 2003
janvier 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, Springer, 2003.
*** confidentiel durant 1 an ***
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. 22,N°1, pp.8-10.
*** Confidentiel durant 1 an ***
25 mars 2003
Thi Viet Nga Nguyen

A/348/CRI :

Alias Verification for Fortran Code Optimization.
IN: Journal of Universal Computer Science. Vol.9, N°3, pp.270-298.
*** Confidentiel durant 1 an ***
25 mars 2003
Thi Viet Nga Nguyen, Francois Irigoin

Articles soumis :

Autres articles et rapports techniques :

Rapports internes :

E/255/CRI :

PIPS : Extension of the Internal Representation for C
July 30, 2003
Fabien Coelho, Francois Irigoin,Thi Viet Nga Nguyen, Pierre Jouvelot