Reproduction de : Thèse de docteur-ingénieur : microélectronique : Grenoble, INPG : 1985. / Titre provenant de l'écran-titre. Bibliogr. p. 183-187.

Les applications embarquées hautes performances sont de plus en plus complexes et exigeantes en termes de ressources de calcul. L’augmentation des performances des puces monoprocesseur n’est plus une solution adaptée. Les systèmes-sur-puce multiprocesseurs (MPSoC) offrent une voie prometteuse. Cependant, la conception de tels systèmes est difficile en raison de plusieurs contraintes. Nous citons premièrement le besoin de modèles de programmation expressifs pour décrire le parallélisme potentiel inhérent aux applications. Deuxièmement, nous devons éviter des explorations fastidieuses de leurs architectures. Enfin, plusieurs niveaux d’abstraction doivent être pris en compte afin de mieux traiter la complexité de la conception. Nous proposons l’utilisation du profil MARTE pour la modélisation de systèmes. Ce profil est suffisamment expressif pour décrire des applications hautes performances et des architectures parallèles. Nous abstrayons ensuite ces modèles via des horloges. Ces dernières représentent l’activité des processeurs durant l’exécution de fonctionnalités. Une technique d’analyse permet de vérifier des contraintes temporelles telles que l’ordre d’exécution de tâches, et d’analyser des contraintes non fonctionnelles telles que les temps d’exécution. Ces propriétés sont liées au nombre de processeurs impliqués dans l’exécution ainsi qu’à leurs fréquences. La contribution de cette thèse est la définition d’un cadre de travail, à base d’horloges, qui facilite l’exploration de l’espace de conception à haut niveau d’abstraction. Le travail a été mené dans un environnement, Gaspard2, dédié à la conception de systèmes embarqués hautes performances. / High-performance embedded applications are increasingly complex and resource-demanding. The quest for the ultimate execution performance on single processor chips is a deadend. Instead, the promising solution is Multi-Processor System-on-Chip (MPSoC). However, their design is a very difficult task due to a number of crucial constraints to meet. Among the necessary ingredients for a successful design, we mention first the need of expressive programming models for describing the potential parallelism inherent to target applications. Second, we need ways avoiding tedious architecture explorations. Finally, several abstraction levels must be taken into account to better address design complexity. We propose to use the MARTE profile for system modeling. It is expressive enough to describe high performance applications and parallel architectures. As for the system verification, we abstract MARTE models with abstract clocks. These clocks capture the system behavior by representing the activity of processing units when achieving functionality. An analysis technique enables to verify functional constraints such as task execution order. In addition, it allows dealing with non functional properties such as execution time. These properties are directly related to the number of processors involved in system execution as well as their associated frequency values. From an overall viewpoint, the main contribution of this thesis is the definition of an abstract clock-based framework that facilitates MPSoC design space exploration at a high abstraction level. It has been made concrete within an environment, called Gaspard2, dedicated to the design of high-performance embedded systems.

Reproduction de : Thèse de 3e cycle : informatique : Grenoble, INPG : 1983. / Titre provenant de l'écran-titre. Bibliogr. p. 155-156.

Reproduction de : Mémoire d'ingénieur : informatique : Grenoble, CNAM : 1983. / Titre provenant de l'écran-titre.

Reproduction de : Thèse de doctorat : microélectronique : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 245-266.

Les machines logiques prennent dans la vie moderne une place de plus en plus importante. Leur diversité s'étend du simple interrupteur aux calculateurs numériques en passant par l'ascenseur, la machine à laver...Longtemps ignorée l'algèbre de Boole est à l'origine de cette expension et demeure l'instrument de base pour aborder l'étude de ces machines. Après quelques rappels sur cette algèbre et les systèmes logiques qui, nous le verrons, peuvent se décrire par un ensemble de fonctions combinatoires, nous nous proposons dans ce qui suit de montrer comment les matrices booléennes peuvent être utilisées en vue de la réalisation de ces fonctions à partir d'un élément logique particulier que nous étudierons.

Cette thèse rend compte d'une recherche exploratoire sur les logiques au regard des pratiques et de l'instrumentation au sein des réseaux sociaux en faveur de l'insertion professionnelle des diplômés universitaires. Ce travail vise à approcher de manière originale la récente émergence des médias sociaux universitaires au travers une approche sociologique. L'objectif est de mettre au jour les modes de coordination et les logiques de coopération de l'action collective. La recherche fait appel à la théorie de l'acteur stratégique et à la sociologie de l'action organisée. Le protocole se fonde sur l'étude de trois cas de réseaux sociaux universitaires reposant sur des entretiens semi-directifs et des observations non-participantes. L'interprétation fait émerger des logiques d'instrumentalisation des pratiques et des instruments de gestion du réseau social. Les résultats mettent en exergue des pratiques de bricolage et de compilation des instruments sans complémentarité apparente. Ces pratiques permettent aux acteurs de créer une opacité sur les ressources dont ils disposent et la coordination de leurs activités. La régulation et la coordination de l'action collective s'observe au travers l'existence d'un système d'action concret. Les résultats spécifient des logiques au service d'une coopération coordinatrice. Ainsi, la recherche montre que les logiques d'instrumentalisation des instruments et des pratiques permettent aux acteurs d'effectuer des logiques de déplacements des buts en vue de dépasser les finalités initiales, maintenir leur pouvoir et préserver leurs marges de liberté / This thesis reports on an exploratory research about logic from practices and instrumentation within social networks for the employment of university graduates. This work aims at approaching in an original way, the recent emergence of academic social medias through a sociological perspective. The goal is to uncover the modes of coordination and cooperation logic of collective action. The research involves the theory of strategic actor and sociology of organized action. The protocol is based on the study of three cases of academic social networks, built on semi-structured interviews and non-participant observations. The interpretation brings out the logic of instrumentalization of practices and social network management tools. The results highlight practical DIY and compilation tools without apparent complementarity. These practices allow players to create an opacity on available resources and coordinate their activities. Regulation and coordination of collective action is seen through the existence of a concrete system of action. The results specify logics serving an umbrella partnership. For example, research shows that logics of instruments and practices’manipulation allow players to perform logics of shifts goals to exceed the initial purposes, maintain their power and preserve their margins of freedom

L'essence de cette thèse est de produire des théorèmes de représentation et d'impossibilité pour des familles de relations de conséquence et d'opérateurs de révision. Dans un premier temps, on s'intéressera à des relations de conséquence préférentielles (au sens de Kraus, Lehmann et Magidor) et pivotantes (au sens de Makinson). Ce sont des relations plausibles (les premières ne sont pas monotones, les secondes si) conçues pour traiter des informations incomplètes. On les étudiera dans des cadres paraconsistants tels que celui de la logique de Belnap, ce qui les rendra aussi utiles pour traiter des informations incohérentes. En seconde partie, on s'intéressera à une approche à la révision des croyances introduite par Lehmann, Magidor et Schlechta. Elle est basée sur des distances entre interprétations et présente l'avantage de définir des opérateurs de révision qui se comportent bien en cas d'itération.

Reproduction de : Thèse de doctorat : Traitement des images et du signal : Université de Cergy-Pontoise : 2006. / Titre provenant de l'écran titre. Bibliogr. p.183-186. Index.

Reproduction de : Thèse de doctorat : Génie électrique : Toulouse, INPT : 2008. / Titre provenant de l'écran-titre. Bibliogr. 78 réf.