L'accroissement rapide de la puissance des calculateurs actuels et leur interconnexion en grappes et grilles de calcul à l'aide de réseaux rapides, permettent d'envisager, en mode de production, l'utilisation de plusieurs codes de calculs numériques couplés pour la simulation de phénomènes physiques plus complexes. Dans le but d'obtenir des résultats toujours plus précis, un nouveau type de simulation numérique, dont l'objectif est de simuler plusieurs<br />physiques en même temps, est apparu. Ce type d'application est appelé "couplage de code". En effet, plusieurs codes (physiques) sont couplés ou interconnectés an qu'ils communiquent pour réaliser la simulation.<br />Cette thèse s'intéresse aux problématiques liées au couplage à hautes performances de codes parallèles et distribués. L'obtention des performances repose sur la conception d'applications distribuées dont certains composants sont parallélisés et dont les communications sont efcaces. L'idée de bas de cette thèse est d'utiliser un langage de programmation parallèle orienté flot de données (ici Athapascan) dans deux modèles de conception d'applications distribuées ; "modèle appel de procédure à distance (RPC)" et "modèle orienté flux de données (stream-oriented)". Les contributions apportées par ce travail de recherche sont les suivants :<br /><br />- Utilisation d'un langage de flot de données dans un grille RPC de calcul ;<br />Dans le cadre de projet HOMA, les extensions au modèle RPC ont porté d'une part sur la sémantique de contrôle et de communication et d'autre part sur les supports exécutifs pour mieux exploiter le parallélisme. Les résultats théoriques de ces extensions pour une implantation sur le bus logiciel CORBA à l'aide du moteur exécutif KAAPI d'Athapascan et pour l'architecture homogène comme grappe de PC, sont présentés sous la forme d'un modèle de coût d'exécution. Les expériences (élémentaires et sur une application réelle) ont validé ce modèle de coût.<br /><br />- Extension d'un modèle mémoire partagée pour couplage de codes ;<br />An d'étendre la sémantique d'accès aux données partagées du langage Athapascan, nous avons proposé la notion de "collection temporelle". Ce concept permet de décrire la sémantique d'accès de type flux de données. La "collection spatiale" permet de mieux exploiter les données parallèles. Pour préciser la sémantique associée à ces nouvelles notions, nous avons donné une nouvelle définition pour la donnée partagée. Puis dans le cadre de cette définition, nous avons défini trois types de données partagées ; "séquentielle", "collection temporelle" et "collection spatiale".

La grille tient une place problématique dans l'histoire de l'art. Le critique y voit une structure abstraite, un signe pictural, une originalité recouvrant la rupture posée début xxème entre peinture et histoire. Or, le cubisme, sensément initial, se montre pluriel et perclus de résonances classiques. D'où, ressortent l'idée de charnière et la nécessité de définir d'abord la grille comme forme, possibilité de structure et qui peut faire sens. Mondrian retourne le tableau brunelleschien puis, fort de Braque, tente de mettre en phase représentation plane et plan de représentation. Par son œil, l'objet devient ainsi << division du mur" et, poussée l'outrance, la grille se réduit à un modèle architectural. Ceci dit, son ultime période suggère que la forme sait autrement répondre d'un modèle textile (le tressage). Matisse, lui, emprunte au tapis qui privilégiele nœud, le module, non la ligne. La grille textile revêt trois variantes, étrangères en termes d'extension et de processus. Le modèle architectural reconnaît ces versions. Un cas unique favorisant le nœud fait ressurgir un troisième modèle: cartographique. Sa variante nodale (le marteloire) se retrouve chez Mondrian (en écho à l'histoire de la peinture hollandaise) et chez Braque (sans plus de raison que formelle). La relation à l'œuvre d'art, propice au<< fictionnement ", et son anachronisme expliquent la qualité anhistorique de la forme. Psychologie et anthropologie aidant, une stratégie émerge, permettant (selon certains critères dont le marteloire pour schème) de l'étudier à l'œuvre scientifiquement (non seulement pour document), tel un complexe production-réception duquel la rencontre se rejoue indéfiniment.

