Cette thèse propose une nouvelle approche du parallélisme et de la concurrence, posant les bases d'un langage de programmation à la fois sûr et "secure" (garantissant la sécurité des données), fondé sur une sémantique formelle claire et simple, tout en étant adapté aux architectures multi-cœur. Nous avons adopté le paradigme synchrone, dans sa variante réactive, qui fournit une alternative simple à la programmation concurrente standard en limitant l'impact des erreurs dépendant du temps ("data-races"). Dans un premier temps, nous avons considéré un langage réactif d'orchestration, DSL, dans lequel on fait abstraction de la mémoire (Partie 1). Dans le but de pouvoir traiter la mémoire et la sécurité, nous avons ensuite étudié (Partie 2) un noyau réactif, CRL, qui utilise un opérateur de parallélisme déterministe. Nous avons prouvé la réactivité bornée des programmes de CRL. Nous avons ensuite équipé CRL de mécanismes pour contrôler le flux d'information (Partie 3). Pour cela, nous avons d'abord étendu CRL avec des niveaux de sécurité pour les données, puis nous avons défini dans le langage étendu, SSL, un système de types permettant d'éviter les fuites d'information. Parallèlement (Partie 4), nous avons ajouté la mémoire à CRL, en proposant le modèle DSLM. En utilisant une notion d'agent, nous avons structuré la mémoire de telle sorte qu'il ne puisse y avoir de "data-races". Nous avons également étudié l'implémentation de DSLM sur les architectures multi-cœur, fondée sur la notion de site et de migration d'un agent entre les sites. L'unification de SSL et de DSLM est une piste pour un travail futur.

L'étude de cette thèse est focalisée sur la compréhension des caractéristiques du transport dans des systèmes granulaires cœur - coquille (cobalt - cobalt oxyde). Nous avons étudié le comportement magnétique et de transport de notre système granulaire ferromagnétique/antiferromagnétique. Les agrégats de cobalt de 4 nm sont fabriqués par une source à pulvérisation magnétron et condensation en phase vapeur. Lorsque les agrégats sont oxydés pendant le dépôt ils adoptent une géométrie en cœur - coquille avec un cœur icosaédrique et une coquille CoO de structure cfc. Après le dépôt, les agrégats sont caractérisés par différentes méthodes. In situ, elles sont caractérisées en fonction de la quantité déposée par le spectromètre à temps vol. Ex situ, elles sont analysées par le SQUID (mesure magnétique) et par les mesures de transport. Plusieurs caractéristiques de nos échantillons ont été mises en évidence lors de l'analyse magnétique. Trois propriétés magnétiques nous intéressent principalement. La première est le couplage d'échange F/AF, étudié sur l'ensemble des agrégats de cobalt avec différents pourcentages d'oxydation (entre 33% de CoO et 95% de CoO). Nous avons constaté que l'effet maximum est obtenu pour l'échantillon le plus oxydé à cause de l'augmentation de la coquille d'oxyde. La deuxième propriété magnétique concerne la présence d'un superparamagnétisme modifié par l'interaction d'échange entre le cœur et la coquille. La troisième est l'effet de traînage qui se manifeste le plus souvent par une diminution du décalage d'échange et du champ coercitif après plusieurs mesures successives. Ce phénomène est dû à une instabilité de la configuration magnétique obtenue lors du refroidissement sous champ mais il est cependant difficile d'identifier l'origine exacte. Les propriétés de transport de notre système sont mises en évidence par l'étude de la résistivité, de la magnétorésistance et de la résistance du Hall en fonction de la température et du champ magnétique appliqué. La variation de la résistivité avec la température présente un minimum et qu'elle varie très peu avec la température. Ce comportent est typique des systèmes transitoires, se situant entre le régime métallique et le régime isolant. La faible magnétorésistance varie très peu avec la température. Son amplitude ne dépasse pas 0.1% dans tous les alliages granulaires mesurés. Le système étudié est caractérisé par une résistivité de Hall extraordinaire positive à toutes les températures de mesure.

