masi.93.32.ps	 Denis Archambaud, Pascal Faudemay
 "RAPID-2, An Object Oriented Associative Memory Applicable to Genome Data Processing"
 
masi.93.58.ps	 Didier Donsez, Philippe Homond, Pascal Faudemay
 "WEA Un Gerant d'Objets Persistants base sur une Hierarchie Distribuee d'Espaces de Travail"
 
masi.93.71.ps	 Remy Card
 "Implementation du systeme de fichiers ext2 dans Linux"
 
masi.93.72.ps	 Remy Card, Eric Commelin, Stephane Dayras, Franck Mevel
 "The MASIX Multi-Server Operating System"
 
masi.93.74.ps	 A. Houelle, H. Mehrez, N. Vaucher
 "Methodologie de conception de generateurs portables de macro-blocs fonctionnels optimises 
en surface et en performance"
 
masi.93.75.ps.gz I. Vernier
Specification and Verification of parametrized Parallel programs
 
masi.93.76.ps.gz S. Haddad, I. Vernier
Evaluation Paramétrée de Formules de Logique Temporelle

I.B.P HOME