WorldCat Identities

Mossière, Jacques

Overview
Works: 103 works in 143 publications in 1 language and 214 library holdings
Roles: Opponent, Thesis advisor, Author, Other
Publication Timeline
.
Most widely held works by Jacques Mossière
Expression et réalisation du contrôle d'éxécution dans un système réparti by Marc Rozier( )

2 editions published in 1986 in French and held by 5 WorldCat member libraries worldwide

Cette thèse propose une méthode de construction d'applications réparties dans le système réparti CHORUS. Une telle application est vue, d'une part, comme un ensemble de services élémentaires, rendus par des processus séquentils locaux, les «acteurs», et d'autre part comme un ensemble d'«activités», processus migrant dans le système réparti pour invoquer les services élémentaires
Opérations d'accès par le contenu à une base de documents textuels : application à un environnement de bureau by Claudia Jiménez-Guarin( Book )

1 edition published in 1989 in French and held by 5 WorldCat member libraries worldwide

Sont présentées la définition, l'implantation et l'expérimentation de méthodes d'accèes par le contenu à une base de documents textuels, dans le cadre d'un serveur d'information bureautique. L'intégration de ces opérations comprend d'une part l'intégration des documents au modèle de données du serveur, d'autre part l'intégration au niveau fonctionnel des opérations spécifiques aux documents par l'introduction des opérateurs correspondants dans le langage de manipulation de données. Est considérée la coexistence de deux modèles de contenu des documents: le contenu textuel, forme par les chaines de caractères qui forment les portions de contenu de leur structure logique, et le contenu sémantique, qui est le résultat d'une analyse du contenu. Ont ainsi ete définies deux opérations de recherche, la recherche textuelle et la recherche sémantique, effectuées sur ces deux modèles de contenu. Les méthodes d'accès et de stockage correspondantes utilisent des méthodes de signature pour l'établissement des index textuel et sémantique. Ces méthodes permettent de tres bonnes performances, facilite de mise a jour et évaluation de requête. Ont été expérimentées une approche logicielle et une approche matérielle (avec le filtre Schuss) pour la réalisation de ces opérations. Une grande partie de ce travail a été intégrée dans le serveur ois, développe dans le cadre du projet esprit 231, Doeois
ESOPE : gestion des processus et partage de ressources by Jean Ferrié( Book )

1 edition published in 1972 in French and held by 5 WorldCat member libraries worldwide

Modèle et langage à objets pour la programmation d'applications réparties by Marie Laurence Meysembourg-Männlein( Book )

2 editions published in 1989 in French and held by 4 WorldCat member libraries worldwide

Cette thèse a été effectuée dans le cadre du projet Guide mené conjointement par le laboratoire de génie informatique et le centre de recherche Bull de Grenoble depuis mi 86. Guide est le support d'un ensemble de recherches sur la programmation des applications reparties. Ces recherches sont entreprises sur la base du développement d'un système expérimental : le système Guide. Ce dernier est un système d'exploitation reparti à objets qui fournit un haut niveau d'intégration (invisibilité de la répartition notamment). Un premier prototype du système fonctionne depuis fin 88 et permet la programmation et la mise œuvre d'applications par l'intermédiaire d'un langage de programmation spécifique. La thèse contient une présentation et une évaluation du modèle de programmation par objets mis œuvre par ce langage: la présentation met en évidence les principaux choix de conception et les justifie; l'évaluation est basée sur une étude comparative des modèles d'objets de Guide, de Trellis/Owl, d'Emerald et d'Eiffel, et sur des expériences de programmation réalisées sur le prototype. Elle met en évidence les aspects caractéristiques du modèle d'objets de guide, ses apports et ses limites
Evaluation de performance des mémoires rotatives magnétiques by Guy Arnaudo( )

1 edition published in 1981 in French and held by 4 WorldCat member libraries worldwide

