• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2
  • 2
  • Tagged with
  • 4
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

A decoupled approach to high-level loop optimization : tile shapes, polyhedral building blocks and low-level compilers / Une approche découplée pour l'optimization de boucle à haut niveau

Grosser, Tobias 21 October 2014 (has links)
Malgré des décennies de recherche sur l’optimisation de boucle auxhaut niveau et leur intégration réussie dans les compilateurs C/C++et FORTRAN, la plupart des systèmes de transformation de bouclene traitent que partiellement les défis posé par la complexité croissanteet la diversité du matériel d’aujourd’hui. L’exploitation de laconnaissance dédiée a un domaine d’application pour obtenir le codeoptimal pour cibles complexes, tels que des accélérateurs ou des microprocessorsmulti-coeur, pose des problèmes pour les formalismeset outils d’optimisation de boucle existants. En conséquence, de nouveauxschémas d’optimisation qui exploitent la connaissance dédiéea un domaine sont développées indépendamment sans profiter dela technologie d’optimisation de boucle existante. Cela conduit à despossiblités d’optimisation raté et ainsi qu’à une faible portabilité deces schémas d’optimisation entre des compilateurs différents. Un domainepour lequel on voit la nécessité d’améliorer les optimisationsest le calcul de pochoir itératifs, un probléme de calcul important quiest réguliérement optimisé par les compilateurs dédiées, mais pourlequel générer code efficace est difficile.Dans ce travail, nous présentons des nouvelles stratégies pour l’optimisationdédiée qui permettent la génération de code GPU haute performancepour des calculs de pochoir. À la différence de la façon dontla plupart des compilateurs existants sont mis en oeuvre, nous découplonsla stratégie d’optimisation de haut niveau de l’optimisationde bas niveau et la spécialisation nécessaire pour obtenir la performanceoptimale. Comme schéma d’optimisation de haut niveau, nousprésentons une nouvelle formulation de “split tiling”, une techniquequi permet la réutilisation de données dans la dimension du tempsainsi que le parallélisme équilibré à gros grain sans la nécessité derecourir à des calculs redondants. Avec le “split tiling”, nous montronscomment intégrer une optimisation dédiée dans un traducteurgénérique source-à-source, C vers CUDA, une approche qui nouspermet de réutiliser des optimisations existants non-dédiées. Nousprésentons ensuite notre technique appelée “hybrid hexagonal / parallelogramtiling", un schéma qui nous permet de générer du codeque cible directement les préoccupations spécifiques aux GPUs. Pourconclure notre travail sur le "loop tiling", nous étudions la rapport entre“diamond tiling” et “hexagonal tiling”. À partir d’une analyse de“diamond tiling” détailée, qui comprend les exigences qu’elle posesur la taille de tuile et les coefficients de front d’onde, nous fournissonsune formulation unifiée de l’“hexagonal tiling” et du “diamondtiling” qui nous permet de réaliser un “hexagonal tiling” pourvdes problèmes avec deux dimensions (un temps, un espace) dans lecadre d’un usage dans un optimiseur générique, comme “Pluto”. Enfin,nous utilisons cette formulation pour évaluer l’“hexagonal tiling”et le “diamond tiling” en terme de rapport de calcul-à-communicationet calcul-à-synchronisation.Dans la deuxième partie de ce travail, nous discutons nos contributionsaux composants de l’infrastructure les plus important, nos“building blocks”, qui nous permettent de découpler notre optimisationde haut niveau tant des optimisations nécessaires dàns la générationde code que de l’infrastructure de compilation générique. Nouscommençons par présenter le nouveau “polyhedral extractor” (pet),qui obtient une représentation polyédrique d’un morceau de code C.pet utilise l’arithmétique de Presburger en sa généralité pour élargirle fragment de code C supporté et porter une attention particulièreà la modélisation de la sémantique des langages même en présencede dépassement de capacité des entiers. / Despite decades of research on high-level loop optimizations and theirsuccessful integration in production C/C++/FORTRAN com- pilers, most compilerinternal loop transformation systems only partially address the challengesposed by the increased complexity and diversity of today’s hardware. Especiallywhen exploiting domain specific knowledge to obtain optimal code for complextargets such as accelerators or many-cores processors, many existing loopoptimization frameworks have difficulties exploiting this hardware. As aresult, new domain specific optimization schemes are developed independentlywithout taking advantage of existing loop optimization technology. This resultsboth in missed optimization opportunities as well as low portability of theseoptimization schemes to different compilers. One area where we see the need forbetter optimizations are iterative stencil computations, an importantcomputational problem that is regularly optimized by specialized, domainspecific compilers, but where generating efficient code is difficult.In this work we present new domain specific optimization strategies that enablethe generation of high-performance GPU code for stencil computations. Differentto how most existing domain specific compilers are implemented, we decouple thehigh-level optimization strategy from the low-level optimization andspecialization necessary to yield optimal performance. As high-leveloptimization scheme we present a new formulation of split tiling, a tilingtechnique that ensures reuse along the time dimension as well as balancedcoarse grained parallelism without the need for redundant computations. Usingsplit tiling we show how to integrate a domain specific optimization into ageneral purpose C-to-CUDA translator, an approach that allows us to reuseexisting non-domain specific optimizations. We then evolve split tiling into ahybrid hexagonal/parallelogram tiling scheme that allows us to generate codethat even better addresses GPU specific concerns. To conclude our work ontiling schemes we investigate the relation between diamond and hexagonaltiling. Starting with a detailed analysis of diamond tiling including therequirements it poses on tile sizes and wavefront coefficients, we provide aunified formulation of hexagonal and diamond tiling which enables us to performhexagonal tiling for two dimensional problems (one time, one space) in thecontext of a general purpose optimizer such as Pluto. Finally, we use thisformulation to evaluate hexagonal and diamond tiling in terms ofcompute-to-communication and compute-to-synchronization ratios.In the second part of this work, we discuss our contributions to importantinfrastructure components, our building blocks, that enviable us to decoupleour high-level optimizations from both the necessary code generationoptimizations as well as the compiler infrastructure we apply the optimizationto. We start with presenting a new polyhedral extractor that obtains apolyhedral representation from a piece of C code, widening the supported C codeto exploit the full generality of Presburger arithmetic and taking special careof modeling language semantics even in the presence of defined integerwrapping. As a next step, we present a new polyhedral AST generation approach,which extends AST generation beyond classical control flow generation byallowing the generation of user provided mappings. Providing a fine-grainedoption mechanism, we give the user fine grained control about AST generatordecisions and add extensive support for specialization e.g., with a newgeneralized form of polyhedral unrolling. To facilitate the implementation ofpolyhedral transformations, we present a new schedule representation, scheduletrees, which proposes to make the inherent tree structure of schedules explicitto simplify the work with complex polyhedral schedules.The last part of this work takes a look at our contributions to low-levelcompilers.
2