Dans le domaine de l'extraction de motifs, il existe un grand nombre d'algorithmes pour résoudre une large variété de sous problèmes sensiblement identiques. Cette variété d'algorithmes freine l'adoption des techniques d'extraction de motifs pour l'analyse de données. Dans cette thèse, nous proposons un formalisme qui permet de capturer une large gamme de problèmes d'extraction de motifs. Pour démontrer la généralité de ce formalisme, nous l'utilisons pour décrire trois problèmes d'extraction de motifs : le problème d'extraction d'itemsets fréquents fermés, le problème d'extraction de graphes relationnels fermés ou le problème d'extraction d'itemsets graduels fermés. Ce formalisme nous permet de construire ParaMiner qui est un algorithme générique et parallèle pour les problèmes d'extraction de motifs. ParaMiner est capable de résoudre tous les problèmes d'extraction de motifs qui peuvent ˆtre décrit dans notre formalisme. Pour obtenir de bonne performances, nous avons généralisé plusieurs optimisations proposées par la communauté dans le cadre de problèmes spécifique d'extraction de motifs. Nous avons également exploité la puissance de calcul parallèle disponible dans les archi- tectures parallèles. Nos expériences démontrent qu'en dépit de la généricité de ParaMiner ses performances sont comparables avec celles obtenues par les algorithmes les plus rapides de l'état de l'art. Ces algorithmes bénéficient pourtant d'un avantage important, puisqu'ils incorporent de nombreuses optimisations spécifiques au sous problème d'extraction de motifs qu'ils résolvent.

Doktorarbeit--Katholisch-theologische Fakultät--Albert-Ludwigs-Universität Freiburg i. Br., 1990.

Diss.--Philosophische Fakultät--Köln, 1980. / Bibliogr. p. 197-208.

No description available.

La Tachycardie Ventriculaire Polymorphe Catécholaminergique (TVPC) est une pathologie rythmique héréditaire rare et sévère, responsable de mort subite chez le sujet jeune. Les mutations des gènes RYR2 et CASQ2 sont associées respectivement à une transmission autosomique dominante et récessive de la maladie. Le canal calcique RyR2 et la protéine chélatrice du calcium Casq2 sont situés dans le réticulum sarcoplasmique (RS) où ils participent au complexe de relâchement calcique (CRC), essentiel à l'homéostasie calcique cardiaque. L'analyse de RYR2 et CASQ2 chez 214 probands ayant présenté une TVPC nous a permis d'identifier respectivement des mutations chez 75 et 11 probands. Deux cas de mosaïques germinales et somatiques ont été identifiés dans le gène RYR2. Deux mutations d'épissage du gène CASQ2 ont été validées à l'aide de minigènes. Chez 97 patients négatifs pour RYR2 et CASQ2, nous avons décidé de rechercher des mutations de trois protéines du CRC (la triadine, la junctine et FKBP12.6) en séquençant les gènes correspondants. Nous n'avons retrouvé aucune mutation de la junctine, ni de FKBP12.6. En revanche, nous avons identifié trois mutations de la triadine: une micro-délétion et une mutation non-sens entraînant un codon stop prématuré, ainsi qu'une variation faux-sens, dont la caractérisation à l'aide de modèle animal et cellulaire a montré qu'elle entraînait une dégradation massive de la protéine. Les mutations du gène TRDN seraient associées à une absence de triadine entraînant une dysfonction du CRC, à l'origine des arythmies observées. En conclusion, nos résultats confirment que RYR2 est le gène majeur impliqué dans la TVPC, CASQ2 étant rarement impliqué; et nous rapportons, pour la première fois, des mutations du gène TRDN en pathologie humaine, associée à une forme autosomique rare de TVPC. / Catecholaminergic polymorphic ventricular tachycardia (CPVT) is a rare and severe inherited arrhythmogenic disorder, responsible for sudden death in young patients. It is a genetically heterogenous pathology with an autosomal dominant form associated with mutations of the RYR2 gene, and a recessive form associated with mutations of the CASQ2 gene. The ryanodine receptor RyR2 is a Ca2+ channel, and the calsequestrin Casq2 is the major calcium storage protein, located in the sarcoplasmic reticulum of the cardiomyocytes. They belong to the calcium release complex (CRC) that plays a central role in excitation-contraction coupling. In this work, we report the identification of RYR2 and CASQ2 mutations in 75 and 11 CPVT probands, respectively. We identified two cases of germline and somatic mosaicism in RYR2. Two splicing mutations of CASQ2 have been validated using a splicing minigene assay. We searched for mutations among 97 CPVT probands, negative for RYR2 and CASQ2, in three candidate genes: TRDN, ASPH and FKBP1B, encoding three proteins of the CRC. We did not identify any mutation of ASPH and FKBP1B genes. However, we found three mutations in the TRDN gene, encoding the cardiac triadin: a microdeletion, a nonsense mutation, both leading to a premature stop codon, and a missense mutation. We demonstrated that the missense mutation induces a drastic reduction of the protein in cellular and animal models. All the three mutations would thus be associated with the absence of triadin, leading to dysfunction of the CRC, and arythmias. In conclusion, our results confirm that RYR2 is the major gene implicated in CPVT, and CASQ2 rarely implicated. Moreover, we report mutations of the TRDN gene for the first time in pathology, as a third gene associated with a rare autosomal recessive form of CPVT.

