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
WebMaster :I.B.P HOME