Institut Blaise Pascal

Publications internes Masi 1993 / Masi research reports 1993

La langue du titre indique la langue du document. Tous les rapports ont un résumé en français.
The language of the document is the same as used for the title. Abstract in english always available.


32

RAPID-2, An Object Oriented Associative Memory Applicable to Genome Data Processing
Denis Archambaud, Pascal Faudemay

58

WEA Un Gérant d'Objets Persistants basé sur une Hiérarchie Distribuée d'Espaces de Travail

Didier Donsez, Philippe Homond, Pascal Faudemay

71

Implémentation du système de fichiers ext2 dans Linux
Rémy Card

72

The MASIX Multi-Server Operating System
Rémy Card, Éric Commelin, Stéphane Dayras, Franck Mével

74

Méthodologie de conception de générateurs portables de macro-blocs fonctionnels optimisés en surface et en performance
A. Houelle, H. Mehrez, N. Vaucher

75

Specification and Verification of parametrized Parallel programs
I. Vernier

76

Évaluation Paramétrée de Formules de Logique Temporelle
S. Haddad, I. Vernier

Publications internes LIP6 / LIP6 research reports

webmaster@lip6.fr