La communication de groupe est un dispositif crucial pour le calcul haute performance notamment sur les grilles de calculs. Tandis que les bibliothèques issues des travaux antérieurs imposent des contraintes spécifiques aux programmeurs (par exemple l'utilisation d'interfaces consacrées) pour effectuer des communications de groupes, cette thèse présente un mécanisme qui se veut plus flexible. En particulier, nous proposons un modèle, où, étant donnée une classe Java, les communications de groupes sont déclanchées par appel aux méthodes publiques de la classe en conservant la notation pointée; de cette façon les communications et les groupes deviennent typés. De plus, des groupes sont automatiquement construits pour collecter les résultats d'une opération collective. Ce système est basé sur un Protocole à Méta-Objets. Cela permet une notation objet et une gestion dynamique des résultats (ex: B groupB = groupA.foo();). Cette flexibilité permet également de gérer les résultats qui sont eux mêmes des groupes d'objets accessibles à distance, et d'utiliser un groupe comme paramètre d'appel de méthode pour que ses membres soient distribués entre les membres d'un groupe d'appel. De plus, des groupes hiérarchiques peuvent être facilement et dynamiquement construits : une importante fonctionnalité de déploiement dans un contexte de grilles. Des mesures de performances et une application numérique démontrent la viabilité de l'approche. Nos derniers travaux mènent à un style de programmation SPMD (Single Program Multiple Data) orienté-objet basé sur les communications de groupes typés et qui permet un contrôle étendu sur des applications de calculs intensifs tout en préservant les bénéfices d'une approche typée. Les groupes d'objets soutenant le calcul distribué sont organisés selon une topologie, c'est à dire l'ajout de la notion d'une identification pour chaque membre dans le groupe SPMD et la possibilité de référencer facilement ses voisins. Les opérations collectives ont été revisitées et étendues par des barrières de synchronisation de façon à fournir un modèle complet de programmation SPMD orienté-objet.

Une des solutions les plus prometteuses actuellement à la course à la puissance de traitement consiste à créer des grilles. Néanmoins, leur utilisation optimale n'est pas encore atteinte dû notamment à la complexité que ce support d'exécution amène pour les administrateurs et utilisateurs. Cette thèse se concentre sur la gestion des ressources composant une grille de calcul. Nous montrons comment traiter ce problème à l'aide de paradigmes économiques. Nous définissons un modèle économique permettant de gérer les ressources d'une grille. Ce modèle propose d'associer un coût à chacune des machines de la grille. Le placement d'une application est assimilé à un problème d'optimisation non-linéaire sous contraintes et à variables entières, pour lequel le choix des machines à utiliser doit minimiser un compromis entre le temps d'exécution de l'application et son coût. Une implémentation de ce modèle à l'aide d'un algorithme génétique est proposée, de même que son intégration au sein de l'ordonnanceur OAR utilisé sur Grid'5000. Dans une seconde partie de la thèse, des travaux ont été effectués dans le domaine de la prédiction du temps d'exécution d'une application. Nous définissons une méthode hybride de prédiction basée à la fois sur le profil des applications ainsi que sur un historique d'exécutions passées, combinant une analyse de la structure du programme à une méthode d'apprentissage basé sur des instances. Nous montrons notamment que la prise en compte du profil des applications améliore les prédictions réalisées au moyen de méthodes classiques basées seulement sur des historiques d'exécutions passées.

La recherche du ou des services de calcul scientifique disponibles sur une grille qui répondent aux besoins d'un utilisateur, aussi appelée courtage de services, est une activité complexe. En effet, les services disponibles sont souvent conçus pour répondre de manière efficace à de nombreux besoins différents. Ceux-ci comportent donc en général de nombreux paramètres et la simple signature du service ne suffit pas pour que l'utilisateur puisse le trouver. La solution proposée dans ces travaux consiste à utiliser une description formelle du domaine d'application comportant l'ensemble des données et des opérateurs du domaine ainsi que les propriétés des opérateurs. Dans le cadre de cette thèse, cette description est effectuée sous la forme d'une spécification algébrique. Un service ou une requête sont alors des termes de l'algèbre associée. En ce qui concerne les signatures, nous combinons le sous-typage des sortes et la surcharge des opérateurs selon le système de type proposé par G. Castagna pour le λ&-calcul. Le courtage consiste alors à effectuer un filtrage modulo la théorie équationnelle associée à la spécification, entre le terme représentant le service souhaité et les termes représentant les services disponibles. Nous proposons et avons implanté deux algorithmes différents inspirés d'un parcours de l'arbre de recherche des solutions contraint par une quantité d'énergie (nombre d'équations et/ou de compositions applicables). Le premier algorithme est directement dérivé des travaux de Gallier et Snyder sur l'unification équationnelle. Nous avons montré sa correction et argumenté sa complétude (ou exhaustivité). Le second algorithme découle d'une définition constructive de l'ensemble des services qui peuvent répondre à la requête d'un utilisateur. L'algorithme consiste alors en un parcours particulier de l'arbre construit pour engendrer le service requis. Nous avons également montré sa correction, et sa complétude pour certaines formes d'équations. Nous illustrons notre approche dans les domaines applicatifs suivants : algèbre linéaire et optimisation, et nous nous intéressons au traitement de la combinaison de domaines applicatifs.