Erik Satie : « sports et divertissements », une approche dramaturgique de l’imagination : interactions musicales et visuelles / Erik Satie « sports et divertissements », a dramaturgical approach of the imagination : musical and visual interactions

Tzioumaki, Aikaterini 09 January 2010 (has links)
La présente thèse est un travail herméneutique sur Sports et Divertissements, édition de luxe qui combine musique et textes par Erik Satie et illustrations en pochoir par Charles Martin. Étant donné son caractère fortement intertextuel, Sports et Divertissements est abordé sous la problématique de l’art total et de ses prolongements dans les livres de peintres et d’artistes, ainsi que dans le contexte artistique de sa création (notamment la mode et son illustration et les livres art déco) pendant et un peu après la Première Guerre Mondiale.Conçu initialement par son éditeur Lucien Vogel, et paru dans une première version en 1914, Sports et Divertissements n’a pris sa forme finale qu’en 1923, dans une révision totale effectuée par Charles Martin. La thèse souhaite démontrer l’efficacité narrative maximale de cette deuxième version, en termes de correspondance entre les éléments littéraires, musicaux et visuels dans la temporalité de l’œuvre ainsi que dans son aspect plastique global à travers un processus ludique et dramaturgique de l’imagination. / The present thesis is an interpretative study of Sports et Divertissements, edition de luxe which combines music and texts by Erik Satie and pochoir illustrations by Charles Martin. Given the highly intertextual character of the work, Sports et Divertissements is seen under the notion of total art, extended to livres de peintres and livres d’artistes as well as in the artistic context of its creation (notably fashion and its illustration and art deco books) that occurred during and after the 1st World War.Initially conceived by its editor Lucien Vogel, and appearing on a first version in 1914, Sports et Divertissements didn’t take its final form until 1923, in a total revision of the illustrations by Charles Martin. The thesis attempts to show the maximal narrative efficacity of this final version, in terms of correspondence among literary, musical and visual elements in the temporality of the work, as well as in its global visual aspect, through a creative and dramaturgical process of the imagination.
3

