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

---

2000

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

---

Articles publiés :

A/315/CRI :

Acquisition de connaissances à partir de testes, vers l'élaboration d'une ontologie du droit

IN : 5ème Rencontres nationales des Jeunes Chercheurs en Intelligence Artificielle, RJCIA 2000, Lyon, France, 10-13 Septembre 2000, pp.211-221.

Guiraude Lame

A/314/CRI :

Knowledge acquisition from texts towards an ontology of French law EKAW.

IN : Workshop on ontologies and texts, EKAW'2000, Juan-les-Pins, France, 1er octobre 2000

Guiraude Lame

Articles soumis :

Autres articles et rapports techniques :

A/316/CRI :

Efficient Intraprocedural Array Bound Checking.

Novembre 2000

Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Ronan Keryell (LIT ENST Bretagne)

A/313/CRI :

Elimination des gardes dans les transformées unimodulaires de boucles mal imbriquées.

Juin 2000

Youcef Bouchebaba

A/312/CRI :

Elimination des gardes dans les transformées unimodulaires de boucles mal imbriquées,(version étendue).

Mars 2000

Youcef Bouchebaba

Rapports internes :

E/467/CRI :

PROMPT : Placement Rapide Optimise sur Machines Paralleles pour applications Telecom

POSTER presented at Workshop Adequation 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.) ; Francois Irigoin, Corinne Ancourt (ENSMP-CRI) ; Thierry Grandpierre, Christophe Lavarenne, Yves Sorel (INRIA) ; Philippe Kajfasz (Thomson-CSF Communications) ; Bernard Dion (SIMULOG),

E/238/CRI :

Typage & Elimination des sous-expressions communes (Contribution à l'optimisation de programmes scientifiques).

RAPPORT DE STAGE

Septembre 2000

Pham Dinh Son, Fabien Coelho

E/237/CRI :

Une méthode de hiérarchisation de termes.

RAPPORT DE DEA

Août 2000

Christophe Charles

E/236/CRI :

Une méthode de corrélation des textes juridiques

RAPPORT DE DEA

Août 2000

Christophe Chotteau

E/235/CRI :

Optimization of array bound checking.

RAPPORT DE 1ÈRE ANNÉE

Octobre 2000

Thi Viet Nga Nguyen

E/232/CRI :

Serveur de Nom de Domaine dans Internet (DNS) - Berkeley Internet Name Domaine (BIND).

Cours IAR2M

4-5 janvier 2000

Ronan Keryell

E/231/CRI/1999 :

Du fonctionnement d'Internet.

Cours IAR2M

6 décembre 1999

Ronan Keryell

E/230/CRI/1999 :

Administration Unix - Le cas de Solaris 7.

Cours IAR2M

13 janvier 1999

Ronan Keryell

E/229/CRI/1999 :

PPP Point to Point Protocol - Mise en Oeuvre.

Cours IR2M

7 janvier 1999

Ronan Keryell

E/228/CRI/1999 :

Administration et développement Web -DRAFT

RAPPORT DE STAGE

Octobre 1999

Benjamin Schwarz