Dans la course à l'intégration, l'un des paramètres les plus critiques dans la fabrication des dispositifs et leur performance est la définition des grilles des transistors et en particulier le contrôle en dimension de ces grilles de transistors. Pour le nœud technologique 45nm, la variation totale de dimension devra être inférieure à 2.8nm sur une tranche de 300mm. Cela comprend la variation intrapuce, intraplaque, plaque à plaque et lot à lot. Cette thèse porte sur l'étude des interactions plasma/matériaux lors d'un procédé industriel de gravure d'une grille polysilicium pour le nœud technologique 45nm. L'analyse dimensionnelle des motifs et la caractérisation chimique des surfaces exposées aux plasmas ont permis de caractériser et d'optimiser ce procédé de gravure. L'analyse des différents contributeurs de variabilité de la dimension critique des grilles, conjuguée à la compréhension approfondie des mécanismes de gravure par plasma, a permis de mettre en place des actions correctives afin de minimiser ces sources de variations. La gravure du polysilicium est contrôlée par la formation d'une couche fluorocarbonnée se formant en surface des flancs du polysilicium. La maitrise de cette couche passivante par les conditions du plasma (pression, puissance source débit de gaz...) a permis de développer une boucle de régulation innovante afin d'optimiser le contrôle de la dispersion des CD d'un lot à un autre. La mise en place de ce genre de boucle faisant varier plusieurs paramètres de la gravure par plasma sera la clef pour le contrôle dimensionnel des futurs nœuds technologiques en microélectronique.

Cette thèse, effectuée au LPA par Julien Chaste, présente l'analyse dynamique d'un transistor à effet de champ en nanotube de carbone (NT-FET) dans la perspective de mesurer sa résolution de charge δqrms.<br />La quantification des électrons dans le nanotube joue un rôle sur la limitation de la conductance, de la transconductance gm, de la capacité de grille Cg et en particulier sur la limitation de la fréquence de coupure ωt=gm/Cg par l'inductance cinétique du canal.<br />Les deux montages expérimentaux, l'un à 300K et l'autre à 4K, ainsi que la fabrication des NT-FET ont intégré des solutions efficaces au problème de désadaptation d'impédance et ont permis de mesurer la transmission entre 0,1 et 1,6GHz ainsi que gm,Cg et ωt. Des fréquences ωt =50GHz ont même été mesurées.<br />De plus, la coloration du bruit (0,2-0,8GHz) du transistor à 4K a été déterminée. Le bruit mesuré en mode ouvert est d'origine poissonienne (F=1) et montre des effets de saturation dues aux phonons optiques.<br />L'ensemble de ce travail a prouvé que la résolution de charge δqrms du NT-FET est suffisante pour détecter des charges uniques en une nanoseconde

Ce travail se place dans le cadre du calcul haute performance sur des plateformes d'exécution de grande taille telles que les grilles de calcul. Les grilles de calcul sont notamment caractérisées par (1) des changements fréquents des conditions d'exécution et, en particulier, par (2) une probabilité importante de défaillance due au grand nombre de composants. Pour exécuter une application efficacement dans un tel environnement, il est nécessaire de prendre en compte ces paramètres. Nos travaux de recherche reposent sur la représentation abstraite de l'application sous forme d'un graphe de flot de données de l'environnement de programmation parallèle et distribuée Athapascan/Kaapi. Nous utilisons cette représentation abstraite pour apporter des solutions aux problèmes (1) de reconfiguration dynamique et (2) de tolérance aux fautes. - Tout d'abord, nous proposons un mécanisme de reconfiguration dynamique qui gère, de manière transparente pour le programmeur de la reconfiguration, les problèmes d'accès concurrents sur l'état de l'application et la cohérence mutuelle des états en cas de reconfiguration distribuée. - Ensuite, nous présentons un protocole de tolérance aux fautes original qui permet d'effectuer une reprise partielle de l'application en cas de panne. Pour cela, il détermine l'ensemble des tâches de calcul strictement nécessaires à la reprise de l'application. Ces contributions sont évaluées en utilisant les logiciels Kaapi et X-Kaapi sur la plateforme de calcul Grid'5000.

