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.
|
01
|
Hypermédias, éducation et formation : contribution à la structuration d'un champ émergent
E. Bruillard, B. de La Passardiere, G-L. Baron
|
|
02
|
Expressing and Verifying Properties of VHDL Programs
Rajesh K. Bawa, E. Encrenaz
|
|
03
|
Symbolic Verification of Parallel Programs
I. Vernier
|
|
04
|
Symbolic Graph for Petri nets
I. Vernier
|
|
05
|
A HIGH SPEED MESSAGE ROUTING DEVICE PROTOTYPE
B. Zerrouk, V. Reibaldi, F. Potter, A. Greiner, A. Derieux
|
|
06
|
Which Applications for the Information Highway?
B. Kervella, V. Gay, C. Logé
|
|
07
|
A Petri Net Model for Verifying Properties of VHDL Programs
E. Encrenaz, R.K. Bawa
|
|
08
|
Agents situés, environnement et observation dans un SMA
P. Barril, J-F. Brette
|
|
09
|
A Symbolic Transition System for a Subset of VHDL'87 Descriptions and its Application to Symbolic Model Checking
E. Encrenaz
|
|
10
|
Etude préliminaire pour le reséquencement du Commutateur de Clos
J. Kohlenberg, M. Becker
|
|
11
|
Un état de l'art des techniques de maintenance des logiciels
D. Prun
|
|
12
|
Study of the effetcts of a modification through the High Level Specifications
D. Prun, P. Estraillier
|
|
13
|
MicA, a micro-programming language for Rapid-2
L. Winckel, D. Archambaud
|
|
14
|
On logical reasoning and knowledge representation in Socratic problems using a comparison between experts and novices in mathematical logic
C. LIMA , R. ABBOUD
|
|
15
|
HOW TO LEARN COMPUTING CONCEPTS USING PREVIOUS KNOWLEDGE AND Knowledge Acquisition PROCESSES
A. SOARES, C. LIMA
|
|
16
|
CPN-Maple: un outil pour l'analyse des réseaux de Petri ordinaires
M. Zouaoui
|
|
17
|
A Computational and Engineering View on Open Distributed Real-Time Multimedia Exchange
P. Leydekkers, V. Gay, L. Franken
|
|
18
|
Multimedia Mail - Applications and Technologies Use of MHEG in Standard Messaging Systems
V. Gay , B. Kervella
|
|
19
|
Placement dans les Réseaux Hybrides : Interface de Communication
B. Bretelle, T. Terracol, B. Folliot
|
|
20
|
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
J. PennE
|
|
21
|
Sur la modélisation formelle et la mise en oeuvre des systèmes de transfert intelligent de connaissances
C. LIMA
|
|
22
|
High level language for the Rapid-2massively parallel accelerator board
P. Faudemay, L. Winckel
|
|
23
|
An Alternative to Benders Decomposition : the Barycentric Method
M. Minoux, J-C. Dodu, T. Eve
|
|
24
|
Surveillance de trafic dans les réseaux à haut débit
B. Jouaber, T. Atmaca
|
|
25
|
Etude des mécanismes de contrôle de trafic et de congestion dans une interconnexion LAN par un réseau Frame Relay
S. HAMMA, T. ATMACA
|
|
26
|
APPLICATION DE LA MÉTHODE CESTAC PARALLÈLE À UN ALGORITHME DE LISSAGE À L'AIDE DE FONCTIONS SPLINES CUBIQUES
A. Asserrhine
|
|
27
|
Performance analysis of an ATM switch based on a three stage Clos interconnection network under non-uniform IBP traffic patterns
A.-L. Beylot, H. Yaiche, I. kohlenberg, M. Becker
|
|
28
|
Symbolic Pads Close the Gap to Whole Symbolic Designs
D.Archambaud, A.Greiner, F.Petrot, V.Reibaldi, F. Wajsburt
|
|
29
|
Environnements Mobiles : Etude et Synthèse Bibliographique
A. BAGGIO
|
|
30
|
Is it possible to use Monopath ATM Switches under Multiple or Single Source to Single Destination Bursty Traffic ?
A.-L. Beylot, P. Battistello, G. Grenier, I. Harfouche, M. Becker
|
|
31
|
Hypermédias, éducation et formation : Techniques, marchés et usages
E. Bruillard, G-L. Baron, B. de La Passardière
|
|
Th01
|
MHEGAM : Une Messagerie Multimédia Complète Fondée sur X.400/MIME et MHEG
B. KERVELlA
|
|
|
|