Institut Blaise Pascal

Publications internes Masi 1996 / Masi research reports 1996

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

Plate-forme de Répartition de Charge et de Tolérance aux Fautes pour Applications Parallèles en Environnement Réparti
B. Folliot, P. Sens, P.-G. Raverdy

02

Architecture et étude des performances d'un serveur multimédia pour réseaux à haut débit
H. Kaddeche, M. Becker

03

Compact High Speed CMOS Crossbar for switching fabrics
B. Zerrouk, V. Reibaldi, D. Tranoudis, J.-L. Desbarbieux

04

Formal specification and design of distributed systems
A. Diagne, P. Estraillier

05

ODP View on Quality of Service for Open Distributed Multimedia Environments
P. Leydekkers, V. Gay

06

Model Checking based on Occurrence Net Graph
J.-M. Couvreur, D. Poitrenaud

07

Apprendre avec Alliance
M.-M. Paget, M.-M. Rosset-Louerat, A. Derieux

08

A Framework for Mobility in Wireless Personal Communications
M.-P. Gervais, B. Jabbari

09

A Hybrid QoS Management Scheme for Distributed Multimedia Applications
A. Fladenmuller, A. Seneviratne, É. Horlait

10

A Hybrid QoS Management Scheme
A. Fladenmuller, A. Seneviratne, É. Horlait

11

QoS Management Scheme for Multimedia Applications in Best Effort Environments
A. Fladenmuller, E. Horlait, A. Seneviratne

12

QoS Management Scheme for Distributed Multimedia Applications in Best Effort Environments
A. Fladenmuller

13

Dynamic Management of Cooperative Applications for Mobile Systems
P.-G. Raverdy, Ph. Darche, B. Folliot

14

Mécanisme de va-et-vient réparti en mémoire dans un environnement réseau à haut débit
Ph. Cadinot, N. Dorta, B. Folliot, P. Sens

15

Symbolic Executions of Symmetrical Parallel Programs
I. Vernier

16

Une carte massivement parallèle SIMD programmable
D. Archambaud, F. Dromard, A. Greiner, P. Faudemay, I. S. Silva, L. Winckel

17

Large scale LP relaxations for minimum cost multicommodity flow problems with step increasing cost functions and computational results
V. Gabrel, M. Minoux

18

A Multi Formalisms Prototyping Approach from Formal Description to Implementation of Distributed Systems
A. Diagne, F. Kordon

19

Observation du contrôle dans les applications distribuées
D. Prun, P. Barril

21

Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Coloured FIFO Nets
M.-L. Benalycherif, C. Girault

22

Étude Comparative des Mécanismes de Rejets Sélectifs dans un Commutateur Frame Relay
S. Hamma, T. Atmaca

23

Adaptative Partitionning and Dynamic Allocation for Large Computing Systems
B. Folliot, P.-G. Raverdy

24

Adaptation du Prolocole RSVP sur les Réseaux ATM
O. Fourmaux

wadm[@]lip6.fr