Cette thèse étudie un modèle de plate-forme de communication pour la programmation des grilles de calcul. Notre but est d'étendre la portée des grilles en permettant l'exécution d'applications parallèles et/ou réparties sans imposer de contrainte de programmation ou d'exécutif particulier. Le modèle proposé permet l'utilisation d'exécutifs variés, adaptés à l'application plutôt que ceux dictés par les réseaux disponibles. Notre approche est basée sur : un arbitrage des accès aux ressources, pour permettre plusieurs exécutifs simultanément ; une adaptation d'abstraction qui permet de voir les ressources selon le paradigme choisi par l'utilisateur ; une virtualisation des ressources, qui permet l'utilisation d'exécutifs existants sans les modifier. Nous avons mis en oeuvre ce modèle dans la plate-forme PadicoTM, et porté divers exécutifs sur cette plate-forme, tels que MPI, CORBA, et SOAP. Les réseaux utilisables vont des SAN jusqu'aux WAN. Les performances obtenues sont excellentes.

Based on a plural approach of power, this study aims at emphasizing how, in organisations that are part of the solidarity economy, women are given the opportunity to develop their self-esteem and confidence in their abilities. The research attempts to show that these organizations are above all a place where women can become autonomous and empower themselves in the different social spheres (domestic, sociocultural, economic and political spheres) i.e. through an empoderamiento process. Women become actors of change, able to collectively question the socio-cultural construction of gender relationships in their organization, their family, and more generally in the political sphere. The empoderamiento appears to be essential at two levels: at the level of individual power, i.e. the ability to choose and act concerning your own life, and at the level of collective power i.e. actions for social, economic and political change. Women's identity changes but not without differences among them. This is an overwhelming sociological change concerning the role women and men play within the family and the society. Women's empoderamiento leads to the search for new points of reference, for the power to remain in the hands of both genders: it's an issue concerning female and male identity. To tackle the empoderamiento process from the people's point of view, field work was carried out in the Bolivian Andes together with a participative methodology. The leaders (men and women) of organizations for a popular solidarity economy have created an analytical framework (with the different empoderamiento aspects) that has led toa unique analysis of the field work. The framework underlined the empoderamiento process of women living in the Bolivian Andes that participate in solidarity economy organizations (Handicraft and farming). Sophie Charlier is an Agricultural Engineer and a research associate in the GRIAL. She is an Associate Professor at the UCL and holds a Masters Degree in Population, Environment and Development Science (IED/UCL). Her Ph.D. represents 20-years of work (or: a 20-year work project) in the field of development, either through research, training or field work for NGOs./ A partir d'une approche plurielle du pouvoir, la thèse cherche à mettre en évidence comment dans les organisations d'économie solidaire, il existe un espace pour les femmes qui leur permet de développer une estime de soi et une confiance en leurs capacités. La thèse démontre que ces organisations sont avant tout un lieu dans lequel les femmes peuvent acquérir une certaine autonomie et un pouvoir dans les différentes sphères de la société (familiale, socioculturelle, économique et politique) soit, un empoderamiento. Les femmes se transforment en actrices de changement capables de remettre en cause collectivement les rapports de genre - construction socioculturelle - dans leur organisation économique, dans leur famille et plus largement dans des espaces politiques. Il apparaît ainsi que l'empoderamiento est essentiel dans sa double dimension : celle du pouvoir individuel, c'est-à-dire la capacité de choisir et d'agir sur sa propre vie, et celle du pouvoir collectif, d'actions orientées vers des changements, sociaux, économiques et politiques. L'identité des femmes se transforme mais non sans certaines différences entre elles ; nous sommes face à un bouleversement sociologique quand aux rôles des femmes et des hommes au sein de la famille et de la société. L'acquisition d'empoderamiento des femmes oblige la recherche de nouveaux repères pour que l'autorité (le pouvoir) ne repose pas sur un seul genre mais sur les deux : c'est une question d'identité féminine et masculine. Pour aborder le processus d'empoderamiento à partir des « gens », la thèse s'appuie sur un travail de terrain, dans les Andes en Bolivie et une méthodologie participative. Les dirigeant-e-s des organisations d'économie populaire solidaire ont construit une grille d'analyse (reprenant les différentes dimensions de l'empoderamiento) qui a permis de tirer une interprétation originale des enquêtes de terrain. Elle a ainsi mis en évidence le processus d'empoderamiento chez les femmes vivant dans les Andes boliviennes et qui participent à des organisations d'économie solidaire (d'artisan-e-s et de paysans/nes). Sophie Charlier, Ingénieur Agronome, chercheure associée au GRIAL, Maître de conférence (UCL) et titulaire d'un DEA en sciences de la population, de l'environnement et du développement (IED/UCL). Sa thèse repose sur vingt années de travail dans le secteur du développement que ce soit à travers la recherche, la formation ou un travail de terrain au sein des ONG.