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
|
|
|
|