L'étude de cette thèse est focalisée sur la compréhension des caractéristiques du transport dans des systèmes granulaires cœur - coquille (cobalt - cobalt oxyde). Nous avons étudié le comportement magnétique et de transport de notre système granulaire ferromagnétique/antiferromagnétique. Les agrégats de cobalt de 4 nm sont fabriqués par une source à pulvérisation magnétron et condensation en phase vapeur. Lorsque les agrégats sont oxydés pendant le dépôt ils adoptent une géométrie en cœur – coquille avec un cœur icosaédrique et une coquille CoO de structure cfc. Après le dépôt, les agrégats sont caractérisés par différentes méthodes. In situ, elles sont caractérisées en fonction de la quantité déposée par le spectromètre à temps vol. Ex situ, elles sont analysées par le SQUID (mesure magnétique) et par les mesures de transport. Plusieurs caractéristiques de nos échantillons ont été mises en évidence lors de l'analyse magnétique. Trois propriétés magnétiques nous intéressent principalement. La première est le couplage d'échange F/AF, étudié sur l'ensemble des agrégats de cobalt avec différents pourcentages d'oxydation (entre 33% de CoO et 95% de CoO). Nous avons constaté que l'effet maximum est obtenu pour l'échantillon le plus oxydé à cause de l'augmentation de la coquille d'oxyde. La deuxième propriété magnétique concerne la présence d'un superparamagnétisme modifié par l'interaction d'échange entre le cœur et la coquille. La troisième est l'effet de traînage qui se manifeste le plus souvent par une diminution du décalage d'échange et du champ coercitif après plusieurs mesures successives. Ce phénomène est dû à une instabilité de la configuration magnétique obtenue lors du refroidissement sous champ mais il est cependant difficile d'identifier l'origine exacte. Les propriétés de transport de notre système sont mises en évidence par l'étude de la résistivité, de la magnétorésistance et de la résistance du Hall en fonction de la température et du champ magnétique appliqué. La variation de la résistivité avec la température présente un minimum et qu'elle varie très peu avec la température. Ce comportent est typique des systèmes transitoires, se situant entre le régime métallique et le régime isolant. La faible magnétorésistance varie très peu avec la température. Son amplitude ne dépasse pas 0.1% dans tous les alliages granulaires mesurés. Le système étudié est caractérisé par une résistivité de Hall extraordinaire positive à toutes les températures de mesure. / This study is focused on understanding the transport properties of granular systems core - shell with emphasis on cobalt - cobalt oxide materials. We studied the magnetic and transport behavior of our granular system ferromagnetic/ antiferromagnetic. The cobalt clusters of 4 nm are obtained by a magnetron sputtering source and vapor phase condensation. The clusters oxidized during deposition adopt a core – shell geometry with icosahedra core and a fcc structure of CoO shell. After deposition, the clusters are characterized by different methods. In situ, they are characterized in terms of the amount of matter deposited by time flight spectrometer. Ex situ, they are analyzed by the SQUID (magnetic measurement) and transport measurements. Several characteristics of our samples have been identified during the magnetic analyses. Three magnetic properties are mainly interest. The first is the exchange bias F/AF, studied on the cobalt clusters with different oxidation percentages (between 33%CoO and 95% of CoO). We found that the maximum effect is obtained for the the oxidized samples due to the increased oxide shell size. The second magnetic property is the presence of superparamagnetism modified by the exchange interaction between the core and the shell. The third is the training effect shown often by a decrease in the exchange bias and coercive field after several successive measurements. This might be attributed to the instability of the magnetic configuration obtained upon cooling under a field, but it is difficult to identify the exact origin. The transport properties of our system are underlined by the study of the resistivity, magnetoresistance and Hall resistance as a function of temperature and applied magnetic field. The variation of resistivity with temperature shows a minimum. In the same time this variation is small as a function of the temperature. This behavior is associated with the transition systems which are found between the metallic and insulator regime. The variation of the magnetoresistance with temperature is small. Its amplitude does not exceed 0.1% in all granular alloys measured. The studied system is characterized by a positive extraordinary Hall resistivity at all temperatures of measurement.

