1997
-
FrameKit et le prototypage d'environnements de Génie Logiciel (CASE)
F. Kordon, J.-L. Mounier -
Approche analytique pour l'étude des performances de serveurs multimédias multidisques en grappe
H.Kaddeche, A.-L.Beylot, M.Becker -
Une approche de la catégorisation de textes par l'apprentissage symbolique
I. Moulinier -
Concepts architecturaux pour la paradigme agent : Vers la séparation des préoccupations dans les systèmes répartis ouverts
A. Diagne -
Résolution du problème d'ordonnancement de type Job-Shop généralisé par des heuristiques dynamiques
F. Ghedjati, J.-Ch.Pomerol -
Organisation et implémentation de connaissances contextuelles dans un SBC en .nologie
J. Agabra, I. Alvarez, P. Brézillon -
Une approche multi-formalismes de spécification de systèmes répartis: Transformation de composants modulaires en réseaux de Petri
A. Diagne -
Modélisation par un système dynamique discret du processus de subduction-érosion en tectonique des plaques : première approche uni-dimensionnelle
T. Leduc -
Des ensembles triangulaires pour résoudre les systèmes polynomiaux :
une comparaison de quatre méthodes
Ph. Aubry, M. Moreno Maza -
Agents Logiciel :
Quel est le coût de la distribution ?
M. Girard-Faugère -
"Model Checking" et Systèmes Répartis Paramétrés
I. Vernier -
Formalisation de la création de services dans le réseau intelligent
M.-P. Gervais, A. Diagne -
Conception de services de télécommunication fondée sur la technologie agent logiciel et les méthodes formelles
M.-P. Gervais, N. Ruffel -
Construction de l'idéal des relations entre les racines d'un polynôme
A. Valibouze -
Impact du délai de propagation sur les performances du mécanisme ECN dans un réseau Frame Relay
S. Hamma, T. Atmaca -
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 -
Une Technique Automatique de Vérification de Propriétés des Systèmes Symétriques
K. Ajami, J.-M. Ilié -
Etude analytique du mécanisme push-out : performances, comparaison avec PBS et robustesse
S. Hamma, T. Atmaca -
Le langage de commande Gibiane: description informelle
Ch. Queinnec -
Calcul D'Invariants Primitifs De Groupes Finis
I. Abdeljaouad -
Représentation de connaissances et langages à objets Habilitation à diriger des recherches, Mémoire de synthèse
F. Pachet -
Une méthode de décomposition hyperexponentielle pour l'analyse de lignes de production composées de machines non fiables et de zones de stockage à capacités finies
H. Le Bihan, Y. Dallery -
Etude et réalisation d'une liaison série a un gigabaud indépendante du codage
A. Pierre Duplessix -
Etude d'un circuit de sérialisation a 3 Gbits/s en technologie BiCMOS
P. Couteaux -
GenOptim : un environnement d'aide à la conception de générateurs de circuits portables optimisés en performance et en surface
A. Houelle -
Méthodologie de conception d'architectures VLSI génériques appliquée au traitement numérique
N. Vaucher -
Algorithmes approchés pour des problèmes d'ordonnancement à temps de communication
A. Munier -
Vérification compositionnelle de modèle basée sur une bisimulation dépendant de la propriété
F. Rahim, E. Encrenaz -
Programmation par contraintes en CLIPS
J.-M. Labat, M. Futtersack -
Apprentissage de Connaissances de Contrôle pour l'Optimisation Combinatoire : Intégration du Raisonnement à Partir de Cas dans la Méthode Tabou
S. Grolimund -
Conception et réalisation d'un routeur de paquets à hautes performances
V. Reibaldi -
Environnement logiciel d'un coprocesseur SIMD associatif et systolique microprogrammable
L. Winckel -
Apprentissage statistique et régularisation pour la régression
C. Goutte -
Système d'Apprentissage par Auto-Observation. Application au Jeu de Go
T. Cazenave -
Utilisation des approximants de Padé pour le calcul de bases minimales
M.-P. Stuchlik-Quéré -
Améliorer l'ingénierie de services de télécommunication par l'utilisation conjointe de la technologie agent mobile et des méthodes formelles
M.-P. Gervais, A. Diagne -
Un environnement à base de composant pour la spécification, la vérification et la validation de systèmes répartis ouverts
A. Diagne, P. Estraillier -
Structuration, placement et exécution de composants logiciels dans les applications réparties ou parallèles
W. El Kaim -
Depuis les Spécifications Formelles à l'Implémentation de Systèmes Répartis: Une approche Multi-Formalisme
A. Diagne, F. Kordon -
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 -
La décimation des convertisseurs Sigma-Delta
H. Aboushady -
Construction d'un Agent Rationnel jouant du Jazz
G. Ramalho
Tous les rapports ont un résumé en français.