Click to the link ( Underlined or colored strings) to get more informations or retrieve the files.
In othercase informations are not available


masi.95.01.ps.gz	 E. Bruillard, B. de La Passardiere, G-L..Baron
 HypermÈdias, Èducation et formation.: contribution ý la structuration d'un.champ Èmergent
 
masi.95.02.ps.gz	 Rajesh K. Bawa, E. Encrenaz 
 Expressing and Verifying Properties of VHDL Programs
 
masi.95.03.ps.gz	 I. Vernier
 Symbolic Verification of Parallel Programs
 
masi.95.04.ps.gz	 I. Vernier
 Symbolic Graph for Petri nets
 
masi.95.05.ps.gz	 B. Zerrouk, V. Reibaldi, F. Potter, A..Greiner, A..Derieux
 A HIGH SPEED MESSAGE ROUTING DEVICE PROTOTYPE
 
masi.95.06.ps.gz	 B. Kervella, V. Gay, C. LogÈ
 Which Applications for the Information Highway?
 
masi.95.07.ps.gz	 E. Encrenaz, R.K. Bawa
 A Petri Net Model for Verifying Properties of VHDL Programs
 
masi.95.08.ps.gz	 P. Barril, J-F. Brette
 Agents situÈs, environnement et observation dans un SMA
 
masi.95.09.ps.gz	 E. Encrenaz
 A Symbolic Transition System for a Subset of VHDL'87 Descriptions and its Application to Symbolic Model Checking
 
masi.95.10.ps.gz	 J. Kohlenberg, M. Becker
 Etude prÈliminaire pour le resÈquencement du Commutateur de Clos
 
masi.95.11.ps.gz	 D. Prun
 Un Ètat de l'art des techniques de maintenance des logiciels
 
masi.95.12.ps.gz	 D. Prun, P. Estraillier
 Study of the effetcts of a modification through the High Level Specifications
 
masi.95.13.ps.gz	 L. Winckel, D. Archambaud
 MicA, a micro-programming language for Rapid-2
 
masi.95.14.ps.gz	 C. LIMA , R. ABBOUD
 On logical reasoning and knowledge representation in Socratic problems using a comparison between experts and novices in mathematical logic
 
masi.95.15.ps.gz	 A. SOARES, C. LIMA
 HOW TO LEARN COMPUTING CONCEPTS USING PREVIOUS KNOWLEDGE AND Knowledge Acquisition PROCESSES
 
masi.95.16.ps.gz	 M. Zouaoui
 CPN-Maple: un outil pour l'analyse des rÈseaux de Petri ordinaires
 
masi.95.17.ps.gz	 P. Leydekkers, V. Gay, L. Franken
 A Computational and Engineering View on Open Distributed Real-Time Multimedia Exchange
 
masi.95.18.ps.gz	 V. Gay , B. Kervella
 Multimedia Mail - Applications and Technologies Use of MHEG in Standard Messaging Systems
 
masi.95.19.ps.gz	 B. Bretelle, T. Terracol, B. Folliot
 Placement dans les RÈseaux Hybrides : Interface de Communication
 
masi.95.20.ps.gz	 J. PennE
 Validation d'une application du co-processeur VLSI Rapid 2 au calcul de similaritÈ pour la comparaison de deux sÈquences d'acides aminÈs
 
masi.95.21.ps.gz	 C. LIMA
 Sur la modÈlisation formelle et la mise en .uvre des systËmes de transfert intelligent de connaissances
 
masi.95.22.ps.gz	 P. Faudemay, L. Winckel
 High level language for the Rapid-2massively parallel accelerator board
 
masi.95.23.ps.gz	 M. Minoux, J-C. Dodu, T. Eve
 An Alternative to Benders Decomposition : the Barycentric Method
 
masi.95.24.ps.gz	 B. Jouaber, T. Atmaca
 Surveillance de trafic dans les rÈseaux ý haut dÈbit
 
masi.95.25.ps.gz	 S. HAMMA, T. ATMACA
 Etude des mÈcanismes de contrÙle de trafic et de congestion dans une interconnexion LAN par un rÈseau Frame Relay
 
masi.95.26.ps.gz	 A. Asserrhine
 APPLICATION DE LA MÉTHODE CESTAC PARALL.LE ¿ UN ALGORITHME DE LISSAGE ¿ L'AIDE DE FONCTIONS SPLINES CUBIQUES
 
masi.95.27.ps.gz	 A.-L. Beylot, H. Yaiche, I. kohlenberg, M..Becker
 Performance analysis of an ATM switch based on a three stage Clos interconnection network under non-uniform IBP traffic patterns
 
masi.95.28.ps.gz	 D.Archambaud, A.Greiner, F.Petrot, V.Reibaldi, F..Wajsburt
 Symbolic Pads Close the Gap to Whole Symbolic Designs
 
masi.95.29.ps.gz	 A. BAGGIO
 Environnements Mobiles : Etude et SynthËse Bibliographique
 
masi.95.30.ps.gz	 A.-L. Beylot, P. Battistello, G. Grenier, I. Harfouche, M. Becker
 Is it possible to use Monopath ATM Switches under Multiple or Single Source to Single Destination Bursty Traffic ?
 
masi.95.31.ps.gz	 E. Bruillard, G-L. Baron, B..de..La..PassardiËre
 HypermÈdias, Èducation et formation.: Techniques, marchÈs et usages
 


June 11, 1998

WebMaster :I.B.P HOME