.:. Consultation > Liste par année > 1999 .:.

261 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

... 21 - 22 - 23 - 24 - 25 - 26 - 27

Mise en correspondance de surfaces par chemins géodésiques Huot E., Yahia H., Herlin I., Cohen I. N° RR-3842 (1999) [inria-00072815 - version 1]

Madeleine: An Efficient and Portable Communication Interface for RPC-based Multithreaded Environments Bougé L., Méhaut J.-F., Namyst R. N° RR-3845 (1999) [inria-00072811 - version 1]

The Three Gap Theorem : Specification and Proof in Coq Mayero M. N° RR-3848 (1999) [inria-00072808 - version 1]

Specialization Patterns Schultz U. P., Lawall J. L., Consel C. N° RR-3853 (1999) [inria-00072803 - version 1]

Le cycab de l'INRIA Rhône-Alpes Baille G., Garnier P., Mathieu H., Pissard-Gibollet R. N° RT-0229 (1999) [inria-00071193 - version 1]

Interactive Virtual Relighting and Remodeling of Real Scenes Loscos C., Frasson M.-C., Drettakis G., Walter B., Granier X., Poulin P. N° RT-0230 (1999) [inria-00069942 - version 1]

An Automated Debugger for Mercury - Opium-M 0.1 User and Reference Manuals Ducassé M., Jahier E. N° RT-0231 (1999) [inria-00069941 - version 1]

Un analyseur sémantique pour MOF Festor O., Ben Youssef N. N° RT-0233 (1999) [inria-00069939 - version 1]

Un Editeur de spécifications MOF Festor O., Ben Youssef N. N° RT-0234 (1999) [inria-00069938 - version 1]

Extending Mobile IP with Adaptive Individual Paging : A Performance Analysis Castelluccia C. N° RT-0236 (1999) [inria-00069936 - version 1]