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