Synthèse et caractérisation de matériaux mésoporeux à base d'oxyde de vanadium pour l'oxydation de composés organiques / Synthesis and Characterization of Vanadium-containing Mesoporous Silica and its Application in the Catalysis of Oxidation Reaction

Zheng, Yuting 02 November 2014 (has links)
Les matériaux à base de vanadium sont largement utilisés comme catalyseurs pour l'oxydation de composés organiques. Les propriétés catalytiques des catalyseurs au vanadium pour l'oxydation dépendent de l'état et de la stabilité des espèces de vanadium. Dans cette étude, nous développons des nouveaux catalyseurs hétérogènes au vanadium pour la réaction d’oxydation.Dans la première partie du travail, les matériaux mésoporeux à base de silice (MCM-41) contenant du Al (III) et du Ti (IV) sont envisagés comme supports. L'effet d'ancrage chimique de ces hétéroatomes sur les ions V (V) et leur dispersion dans la silice MCM- 41 ont été étudiés à l'aide d'une analyse quantitative des spectres UV-visible de réflectance diffuse. En complément, les matériaux ont été caractérisés par diffraction des rayons X (DRX), mesure de sorption d’azote, spectroscopie de résonance magnétique électrique (RPE) et la spectroscopie Raman. Les spectres UV-visible des échantillons hydratés et déshydratés mettent en évidence la coexistence de plusieurs espèces V (V) de différente nucléarité et différent taux d'hydratation. Le décalage vers le bleu de la bande UV des échantillons contenant comme des additifs les ions Al(III) ou Ti(IV) est cohérent avec une meilleure dispersion des ions vanadium présentant entre autres plus d’espèces mononucléaires (isolées). L'effet bénéfique du titane sur la dispersion de vanadium est compatible avec la formation directe de ponts covalents de type Ti-O-V.Dans la seconde partie, les ions V(IV) ont été déposés sur des matériaux mésoporeux à base de silice en utilisant une nouvelle stratégie dite de pochoir moléculaire ou « Molecular-Stencil Patterning ». La stratégie de pochoir moléculaire s’applique à la silice contenant des tensioactifs ioniques en utilisant ces derniers comme agent de masquage lors du greffage covalent de diverses fonctions. Cette stratégie de surface moléculaire permet de contrôler à la fois le voisinage moléculaire et la dispersion à longue distance des espèces de vanadium entre elles. La caractérisation a été effectuée en utilisant plusieurs méthodes telles l’analyse thermogravimétrique (ATG), la spectroscopie de résonance magnétique nucléaire (RMN), la spectroscopie infrarouge (IR) et la spectroscopie UV-visible. L'incorporation des ions titane (IV) joue le rôle d’ancre chimique pour les ions V(IV) comme dans le chapitre précédent. Il est montré qu’une proportion de V/Ti inférieure à un et proche de trois génère les meilleures conditions pour éviter la formation de gros agrégats d’oxyde de vanadium.Enfin, ces nouveaux matériaux au vanadium ont été testés en phase liquide pour catalyser l'oxydation partielle du cyclohexane en une huile désignée par son rapport molaire K/A de cyclohexanone (K) et de cyclohexanol (A). Ce mélange est utilisé comme telle en chimie industrielle de base, an particulier comme précurseurs de l'acide adipique et de caprolactame pour la synthèse du nylon. Les tests ont démontré que l’introduction de titane combiné à la stratégie de pochoir moléculaire a notablement amélioré les propriétés catalytiques de ce type de catalyseurs au vanadium.En conclusion, la silice MCM-41 au vanadium a été conçu par l’introduction des hétéroatomes d'ancrage et de la stratégie de pochoir moléculaire, afin d'améliorer la dispersion et la stabilité des sites actifs. Les matériaux conçus ont montré de meilleures propriétés et caractéristiques catalytiques dans divers caractérisation et la réaction d'oxydation. / Vanadium-based materials are widely used as catalysts for oxidation of organic compounds. The catalytic properties of vanadium catalysts for oxidation are related closely to the state and the stability of vanadium species. Therefore, a series of vanadium-containing MCM-41 silica were designed and developed in this study, and their catalytic application for oxidation reactions was evaluated as well.In the first part of work, the chemical anchoring effect of Al(III) or Ti(IV) heteroatoms on the dispersion of V (V) in MCM-41 type silica was investigated using a quantitative analysis of diffuse reflectance UV-visible spectra. The characteristic properties of prepared materials were determined by various characterization such as X-ray diffraction (XRD), N2 sorption measurement, Electron paramagnetic resonance (EPR) spectroscopy, UV-visible spectroscopy and Raman spectroscopy. UV-visible spectra of hydrated and dehydrated samples evidenced the coexistence of several V(V) species of different oligomerization and hydration levels. The global blue shift of the band in the presence of Al(III) or Ti(IV) additives was then assigned to a higher proportion of less clustered and isolated V(V) species. The stronger beneficial effect of Ti on the vanadium dispersion is consistent with a higher stability of the X-O-V bridges moving from X = Si to X = Al and Ti. In the second part, new mesoporous silica materials containing vanadium species were synthesized according to the molecular stencil patterning technique. Molecular stencil patterning is developed specifically for silica templated with ionic surfactants used as masking agent to sequentially immobilize via covalent bonding (grafting) different functions. This molecular surface engineering was proved to improve the vanadium species dispersion according to Thermogravimetric Analysis (TGA), Nuclear Magnetic Resonance spectroscopy (NMR), Infrared spectroscopy (IR) and UV-visible spectroscopy. The incorporation of titanium species played again the role to immobilize the vanadium species as the results in previous work. The V/Ti ratio should be less than 1 to control the formation of clusters of vanadium species.Lastly, the vanadium-containing materials were applied to the liquid phase oxidation of cyclohexane into cyclohexanol (A) and cyclohexanone (K). A mixture of these two products is often called K/A oil in the industrial chemical production. K/A oil is widely used as a raw material for adipic acid and caprolactam in the nylon industry. The catalysis results proved that the modification by adding titanium chemical anchors combined with the MSP technique improve the catalytic properties of vanadium-containing heterogeneous catalysts.In conclusion, the dispersion and stability of vanadium active sites has been improved in new syntheses of vanadium-containing MCM-41 type silica by combining both anchoring heteroatoms and molecular stencil patterning techniques. Such a novel design leads to better catalytic performance in oxidation reaction in correlation with the structural and physical characteristics of the material.
4