Dans l’objectif d’augmenter les performances, l’architecture des processeurs a évolué versdes plate-formes "multi-core" et "many-core" composées de multiple unités de traitements.Toutefois, trouver des moyens efficaces pour exécuter du logiciel parallèle reste un problèmedifficile. Avec un grand nombre d’unités de calcul disponibles, le logiciel doit orchestrer lacommunication et assurer la synchronisation lors de l’exécution du code. La communication(transport des données entre les différents processeurs) est gérée de façon transparente par lematériel ou explicitement par le logiciel.Les modèles qui représentent les algorithmes de façon structurée et formelle mettent enévidence leur parallélisme inhérent. Le déploiement des logiciels représentés par ces modèlesnécessite de spécifier placement (sur quel processeur s’exécute une certaine tâche) et l’ordonnancement(dans quel ordre sont exécutées les tâches). Le placement et l’ordonnancement sontdes problèmes combinatoires difficile avec un nombre exponentiel de solutions. En outre, lessolutions ont différents coûts qui doivent être optimisés : la consommation de mémoire, letemps d’exécution, les ressources utilisées, etc. C’est un problème d’optimisation multi-critères.La solution à ce problème est ce qu’on appelle un ensemble Pareto-optimal nécessitant desalgorithmes spéciaux pour l’approximer.Nous ciblons une classe d’applications, appelées applications de streaming, qui traitentun flux continu de données. Ces applications qui appliquent un calcul similaire sur différentséléments de données successifs, peuvent être commodément exprimées par une classe de modèlesappelés modèles de flux de données. Le problème du placement et de l’ordonnancementest codé sous forme de contraintes logiques et résolu par un solveur Satisfaisabilité ModuloThéories (SMT). Les solveurs SMT résolvent le problème en combinant des techniques derecherche et de la propagation de contraintes afin d’attribuer des valeurs aux variables duproblème satisfaisant les contraintes de coût données.Dans les applications de flux de données, l’espace de conception explose avec l’augmentationdu nombre de tâches et de processeurs. Dans cette thèse, nous nous attaquons à ceproblème par l’introduction des techniques de réduction de symétrie et démontrons que larupture de symétrie accélère la recherche dans un solveur SMT, permettant ainsi l’augmentationde la taille du problème qui peut être résolu. Notre algorithme d’exploration de l’espacede conception approxime le front de Pareto du problème et produit des solutions pour différentscompromis de coûts. De plus, nous étendons le problème d’ordonnancement pour lesplate-formes "many-core" qui sont une catégorie de plate-forme multi coeurs où les unités sontconnectés par un réseau sur puce (NoC). Nous fournissons un flot de conception qui réalise leplacement des applications sur de telles plate-formes et insert automatiquement des élémentssupplémentaires pour modéliser la communication à l’aide de mémoires de taille bornée. Nousprésentons des résultats expérimentaux obtenus sur deux plate-formes existantes : la machineKalray à 256 processeurs et les Tilera TILE-64. / In order to achieve performance gains, computers have evolved to multi-core and many-core platforms abounding with multiple processor cores. However the problem of finding efficient ways to execute parallel software on them is hard. With a large number of processor cores available, the software must orchestrate the communication, synchronization along with the code execution. Communication corresponds to the transport of data between different processors, handled transparently by the hardware or explicitly by the software.Models which represent the algorithms in a structured and formal way expose the available parallelism. Deployment of the software algorithms represented by such models needs a specification of which processor to execute the tasks on (mapping) and when to execute them (scheduling). Mapping and scheduling is a hard combinatorial problem with exponential number of solutions. In addition, the solutions have multiple costs that need to be optimized, such as memory consumption, time to execute, resources used etc. Such a problem with multiple costs is called a multi-criteria optimization problem. The solution to this problem is a set of incomparable solutions called Pareto solutions which need special algorithms to approximate them.We target a class of applications called streaming applications, which process a continuous stream of data. These applications apply similar computation on different data items, can be conveniently expressed by a class of models called dataflow models. We encode mapping and scheduling problem in form of logical constraints and present it to satisfiability modulo theory (SMT) solvers. SMT solvers, solve the encoded problem by using a combination of search techniques and constraint propagation to find an assignment to the problem variables satisfying the given cost constraints.In dataflow applications, the design space explodes with increased number of tasks and processors. In this thesis, we tackle this problem by introduction symmetry reduction techniques and demonstrate that symmetry breaking accelerates search in SMT solver, increasing the size of the problem that can be solved. Our design-space exploration algorithm approximates Pareto front of the problem and produces solutions with different cost trade-offs. Further we extend the scheduling problem to the many-core platforms which are a group of multi-core platforms connected by network-on-chip. We provide a design flow which performs mapping of the applications on such platforms and automatic insertion of additional elements to model the communication using bounded memory. We provide experimental results obtained on the 256-processor Kalray and the Tilera TILE-64 platforms.The multi-core processors have typically a small amount of memory close to the processor, generally insufficient for all application data to fit. We study a class of parallel applications having a regular data access pattern and large amount of data to be processed by a uniform computation. The data must be brought from main memory to local memory, processed and then the results written back to main memory, all in batches. Selecting the proper granularity of the data that is brought into local memory is an optimization problem. We formalize this problem and provide a way to determine the optimal transfer granularity depending on the characteristics of application and the hardware platform.In addition to the scheduling problems and local memory management, we study a part of the problem of runtime management of the applications. Applications in modern embedded systems can start and stop dynamically. In order to execute all the applications efficiently and to optimize global costs such as power consumption, execution time etc., the applications must be reconfigured dynamically at runtime. We present a predictable and composable (executing independently without affecting others) way of migrating tasks according to the reconfiguration decision.

