Institut Blaise Pascal

Publications internes Masi 1994 / Masi research reports 1994

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

Using "Excited States" in Estimating Cell Losses in a Limited Capacity System
P-L. Douillet, A-L. Beylot, M. Becker

02

Les Langages de Manipulation dans les Systèmes d'Information Géographiques
A. BROSSIER-WANSEK

03

Les Langages de Manipulation dans les Systèmes de Gestion de Documents
A. BROSSIER-WANSEK

04

Un environnement hypermédia pour la production de didacticiels
L. ABDAT, J. RIVIERE

05

Implementation of a End-to-End Quality of Service Management Scheme
L. FEdaoui, A. Seneviratne, E. Horlait

06

Distributed Multimedia Systems Quality of Service in ODP Framework of Abstraction: A First Study
L. FEdaoui, W. Tawbi, E. Horlait

07

Specification of Audio/Video Exchange Based on the Reference Model of ODP
V. GAY, P. LEYDEKKERS, R. HUIS

08

An Architecture to Integrate Distributed Multimedia Applications
V. GAY, B. KERVELLA, C. LOG

09

A Polynomial-Time Algorithm For The Minimum Diameter Spanning Tree Problem
s. Tricot

10

Integration of a Scenario Service in a Multimedia Messaging System
B. KERVELLA, V. GAY, E. HORLAIT

11

Calcul de Similarité pour la comparaison des Séquences d'Acides Aminés : une Solution VLSI
I. S. Silva, D. Archambaud, J. Penne

12

Modélisation Réseau de Petri de Machines à Etats Décrites en VHDL
E. ENCRENAZ , J.M. COUVREUR , R.K.BAWA

13

VPN Technical Report
Rajesh K. Bawa, E. EncrenaZ, J-M . lecouvreur

14

Finite Fields and Zech's Logarithms
P-L. Douillet

15

The Symbolic to Real Mask Transaltion Approach in the Allianc
CAD System

f. petrot, f. wajsbürt

16

Investigations on Alliance Rectangle Data Structure for VLSI/CAD Algorithms
A. Greiner, L. Jacomme, F. Pétrot, F. Wajsbürt

17

Guidage contextuel sur les erreurs de type : une transposition du principe d'héritage Smalltalk aux requètes Prolog
J-F BRETTE

18

Program and File Allocation Algorithm for Large Scale Distributed Systems
R. Boutabab , B. Folliot

19

Formal Techniques Based On Nets, Object Orientation and Reusability For Rapid Prototyping of Complex Systems
F. Kordon

20

Filtering of complex rule conditions
F. Derrough

21

Quantitative and Qualitative Set Differentiation
F. Derrough

22

Modelling interface and knowledge in software packages aimed to know about their individual users : a critical view point

J.C.M. LIMA

23

Le facteur didactique dans la conception des systèmes d'aide intelligents
F. BOUSBAHI

24

Les dépendances comme objets de première classe
m. bouabsa, j-f. brette, p. barril

25

Graphical animations for the teaching of recursivity
M-M. Paget, J-F. Couturas, D. Robic, A. Tarrago

26

Etude du trafic de sortie d'un élément de commutation ATM avec sources on/off et routage corrélé ou non-corrélé
I. Kohlenberg, M. Becker

27

An Integrated Framework for rapid System Prototyping and Automatic Code Distribution
W. EL KAIM, F. kORDON

28

Survey on Performance Studies of Switching Networks for ATM
M. Becker, A-L. Beylot, A. Ziram

29

Proper Linear Interval Routing Schemes
B. ZERROUK, S. TRICOT, B. ROTTEMBOURG

30

Multimedia Conferencing Services in an Open Distributed Environment
P. Leydekkers, V. Gay

31

Multimedia Services in TINA-C and RM-ODP
P. Leydekkers, V. Gay

32

Specification of Multiparty Audio and Video Interaction Based on the Reference Model of Open Distributed Processing
V. GaY, P. Leydekkers, R. huis in ' t veld

33

Intégration de la tolérance aux fautes dans le développement d'un système réparti
D. THIBAU

34

Computational Components for Synchronous Cooperation on Multimedia Information
C. Logé, V. Gay, E. Horlait

35

Towards a Complete Multimedia Mail:Use of MHEG in Standard Messaging Systems
B. Kervella, V. Gay, E. Horlait

36

Experimental Runtime Results on the Minimum Spanning Tree
F. PEtrot

37

GatoStar : A Fault Tolerant Load Sharing Facility for Parallel Applications
B. Folliot, P. Sens

Th01

Le Paradigme Acteur Appliqué aux Systèmes Embarqués Communicants - ActNet : un Réseau d'Acteurs Robotiques.
P. Darche

Th02

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
J-F. Brette

Th03

Techniques de synchronisation pour les communications dans les systèmes haut-débit multimédia
L. Dairaine,

Th04

SADRP, un système d'Aide Didactique basé sur la Reconnaissance de Plan
F. BOUSBAHI

Th05

Simulations graphiques pour l'enseignement du parallélisme
P. Chataignier

Th06

Outils d'aide au développement de bibliothèques VLSI portables
F. Pétrot

Th07

Génération Automatique d'Algorithmes de Filtrage à partir de Spécifications Déclaratives : le Système GAP
F. DERROUGH

Th08

Graphe symbolique paramétré de réseaux de Petri et Logique temporelle
Isabelle VERNIER

Th09

CONCEPTION ET RÉALISATION D'Une PLATE-FORME D'INTÉGRATION DISTRIBUÉE
ApplicatioN À l'Atelier de Génie logicieL AMI

Karim FOUGHALI

Th10

WEA, un Gérant d'Objets Persistants pour des environnements distribuées
D. DONSEZ

Publications internes LIP6 / LIP6 research reports

webmaster@lip6.fr