Laboratoire d'Informatique de Paris 6

Publications internes LIP6 1997 / LIP6 research reports 1997

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.


001

FrameKit and the prototyping of CASE environments
F. Kordon, J.-L. Mounier

002

Approche analytique pour l'étude des performances de serveurs multimédias multidisques en grappe
H. Kaddeche, A.-L. Beylot, M. Becker

003

Une approche de la catégorisation de textes par l'apprentissage symbolique
I. Moulinier

004

Architectural Concepts for Agent Paradigm : A Way to Separate Concerns in Open Distributed Systems
A. Diagne

005

Résolution du problème d'ordonnancement de type Job-Shop généralisé par des heuristiques dynamiques
F. Ghedjati, J.-Ch Pomerol

006

Organisation et implémentation de connaissances contextuelles dans un SBC en oenologie
J. Agabra, I. Alvarez, P. Brézillon

007

Une approche multi-formalismes de spécification de systèmes répartis: Transformation de composants modulaires en réseaux de Petri
A. Diagne

008

Modélisation par un système dynamique discret du processus de subduction-érosion en tectonique des plaques : première approche uni-dimensionnelle
T. Leduc

009

Triangular sets for solving polynomial systems :
a comparison of four methods

Ph. Aubry, M. Moreno Maza

010

Agents Logiciel :
Quel est le coût de la distribution ?

M. Girard-Faugère

011

Model Checking and Parameterized Distributed Systems
I. Vernier

012

Formalization of Service Creation in Intelligent Network
M.-P. Gervais, A. Diagne

013

Design of Telecommunication Services Based on Software Agent Technology and Formal Methods
M.-P. Gervais, N. Ruffel

014

Construction de l'idéal des relations entre les racines d'un polynôme
A. Valibouze

015

Impact du délai de propagation sur les performances du mécanisme ECN dans un réseau Frame Relay
S. Hamma, T. Atmaca

016

Modèle analytique du mécanisme partial buffer sharing pour des arrivées de paquets de taille variable
S. Hamma, T. Atmaca, P. Piotr, T. Czachorski

017

An Automatique Technique for CTL* Model Checking
K. Ajami, J.-M. Ilié

018

Etude analytique du mécanisme push-out : performances, comparaison avec PBS et robustesse
S. Hamma, T. Atmaca

019

Le langage de commande Gibiane: description informelle
Ch. Queinnec

020

Calcul D'Invariants Primitifs De Groupes Finis
I. Abdeljaouad

021

Représentation de connaissances et langages à objets Habilitation à diriger des recherches, Mémoire de synthèse
F. Pachet

022

An hyper-exponential decomposition method for the analysis of productions lines with unreliable machines and finite buffers
H. Le Bihan, Y. Dallery

023

Etude et réalisation d'une liaison série a un gigabaud indépendante du codage
A. Pierre Duplessix

024

Etude d'un circuit de sérialisation a 3 Gbits/s en technologie BiCMOS
P. Couteaux

025

GenOptim : un environnement d'aide à la conception de générateurs de circuits portables optimisés en performance et en surface
A. Houelle

026

Méthodologie de conception d'architectures VLSI génériques appliquée au traitement numérique
N. Vaucher

027

Algorithmes approchés pour des problèmes d'ordonnancement à temps de communication
A. Munier

028

Property-dependant bisimulation for compositional model-checking
F. Rahim, E. Encrenaz

029

Constraint Programming within CLIPS
J.-M. Labat, M. Futtersack

030

Apprentissage de Connaissances de Contrôle pour l'Optimisation Combinatoire : Intégration du Raisonnement à Partir de Cas dans la Méthode Tabou
S. Grolimund

031

Conception et réalisation d'un routeur de paquets à hautes performances
V. Reibaldi

032

Environnement logiciel d'un coprocesseur SIMD associatif et systolique microprogrammable
L. Winckel

033

Statistical learning and regularisation for regression
C. Goutte

034

Système d'Apprentissage par Auto-Observation. Application au Jeu de Go
T. Cazenave

035

How to compute minimal bases using Padé approximants
M.-P. Stuchlik-Quéré

036

Enhancing Telecommunication Service Engineering with Mobile Agent Technology and Formal Methods
M.-P. Gervais, A. Diagne

037

A Component-based Framework for the Specification, Verification and Validation of Open Distributed Systems
A. Diagne, P. Estraillier

038

Structuration, placement et exécution de composants logiciels dans les applications réparties ou parallèles
W. El Kaim

039

From Formal Specification to Optimized Implementation of Distributed Systems : A Multi-Formalism Approach
A. Diagne, F. Kordon

040

Une nouvelle méthode de simulation par évaluation directe des expressions logiques représentées par des graphes : application à des circuits modélisés par un sous-ensemble du langage VHDL
H. N. Vuong

041

La décimation des convertisseurs Sigma-Delta
H. Aboushady

Publications internes LIP6 / LIP6 research reports

webmaster@lip6.fr