Dans cette thèse, nous montrons que les optimisations source-à-source sont un moyen efficace pour générer des programmes irréguliers ou parallèles performants à partir d'une implémentation. Après avoir présenté l'évolution des architectures des processeurs, nous proposons deux méthodes distinctes. La première pour extraire des codelets d'un programme irréguliers, les optimiser et prédire les performances du programme modifié. L'autre pour limiter l'impact des problèmes d'alignements dus à la vectorisation ou aux conflits de bancs. Nous présentons aussi différentes techniques de parallélisation, l'une générant des codelets parallèles, l'autre ordonnançant un graphe de taches sur un système hétérogène.

L'imagerie directe est actuellement la seule méthode disponible pour caractériser l'atmosphère des exoplanètes à longue période orbitale (≥1 UA). Cette méthode est difficile à mettre en œuvre parce qu'elle requiert de hauts contrastes à des séparations angulaires très proches (10^6-10^10 à ~0,2''). Pendant ma thèse, je me suis intéressée à deux instruments : la mission SPICES et l'instrument VLT/NaCo. SPICES (Spectro-Polarimetric Imaging and Characterization of Exoplanetary Systems) est un projet de coronographe spatial qui a pour objectif la caractérisation spectro-polarimétrique d'exoplanètes froides et de disques circumstellaires faibles (≥1 zodi). J'ai déterminé à l'aide de simulations numériques les performances scientifiques de cette mission. Pour une étoile solaire, SPICES pourrait caractériser des Jupiters à des séparations ≤5 UA et des distances ≤10 pc, des super-Terres à 1-2 UA pour quelques étoiles à moins de 4-5 pc et des Terres autour de α Centauri A. En considérant tous les types stellaires, j'ai estimé un nombre d'étoiles cibles potentielles de ~300. Dans la deuxième partie de ma thèse, j'ai analysé des données d'imagerie coronographique et différentielle angulaire et spectrale de l'instrument NaCo. L'objectif de ce programme d'observation était de chercher des planètes géantes gazeuses aussi froides que 500-1300 K à des séparations de 5-10 UA autour d'un échantillon sélectionné d'étoiles jeunes et proches (<200 Ma, <25 pc). Les limites de détection médiane atteignent des contrastes de ~10^−5 à 1'', correspondant à des températures effectives et masses de 1100 K et 10 MJ. Ces observations permettent de contraindre les propriétés des planètes géantes à longue période orbitale (>5 UA) et complètent les études statistiques basées sur les vitesses radiales.

