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

---

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