Aspects technologiques des différentes mémoires rotatives, schémas des différentes phases d'entrée sortie. Etude des modèles de tambours pris isolément, en considérant deux politiques d'ordonnancement des transferts (FIFO et SLTF). Etude des modèles de disques a têtes mobiles pris isolement. (étude de la politique d'ordonnancement des transferts au niveau du canal, lorsque plusieurs disques sont attaches au même canal). Modélisation des mémoires rotatives dans un réseau fermé
Méthodes de synthèse optimisée pour compilateurs de silicium Complément du titre by Franck Poirot( Book )

3 editions published between 1990 and 2008 in French and held by 4 WorldCat member libraries worldwide

La synthèse logique joue un rôle fondamental dans les compilateurs de silicium. Alors que l'état de l'art de la synthèse deux couches est très avance, celui de la synthèse multi-couches reste encore un sujet très ouvert. L'objet de cette thèse est de présenter des méthodes originales de synthèse de contrôleurs et de systèmes combinatoires pour une implémentation multi-couches a base de cellules de bibliothèque. Le premier chapitre définit le concept de compilation de silicium et introduit l'une de ses composantes, la synthèse logique. L'importance du marche de la synthèse logique y est clairement définie ainsi que ses implications dans la conception actuelle de circuits intégrés. Le deuxième chapitre concerne la synthèse de contrôleurs. Le probleme du codage des machines d'états fini est traite en détail et une methode basée sur la théorie d'immersion de cubes intersectant dans un hypercube booléen est proposée. Le troisième chapitre est consacre a la synthèse de circuits combinatoires et une methode d'optimisation temporelle de tels dispositifs est développée. Ces travaux ont été implémentés dans un environnement industriel
Utilisation des modes directionnels dans la résolution by Olivier Oudot( )

2 editions published in 1987 in French and held by 4 WorldCat member libraries worldwide

Cette étude met en évidence l'utilité des modes directionnels pour l'optimisation de la résolution dans le langage Prolog. Ils se caractérisent essentiellement par le fait qu'ils permettent de distinguer les différentes utilisations possibles d'un même prédicat. Un algorithme de production automatique de ces modes est décrit. L'étude est concrétisée par la réalisation du compilateur Starlog, fonctionnant sur un cas particulier de modes directionnels
Extensions multimédia de la messagerie MMS by Max Roger Pokam( Book )

3 editions published between 1995 and 2004 in French and held by 4 WorldCat member libraries worldwide

The current decade is confirming the progress accomplished in processing and tranmission technologies for the several previous decades. There is an overwhelming revolution in the design of distributed data processing systems. Network technologies allowing gigabits per second transmission rates are becoming commonplace. Manufacturing and process control systems are examples of distributed computer systems that will be influenced by the recent technology achievements. Audio, video, animated X-rays and infrared images are the new types of information presented in the form of continuous media data that might be integrated to automated systems. We propose multimedia extensions to the OSI communication standard for distributed automated systems as a solution to the requirements of continuous media data flows in such systems. The MMS communication model is a client-server model based on message passing. After a brief presentation of the requirements of distributed multimedia systems in general, we exhibit the aspects of MMS that make it unable to handle sustained processing and transfer of continuous data media flows. We then propose an extension to the MMS object model and services allowing it to fulfill the requirements of continuous media data flows. We finally study a prototype implementation of new objects and services on an experimental testbed. The testbed is made up of UNIX and Windows NT workstations connected by ATM communications infrastructures. It will be used for performance-profiling of different implementation choices of the MMS extension model
Diagnostic de pannes des systèmes complexes by Olivier Raoult( )

2 editions published in 1989 in French and held by 4 WorldCat member libraries worldwide

Trois entités caractéristiques du problème de diagnostic sont dégagées: le langage d'observation, la référence de bon fonctionnement et le langage de qualification. Le langage d'observation déterminé l'information perceptible; la référence de bon fonctionnement introduit le concept de panne et le langage de qualification définit l'ensemble des réponses possibles du système
Un sous-système de recherche géométrique et d'équivalence pour la CAO de circuits intégrés VLSI by Josette Toussan( Book )

2 editions published in 1988 in French and held by 4 WorldCat member libraries worldwide

Comme la complexité des circuits VLSI croit, la tache de vérification des masques devient de plus en plus longue. L'utilisation des descriptions hiérarchiques permet le développement de méthodes d'analyse hiérarchique plus efficaces. Cette thèse explore une méthode de recherche géométrique par hiérarchie de Quadtrees et l'utilisation hiérarchique de l'algorithme d'équivalence union-find pour la recherche et la mise à jour des équivalences électriques. Des algorithmes hiérarchiques et géométriques utilisables pour l'édition, la vérification géométrique et topologique (connectique) de conceptions VLSI sont présentés. L'intérêt de telles méthodes dans la vérification et le compactage de ces conceptions est aussi aborde. Des quadtrees adaptatifs particuliers (mixed-quadtrees) ont été conçus et testés pour optimiser les outils conventionnels d'extraction et de vérification de la description géométrique des masques de conceptions non structurées et pour permettre une édition rapide de conceptions structurées. Ce document présente les arguments qui ont contribue à la conception d'un tel sous-systeme de recherche géométrique et topologique, le sous-système lui-même et certains algorithmes hiérarchiques. Les méthodes hiérarchiques, géométriques et topologiques ainsi explorées, sont applicables à un grand nombre de taches, comme l'extraction des conceptions, leur vérification, leur édition et leur compactage et sur des descriptions symboliques ou réelles. Ces méthodes permettent l'utilisation interactive d'un certain nombre d'algorithmes d'extraction, de vérification et d'adaptation des conceptions éditées à un ensemble de règles technologiques. Un extracteur et vérificateur géométrique et topologique de conceptions structurées est actuellement réalisé dans le but d'évaluer hiérarchiquement l'efficacité de tels algorithmes. Un aperçu des problèmes qui peuvent être résolus plus rapidement ou dans un mode interactif est également présenté
Contribution à la définition et à la mise en oeuvre de NAUTILE by Anton Hykisch( Book )

2 editions published in 1989 in French and held by 4 WorldCat member libraries worldwide

Cette thèse constitue une contribution à l'élaboration d'un nouveau système de conception de circuits intégrés, nautile. Elle comporte une étude des différents systèmes existants et a partir de leur synthèse établit la définition d'un nouveau système. Celui-ci doit réaliser un environnement complet de conception de circuits v.l.s.i. Permettant d'être facilement interfaçables avec différents systèmes déjà existants, d'être indépendant de la technologie et de gérer différentes représentations (dessin des masques, schéma électrique, schéma logique) d'un même circuit en assurant la cohérence entre elles. Enfin cette thèse donne une description du prototype réalisé du système nautile, consistant en une structure de donnée orientée objet, en les primitives de gestion de la structure, ainsi qu'en un certain nombre d'outils (routeurs, générateurs divers) ayant ete mis en œuvre
Réseau de cellules intégré : étude d'architectures pour des applications de CAO de VLSI by Renaud Cornu-Emieux( Book )

2 editions published in 1988 in French and held by 3 WorldCat member libraries worldwide

Le développement des techniques d'intégration permet de réaliser des circuits de 10**(5) a 10**(6) transistors et, dans un futur proche, des circuits encore plus complexes. Les problèmes de CAO deviennent donc de plus en plus ardus, comme la simulation logique ou le placement. Cette même évolution nous autorise a réaliser des machines parallèles très puissantes pour résoudre ces problèmes. Nous proposons l'architecture d'un réseau cellulaire asynchrone. Ce réseau, compose de nxn cellules dont chacune est physiquement connectée à ses quatre voisines, dispose d'un mécanisme de communication permettant l'acheminement de messages d'une cellule quelconque a n'importe quelle autre. Un circuit intégré, incluant un réseau de 2 x 2 cellules dédié à la simulation logique, a été réalisé. Utilisant cette architecture cellulaire nous avons développé un placeur, qui a partir d'une configuration initiale, minimise la longueur des connexions par échanges de paires. Nous avons aborde la manière dont le placement pourrait être amélioré par la méthode de recuit simule. Ces deux applications, différentes de l'architecture cellulaire, nous permettent de constater que beaucoup de parties sont communes aux deux circuits. Nous énonçons certaines règles de façon à rendre la conception plus rapide et plus sure
Un système Prolog parallèle pour machines à mémoire distribuée by Michel Favre( Book )

3 editions published in 1992 in French and held by 3 WorldCat member libraries worldwide

Cette thèse est consacrée a l'étude de l'implantation du langage Prolog sur les architectures parallèles Mimd sans mémoire commune. Nous présentons le modèle opéra qui exploite implicitement le parallélisme ou le Prolog pour repartir dynamiquement l'évaluation des programmes sur les différents nœuds du réseau de processeurs. Le système opéra est de type multisequentiel: il n'y a parallélisation que lorsqu'un processeur est inoccupé. Ce système se décompose en une partie operative chargée de l'évaluation du programme Prolog, et une partie contrôle chargée de l'allocation des travaux aux processeurs de la partie operative. Les principaux problèmes de ce type de systèmes sont d'une part le choix de représentation en mémoire de l'arbre ou ainsi que la gestion des liaisons multiples, et d'autre part, le contrôle de l'allocation des différentes branches de l'arbre aux machines abstraites qui effectuent des évaluations séquentielles. La technique de régulation de charge utilisée est fondée sur des méthodes heuristiques. L'ordonnanceur d'opera travaille sur une image approchée de l'état global du système obtenu par échantillonnage des états locaux de chaque unités de travail. Un prototype d'opera a été réalisé sur un réseau de transputers reconfigurable dynamiquement: le supernode. Cette propriété a ete mise a profit dans notre implantation pour réduire les couts de communication. Les communications sont effectuées en parallèle avec le calcul. Le prototype réalisé fournit des gains de performances importants et opera figure parmi les systèmes Prolog parallèles les plus efficaces a l'heure actuelle
Un micromonde de géométrie : Cabri-géomètre by Yves Baulac( )

2 editions published in 1990 in French and held by 3 WorldCat member libraries worldwide

Cette thèse présente Cabri-géomètre, un logiciel d'aide à l'enseignement de la géométrie. Cabri-géomètre est un cahier de brouillon interactif, un micromonde qui permet de construire et d'explorer les figures de la géométrie euclidienne plane. Il est notamment possible de modifier la position des objets dits quelconques et de voir évoluer la figure en temps réel. Toutes les actions sur la figure se font par manipulation directe (en les désignant avec une souris) des objets impliques. Le terme de micromonde recouvre les environnements d'apprentissage dans lesquels l'apprenant construit lui-même ses connaissances en expérimentant et en étudiant les phénomènes du domaine. Dans une première partie, nous présentons quelques généralités sur l'enseignement intelligemment assiste par ordinateur, les tendances de recherche et la place de cabri-géomètre sur l'éventail des réalisations actuelles. Dans une deuxième partie, nous exposons les spécifications de ce micromonde en insistant notamment sur les problèmes rencontres lors de la définition des interfaces et de la représentation informatique de la structure logique des figures de géométrie
Evaluation de performances d'une architecture parallèle pour le traitement d'images by Pierre Houeix( Book )

2 editions published in 1988 in French and held by 3 WorldCat member libraries worldwide

Une architecture parallèle pour le traitement d'images, articulée autour d'un bus rapide, est étudiée en vue d'effectuer des rectifications géométriques d'images satellites de grande dimension. Une parallélisation de l'algorithme est proposée en tenant compte d'une optimisation possible du découpage de l'image
FENIX : un système multifenêtres intégré à Unix by Ivan Boule( )

2 editions published in 1987 in French and held by 3 WorldCat member libraries worldwide

Développement d'un système multi-fenetres permettant l'exécution parallèle de plusieurs applications interactives disposant chacune d'un nombre quelconque de fenêtres sur l'écran de façon totalement transparente aux applications. L'architecture du système repose sur une séparation stricte entre, d'une part le partie opératoire regroupant les fonctions de base et, d'autre part, la partie contrôle qui gère les commandes mises à la disposition de l'utilisateur
Les types en Prolog : un système d'inférence de type et ses applications by H Azzoune( )

2 editions published in 1989 in French and held by 3 WorldCat member libraries worldwide

Contribution à l'approche inferentielle pour l'introduction de la notion de type en Prolog. Cette approche consiste à déduire automatiquement d'un programme les types des prédicats. Le programmeur peut ainsi s'assurer de la conformité du programme à ses intentions. Une méthode d'inférence de type pour Prolog est présentée. Elle se base sur une simulation de l'unification et une simulation de la résolution, avec un traitement particulier sur les appels récursifs
Méthodologie de modélisation pour l'évaluation des performances des architectures parallèles by Jean-Pierre Prost( )

2 editions published in 1989 in French and held by 3 WorldCat member libraries worldwide

La méthodologie de modélisation adaptée a la mesure des performances des architectures parallèles repose sur la décomposition du processus de modélisation en 7 phases: formulation des objectifs, analyse du système, conception du modèle, estimation et mesure des paramétrés d'entrée du modèle, resolution du modèle, validation du modèle et utilisation du modèle pour prédire les performances du système réel
Un modèle générique pour la gestion des informations complexes et dynamiques : gestionnaire d'objets du prototype ELEN dédié au génie logiciel by Sahar Jarwah( )

2 editions published in 1992 in French and held by 3 WorldCat member libraries worldwide

Ce travail a pour objectif d'apporter une aide au développement et a la maintenance de logiciels de grande taille dans les environnements de génie logiciel (egl). Il s'agit de définir et d'implanter un noyau générique de stockage et de gestion permettant l'intégration de l'ensemble d'informations génie logiciel et offrant des outils généraux et déclaratifs. Le gestionnaire d'un projet peut ainsi spécifier la stratégie ou la methode de développement souhaitée. Nous avons défini un modèle de données pour les systèmes hypertexte capable de gérer la spécificité des informations génie logiciel et d'offrir une interrogation bien adaptée a ce type d'environnement (navigation, browser, etc). Le modèle est sémantique oriente-objet qui intègre aussi bien les aspects statiques que les aspects dynamiques des informations génie logiciel. Nous avons exploite la richesse des modèles sémantiques pour la représentation des abstractions nécessaires: objets complexes et composites, versions multiples et généralisation de la notion d'objet composite a celle d'objet générique composite. Via la notion de document, qui représente, en plus du contenu textuel des documents, leur contenu sémantique et leur présentation visuelle, le modèle comprend les éléments de base nécessaires pour l'intégration des fonctionnalités d'un systeme hypertexte, et, dans une étape ultérieure, de la recherche par le contenu sémantique des informations. Concernant la dynamique, nous utilisons le couplage entre données et traitements existant dans les modèles orientes-objet et donnons aux méthodes une définition déclarative sous forme de déclencheurs. Les méthodes, dans ce formalisme, n'expriment pas seulement le comportement des objets, mais aussi, les situations de leur déclenchement et les contrôles a effectuer sur le comportement des objets
Validation sémantique dans les théories structurées : application à un langage de programmation générique by Pascal Drabik( )

2 editions published in 1989 in French and held by 3 WorldCat member libraries worldwide

La spécification par type abstrait algébrique permet de décrire le comportement de structures de données particulières telles que les files, piles, arbres, etc. D'autre part, la généricité permet de spécifier le comportement de classes de structures. Nous nous intéressons dans cet ouvrage aux types abstraits génériques exprimes dans le formalisme algébrique. Ces spécifications génériques sont souvent liées entre elles par des relations telles que l'importation, la paramétrisation, etc. Toute instance d'une spécification générique s1, paramétrée par une spécification s2, doit vérifier des conditions décrites formellement dans s2. En général, ce type de vérification se traduit par la démonstration de formules logiques dans une théorie particulière. Nous définissons les différentes relations sémantiques qu'il faut valider dans le cadre d'un langage de programmation générique. Nous montrons également les principales caractéristiques de notre implémentation. Celle-ci aide a réaliser les validations sémantiques en utilisant un démonstrateur semi-automatique de théorèmes. Les expériences réalisées avec notre implantation nous ont conduit a constater le besoin de la réutilisation de démonstrations. Aussi avons nous propose les fonctionnalités d'un atelier de démonstration en utilisant le formalisme algébrique
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.90 (from 0.87 for Opération ... to 0.94 for Expression ...)

Associated Subjects
Alternative Names
Mossière, J.

Languages
French (40)