L'importance industrielle et économique de la catalyse en fait aujourd'hui un des thèmes le plus étudiés dans la recherche. La récupération de catalyseurs est très important, particulièrement lorsque l'on utilise des métaux coûteux (Rh, Ir, Pt, Ru, etc.), tant d'un point de vue économique, qu'environnemental ou sanitaire. Notre équipe a entamé depuis quelques années un programme de recherche sur l'utilisation de polymères cœur-coquille, de taille et de composition bien définie, comportant un cœur hydrophobe et fonctionnalisé par des ligands et une chevelure hydrophile en périphérie pour le confinement des objets en milieu aqueux. Ces polymères sont construits pour fonctionner comme des nanoréacteurs en conditions biphasiques. Seuls des nanoréacteurs possédant des ligands monophosphine avaient été synthétisés jusqu'ici. La première application de ces nanoréacteurs catalytiques a été réalisée, avec succès, en hydroformylation de l'octène en conditions biphasiques. Dans cette thèse, nous nous sommes intéressés, dans un premier temps, à continuer l'étude physicochimique de ces nanoréacteurs et à les utiliser en catalyse d'hydrogénation. Dans un deuxième temps, nous avons synthétisé de nouveaux polymères cœur-coquille contenant des ligands bidentes, soit ferrocénique (PS), soit des ligands nixantphos (PP). Nous présentons donc la synthèse de ligands possédant des groupements styryles polymérisables ainsi que leur incorporation dans les polymères cœur-coquille amphiphiles réticulés au cœur par polymérisation radicalaire contrôlée. La stratégie de synthèse des polymères est convergente : la chevelure hydrophile périphérique est d'abord synthétisée dans l'eau puis un deuxième bloc hydrophobe est ajouté. Les chaînes s'assemblent spontanément en micelles. Enfin, l'ajout d'un agent réticulant donne lieu à la réticulation totale au cœur pour former la micelle réticulée. Enfin, les premiers résultats de l'utilisation de ces nouveaux nanoréacteurs en chimie de coordination et en catalyse (hydroformylation, hydrogénation) seront présentés. / The industrial and economic importance of catalysis makes it one of the most studied topics in research today. Recovery of catalysts is very important, especially when expensive metals (Rh, Ir, Pt, Ru, etc.) are used, on the economic, environmental and sanitary points of view. Our team has recently started a research program on the use of core-shell polymers of well-defined size and composition, comprising a hydrophobic and ligand-functionalized core and a hydrophilic shell at the periphery for their confinement in an aqueous medium. These macromolecules are constructed to function as nanoreactors under biphasic conditions. Only nanoreactors with monophosphine ligands had been synthesized prior to this thesis, and successfully applied to the hydroformylation of 1-octene under biphasic conditions. In this thesis, we were initially interested in continuing the physicochemical study of these nanoreactors and in using them in catalyzed hydrogenations. Secondly, we have synthesized novel core-shell polymers containing bidentate ligands, either ferrocene-based (PS) or nixantphos-based (PP) ligands. We therefore present the synthesis of ligands possessing polymerizable styryl groups as well as their incorporation in the amphiphilic and core-cross-linked core-shell polymers by controlled radical polymerization. The polymer synthetic strategy is convergent: the peripheral hydrophilic shell was first synthesized in water and then a second hydrophobic block was added. The chains spontaneously assemble as micelles. Finally, the addition of a crosslinking agent gives rise to total core-cross-linking to form the core-cross-linked micelle (CCM). Finally, the first results of the use of these new nanoreactors in coordination chemistry and in catalysis (hydroformylation, hydrogenation) will be presented.