Dans cette thèse nous explorons le diagramme de phase des fullerènes intercalées avec des métaux alcalins lourds, Rb6C60 et Cs6C60, à très haute pression (<50 GPa) et à très haute température (de l'ambiante à 1500 K).<br /><br />Ce travail inclue des expériences d'absorption de rayons X, de diffraction de rayons X, de spectroscopie Raman, ainsi que des calculs DFT ab initio à haute pression.<br /><br />Le couplage entre expériences et calculs permet d'observer que la présence de la forte interaction ionique entre chaque molécule et les ions alcalins, empêche la polymérisation des fullerènes sous pression. Dans le cas de Cs6C60, ceci a permis d'étendre le domaine de stabilité en pression des molécules de C60 d'au moins un facteur deux par rapport aux cristaux de C60 non-intercalés. Dans le cas de Rb6C60 une transition réversible est observée à 35 GPa.<br /><br />Nous avons mis en évidence la déformation progressive de la molécule de fullerène sous pression dans les systèmes étudiés. La compressibilité des deux cristaux a été mesurée et calculée.

ANALYSE DES MECANISMES QUI REGISSENT LE FONCTIONNEMENT, STATISTIQUE ET DYNAMIQUE DU TRANSISTOR MOS A CANAL VERTICAL, QUI APPARTIENT A LA FAMILLE DES TRANSISTORS MOS DE PUISSANCE. ON DECRIT LES PRINCIPALES STRUCTURES MOS DE PUISSANCE REALISEES DANS LE MONDE, LEURS PARTICULARITES ET LEURS CARACTERISTIQUES ELECTRIQUES. EQUATIONS DE FONCTIONNEMENT DE CE TYPE DE TRANSISTOR EN REGIME STATIQUE, ET PROPOSITION D'UN MODELE DYNAMIQUE, BASE SUR LA THEORIE DES CHARGES SUR LES ELECTRODES. ETUDE THEORIQUE ET EXPERIMENTALE DES PPTES FREQUENTIELLES DU TRANSISTOR VMOS. CARACTERISATION D'UN AMPLIFICATEUR LARGE BANDE UTILISANT CE COMPOSANT

La formation d'une couche d'oxyde thermique sur un métal entraîne l'apparition d'une déformation spécifique liée à la croissance de l'oxyde. Nous considérons que cette déformation est proportionnelle à l'épaisseur de la couche d'oxyde. Nous avons analysé les contraintes de « croissance » associées, dans les oxydes se développant sur des substrats de nickel, de fer et enfin de fer phosphaté. L'oxydation des deux premiers métaux est parabolique. En revanche, l'oxydation du fer phosphaté montre plusieurs caractéristiques. Des analyses menées par Diffraction des Rayons X (évolution des pourcentages de phases) ont montré que le film de phosphate se comportait comme une barrière de diffusion. La mesure des contraintes dans les oxydes a été réalisée in-situ par thermodiffraction avec l'apport du Rayonnement Synchrotron. Enfin, la modélisation de l'évolution des contraintes dans les systèmes oxydes thermiques sur métal nous a permis de reproduire qualitativement les résultats expérimentaux.

Un nouveau circuit de protection contre les surtensions a été développé. Dans ce circuit de protection, la partie<br />dissipative est monolithiquement intégrée dans la même puce du transistor à protéger avec aucune modification<br />technologique additionnelle. Cette intégration monolithique tire profit du système de refroidissement du<br />transistor à protéger pour le refroidissement de la partie intégrée. En même temps, elle réduit au minimum les<br />problèmes de connections entre le transistor à protéger et son système de protection. En plus, la conception de<br />ce circuit de protection permet d'ajuster le seuil de tension de protection. C'est utile pour la mise en série des<br />transistors pour des applications à haute tension. Un modèle du BJT comme transistor de protection est établi.<br />Ce modèle se distingue des modèles existants car il prend en compte que le BJT fonctionne en mode linéaire.<br />Un modèle thermique de l'ensemble des transistors intégrés évalue le comportement de ces transistors malgré la<br />différence entre leur mode de fonctionnement. Ce modèle donne une meilleure distribution des cellules du<br />transistor de protection dans la puce. Des résultats pratiques à partir des composants MOSFETs autoprotégés<br />que nous avons fabriqués valident la solution proposée. Un démonstrateur de hacheur série utilisant deux<br />MOSFETs autoprotégés en série montre l'efficacité de notre solution.

La croissance des capacités de calcul des processeurs se poursuit, non plus par l'augmentation des fréquences d'horloge, mais par la multiplication d'unités de traitement (coeur) au sein des chips. Cette augmentation du nombre de coeurs par processeur induit un partage des autres omposants de la machine entre les différentes requêtes. En outre, les applications parallèles provenant du calcul scientifique s'efforcent d'exploiter au maximum les ressources d'une architecture parallèle. La compréhension du partage de ressource devient un des défis majeurs pour utiliser efficacement ces architectures.<br />Ces nouveaux comportements de partage de ressources, ainsi produits, sont difficiles à interpréter et à prédire. Dans cette thèse, nous avons étudié le problème du partage du réseau. Les grappes de calcul utilisent des réseaux dédiés tels que Gigabit Ethernet, Myrinet ou Quadrics. L'exécution simultanée des tâches d'une application entraîne des accès concurrents sur la ressource réseau. Leurs effets conduisent à une perte de performance qui découle du partage de la bande passante réseau entre communications.<br />Suivant ce contexte, nous présentons une analyse fine des comportements concurrents sur les architectures : Quadrics, Myrinet et Gigabit Ethernet. Cette analyse conduit à la définition de modèles prédictifs basés sur la notion de partage de la bande passante. En outre, nous montons que l'intégration de ces modèles dans une simulation permet de prédire les impacts dûs à la concurrence entre communications MPI résultantes de l'exécution d'applications scientifiques. La prédiction des comportements concurrents donne lieu, au niveau scientifique et technique, à une meilleure connaissance des besoins des applications et, au niveau industriel, à la proposition de solutions de grappes adaptées aux besoins de leurs clientèles.

Les acides aminés sont des éléments chiraux essentiels de la vie, ils ont des effets biologiques et pharmacologiques très importants. La séparation chirale des énantiomères des acides aminés est indispensable dans de nombreux domaines tels que l'industrie pharmaceutique, l'agroalimentaire, l'archéologie et la médecine légale. La chromatographie liquide haute performance (CLHP) avec l'utilisation d'une phase stationnaire chirale constitue à l'heure actuelle la méthode de choix pour séparer des énantiomères. Ce travail a permis d'étudier les mécanismes d'interactions mis en jeu dans la fixation et la séparation des énantiomères du tryptophane sur des phases stationnaires chirales (PSCs) de type teicoplanine et teicoplanine aglycone (TAG). Une étude thermodynamique comparative entre ces deux PSCs a permis de déterminer le rôle négatif joué par les trois unités saccharidiques de la teicoplanine dans le processus de discrimination chirale du tryptophane. Ainsi, nous avons montré que cet acide aminé interagit considérablement avec la poche aglycone de la teicoplanine. L'utilisation d'une nouvelle PSC de type teicoplanine, immobilisée de manière non-covalente sur des supports chromatographiques de type C8 et C18, a permis de séparer quelques acides aminés aromatiques et d'inverser leur ordre d'élution énantiomérique (L>D) par rapport à celui classiquement obtenu avec une immobilisation covalente sur gel de silice (D>L). Par ailleurs, nous avons développé une nouvelle classe de sélecteurs chiraux à base d'aminoglycosides en chromatographie chirale d'échange de ligands. Plusieurs énantiomères d'acides aminés et de nucléosides ont été séparés avec succès sur ce nouveau type de PSCs.

Les verres des systèmes B2S3-Li2S-LiI sont des conducteurs ioniques du lithium. Le propos de ce travail est de décrire leur structure ainsi que la dynamique des ions conducteurs, des phases cristallisées servant de point de comparaison.<br />La résonance magnétique nucléaire, qui a largement été utilisée, fait l'objet d'une présentation détaillée. Puis, après une discussion sur la structure de B2S3, formateur de ce système, diverses approches de l'environnement du lithium dans les verres modifiés par LiS sont proposées. Enfin, une dernière partie structurale est consacrée au rôle du sel dopant LiI dans les verres ternaires. D'une façon générale, l'accent est mis sur les limites des techniques utilisées ou discutées ; la spectroscopie de photoélectrons X, la spectroscopie infrarouge lointain, diffusion des neutrons et la résonance magnétique nucléaire.<br />La dynamique des ions conducteurs est abordée au moyen de mesures de conductivité ionique, des micro-ondes au courant continu, et de temps de relaxation spin-réseau du lithium. Après un examen comparatif des principaux modèles théoriques, les résultats sont placés dans le contexte des travaux actuels sur la relaxation et la conduction ionique dans les systèmes désordonnées.

Les sels conducteurs organiques basés sur la molécule BEDT-TTF présentent une gamme de comportements dont la diversité s'exprime par application de contraintes de température et de pression. La connaissance des prorpriétés structurales de ces sels en tout point du diagramme de phase s'avère indispensable à la compréhension de leurs propriétés physiques. La diffraction X à très basse température et haute pression demeure encore une voie d'investigation pionnière. Nous avons étudié les comportements structuraux et électroniques de plusieurs sels de BEDT-TTF aux conditions ambiantes mais aussi en variation de température (de 340K à 10K) et en variation de pression (de 1bar à 16kbar). En particulier, les structures cristallines sont déterminées en différents points du diagramme de phase et reliées aux changements de propriétés physiques.