Consultation
Liste des documents
Liste par type de document
Liste par année
Liste par discipline
Liste par laboratoire
Recherche
Rechercher
Derniers dépôts
Recherche avancée
Accueil
Services
Créer une page web
Export d'une liste de publications
4003 articles
[english version]
.:.
Consultation
>
Liste par année
> 2000 .:.
70 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
1
-
2
-
3
-
4
Loop Level Parallelism and Owner-Compute Rule on Mome, a Relaxed Consistency DSM
Jégou Y.
Rapport de recherche (2000) [inria-00072578 - version 1]
Coupling DSM-based Parallel Applications
Jégou Y.
Rapport de recherche (2000) [inria-00072576 - version 1]
Robust Adaptive Segmentation of 3D Medical Images with Level Sets
Baillard C., Barillot C., Bouthemy P.
Research report (2000) [inria-00072562 - version 1]
Coupling Dense and Landmark-Based Approaches for Non Rigid Registration
Hellier P., Barillot C.
Rapport de recherche (2000) [inria-00072557 - version 1]
A Robust Technique to Recognize Objects in Images, and the DB Problems it Raises
Amsaleg L., Gros P.
Rapport de recherche (2000) [inria-00072552 - version 1]
Containers : A Sound Basis For a True Single System Image
Lottiaux R., Morin C.
Rapport de recherche (2000) [inria-00072548 - version 1]
A Two-Level Checkpoint Algorithm in a Highly-Available Parallel Single Level Store System
Morin C., Lottiaux R., Kermarrec A.-M.
Rapport de recherche (2000) [inria-00072547 - version 1]
Introduction à l'algèbre tensorielle
Gros P.
Rapport de recherche (2000) 17 [inria-00069934 - version 1]
The Devil Language
Réveillère L., Mérillon F., Consel C., Marlet R., Muller G.
Rapport de recherche (2000) 29 [inria-00069929 - version 1]
Enforcing trace properties by program transformation
Colcombet T., Fradet P.
Principles of Programming Languages
, (2000) [inria-00000937 - version 1]