masi.94.06.ps Fre'de'ric PE'TROT Outils d'aide au de'veloppement de bibliothe`ques VLSI portables
masi.Th94.01.ps P. Darche Le Paradigme Acteur Appliqué aux Systèmes Embarqués Communicants - ActNet : un Réseau d'Acteurs Robotiques.
masi.Th94.02.ps J-F. Brette Pascal/V.: Un environnement pour l'apprentissage de la programmation par découverte guidée. Réification et interprétation contextuelle du rôle des variables
masi.Th94.03.ps L. Dairaine, Techniques de synchronisation pour les communications dans les systèmes haut-débit multimédia
masi.Th94.04.ps F. BOUSBAHI SADRP, un système d'Aide Didactique basé sur la Reconnaissance de Plan
masi.Th94.05.ps P. Chataignier Simulations graphiques pour l'enseignement du parallélisme
masi.Th94.06.ps F. Pétrot Outils d'aide au développement de bibliothèques VLSI portables
masi.Th94.07.ps F. DERROUGH Génération Automatique d'Algorithmes de Filtrage à partir de Spécifications Déclaratives : le Système GAP
WebMaster :Olivier MangonI.B.P HOME