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

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

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Optimal Register Saturation in Acyclic Superscalar and VLIW Codes TOUATI S.-A.-A. N° RR-4263 (2001) [inria-00072324 - version 1]

On fairness in Bandwidth Allocation Touati C., Altman E., Galtier J. N° RR-4269 (2001) [inria-00072318 - version 1]

An Adaptable and Extensible Geometry Kernel Hert S., Hoffmann M., Kettner L., Pion S., Seel M. N° RR-4270 (2001) [inria-00072317 - version 1]

An Integrated Development of Buchberger's Algorithm in Coq Persson H. N° RR-4271 (2001) [inria-00072316 - version 1]

Optimisation numérique de profils d'aile par algorithmes génétiques et jeux de Nash Lièvre H., Desideri J.-A., Habbal A. N° RR-4275 (2001) [inria-00072312 - version 1]

Well-posedness of eight problems of multi-modal statistical image-matching Faugeras O., Hermosillo G. N° RR-4235 (2001) [inria-00072352 - version 1]

On the Decidability of Fragments of the Asynchronous Pi-Calculus Amadio R. M., Meyssonnier C. N° RR-4241 (2001) [inria-00072346 - version 1]

Regularization Methods in Non-Rigid Registration :II. Isotropic Energies, Filters and Splines Cachier P., Ayache N. N° RR-4243 (2001) [inria-00072344 - version 1]

On the design of Multifiber WDM Networks Ferreira A., Pérennes S., Richa A.W., Rivano H., Stier N. N° RR-4244 (2001) [inria-00072343 - version 1]

Modélisation et simulation numérique de l'influx cardiaque Oniboni J. N° RR-4245 (2001) [inria-00072342 - version 1]