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

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

... 12 - 13 - 14 - 15 - 16 - 17 - 18 ...

Comparison of hybrid minimum laxity / first-in -first-out scheduling policies for real-time multiprocessors Nain P., Towsley D. N° RR-1237 (1990) [inria-00075321 - version 1]

Variations sur un theme de Danskin avec une coda sur un theme de Von Neuman Bernhard P. N° RR-1238 (1990) [inria-00075320 - version 1]

Probabilistic analysis of some distributed algorithms Louchard G., Schott R. N° RR-1239 (1990) [inria-00075319 - version 1]

Adaptation de la méthode de Davidson à la résolution de systèmes linéaires : implémentation d'une version par blocs sur un multiprocesseur Sadkane M., Vital B. N° RR-1240 (1990) [inria-00075318 - version 1]

Diffuse interreflections. Techniques for form-factor computation Pueyo X. N° RR-1243 (1990) [inria-00075315 - version 1]

Towards document engineering Quint V., Nanard M., André J. N° RR-1244 (1990) [inria-00075314 - version 1]

A finite element method applied to new active contour models and 3D reconstruction from cross sections Cohen L. D., Cohen I. N° RR-1245 (1990) [inria-00075313 - version 1]

Recherche d'une partition optimale sous contrainte d'ordre total Lechevallier Y. N° RR-1247 (1990) [inria-00075311 - version 1]

Proof methods of declarative properties of definite programs Deransart P. N° RR-1248 (1990) [inria-00075310 - version 1]

A note on guarded recursion Badouel E., Darondeau P. N° RR-1249 (1990) [inria-00075309 - version 1]