.:. Lists > By year > 2000 .:.

77 documents ordered by : Date Title first author name document type Submit date

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

Formalization and Verification of Coherence Protocols with the Gamma Framework Mentré D., Le Métayer D., Priol T. Rapport de recherche (2000) [inria-00072696 - version 1]

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]

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]

RF-induced evaporative cooling and BEC in a high magnetic field Bouyer P., Boyer V., Murdoch S.G., Delannoy G., Le Coq Y., Aspect A., Lécrivain M. In Bose-Einstein Condensates and Atom Lasers - h, France (2000) [hal-00004208 - version 1]

Entre principes et pragmatisme : députés et sénateurs dans les premiers débats sur le suffrage des femmes en France (1919-1922) Verjus A. Politix 13, 51 (2000) pagination non précisée [halshs-00003787 - version 1]