Le chant dans les monastères cisterciens de l’Europe francophone (1521-1903) : enquête sur les livres de chœur imprimes et manuscrits / Singing in the cistercian monasteries of french-speaking Europe (1521-1903) : investigation into the choir books printed and manuscripted

Boschiero-Trottman, Marie-Luce 25 November 2014 (has links)
Entre 2008 et 2011, l’inventaire des livres liturgiques de 51 communautés cisterciennes de l’Europe francophone a mis en lumière un fonds unique de Graduels et d’Antiphonaires de choeur, tant manuscrits qu’imprimés, parus entre la Renaissance et le début du XXe siècle. Ces ouvrages constituent le corpus principal de cette thèse dont l’objectif est d’en interroger le contenu au regard de l’histoire de l’Ordre cistercien, mais aussi de l’évolution du chant ecclésiastique. La périodisation est définie en fonction des bornes suivantes : le terminus a quo (1521) correspond à la première impression d’un livre de choeur cistercien et son terminus ad quem (1903) est celui de la publication du dernier ouvrage de ce format au sein de cet Ordre spécifique. L’étude est menée selon trois axes : analyse codicologique ; philologie des traces d’usage introduites au cours des âges ; approche musicologique d’un échantillon d’Offices liturgiques (Office de la Dédicace et Office votif du Sacré-Coeur) / Between 2008 & 2011, a general inventory of the liturgical books of 51 Cistercian communities in Francophone Europe allowed the highlighting of one fund of several 10th of choir graduals and antiphonaries, both manuscripts & printed, from the Renaissance period to the beginning of the XXth century. These works constitute the main body of this thesis aimed to examine the content relating to the history of the Cistercian Order, but also the general evolution of ecclesiastical chant. Periodization of this work is defined according to the following terminals: the terminus a quo (1521) is the first impression of a Cistercian choir book and terminus ad quem (1903) is the publication of the last book of this size in this specific Order. The study is conducted along three axes: codicological analysis; philology traces of use introduced in these books over the ages; musicological approach of a sample of specific liturgical Offices (Office of the Dedication and votive Office of the Sacred-Heart)

Page generated in 0.026 seconds