Reproduction de : Thèse d'Etat : sciences mathématiques : Grenoble 1 : 1987. / Titre provenant de l'écran-titre. Bibliogr. p. 199-209.

Thèse de 3e cycle : Informatique : Lille 1 : 1998. / Résumé en français et en anglais. Bibliogr. p. 103-112.

Th.--Informatique--Paris-Sud--Orsay, 1987. / 1988 d'après la déclaration de dépôt légal. Bibliogr. p. 293-299.

Th. doct.--Math.--Nice, 1993. / Bibliogr. p. 109-110. Résumé en français et en anglais. 1995 d'après la déclaration de dépôt légal.

Th. doct.--Informatique et réseaux--Paris--ENST, 1998. / Bibliogr. p. 127-132. Index. Résumé en français et en anglais.

Th.--Sci. math.--Rennes 1, 1978. N°: 289.

L’objet de cette thèse est l’étude des propriétés qualitatives des solutions de quelques équations de la mécanique de fluides incompressibles. Elle est divisée en trois chapitres. Le premier chapitre est consacré à la question d’existence locale est d’unité pour le système d’Euler 2D incompressible. On montre un théorème d’existence locale et d’unité dans un espace large de tourbillons initiaux. Ceci généralise la partie existence locale du travail de Bernicot Keraani [2] sur le sujet. Une lois de compositions dans ces espaces (avec les homéomorphisme préservant la mesure de Lebesgue) est donnée et utilisée pour la preuve du théorème principal de ce chapitre. Le deuxième chapitre est consacré à la décomposition en profils pour le système de Navier-Stokes fractionnaire en 3D dans la boule maximale d’existence globale. On montre un théorème de structures qui mettent en évidence le rôle du groupe des invariances de ce système et on l’utilise pour établir des propriétés qualitatives des solutions globales. Enfin, dans le dernier chapitre, on utilise une décomposition en profil plus générale pour établir des résultats sur le comportement asymptotiques des solutions du Navier-Stokes fractionnaire en 3D. On montre que la norme de Sobolev critique des solutions globales converge vers 0 et que celle des solutions singulières explose en s’approchant du temps d’explosion fini. / The purpose of this thesis is to study the qualitative properties of the solutions of some systems of incompressible fluids mechanics. This thesis is divided into three chapters, the first chapter is dedicated to the issue of local existence and uniqueness of a solution to the 2D Euler incompressible system. We prove a theorem of local existence and uniqueness in a large space of initial vorticities. This extends the results (the local existence part more precisely) by Bernicot and Keraani [2] on the subject. Some laws of composition in these spaces (with Lebesgue measure preserving homeomorphisms) are given and used to prove the principal theorem of this chapter. The second chapter is concerned with the profile decomposition for the 3D fractional Navier-Stokes system. We prove some structure theorem which highlights the role of the invariances group of this system and we use it to establish some qualitative properties of the global solutions of fractional Navier-Stokes. In the last chapter, we study the asymptotic behavior of the solutions of fractional 3D Navier-Stokes. We prove that the critical Sobolev norm of the solution vanishes at infinity if it is global and blows up if it develops singularities at the finite time. A suitable profile decomposition is the main tool for our analysis throughout this chapter.

La croissance exponentielle de la génération de données pour la bioinformatique couplée à une stagnation des fréquences d’horloge des processeurs modernes accentuent la nécessité de fournir des implémentation tirant bénéfice des capacités parallèles des ordinateurs modernes. Cette thèse se concentre sur des algorithmes et implementations pour des problèmes de bioinformatique. Plusieurs types de parallélisme sont décrits et exploités. Cette thèse présente des applications en génétique, avec un outil de détection de QTL paralllisé sur GPU, en comparaison de structures de protéines, avec un outil permettant de trouver des régions similaires entre protéines parallélisé sur CPU, ainsi qu’à l’analyse de larges graphes avec une implémentation multi-GPUs d’un nouvel algorithme pour le problème du «All-Pairs Shortest Path». / The exponential growth in bioinformatics data generation and the stagnation of processor frequencies in modern processors stress the need for efficient implementations that fully exploit the parallel capabilities offered by modern computers. This thesis focuses on parallel algorithms and implementations for bioinformatics problems. Various types of parallelism are described and exploited. This thesis presents applications in genetics with a GPU parallel tool for QTL detection, in protein structure comparison with a multicore parallel tool for finding similar regions between proteins, and large graph analysis with a multi-GPU parallel implementation for a novel algorithm for the All-Pairs Shortest Path problem.

Ce manuscrit s'inscrit dans le domaine du calcul intensif (HPC) où le besoin croissant de performance pousse les fabricants de processeurs à y intégrer des mécanismes de plus en plus sophistiqués. Cette complexité grandissante rend l'utilisation des architectures compliquée. La modélisation des performances des architectures multi-cœurs permet de remonter des informations aux utilisateurs, c'est à dire les programmeurs, afin de mieux exploiter le matériel. Cependant, du fait du manque de documentation et de la complexité des processeurs modernes, cette modélisation est souvent difficile. L'objectif de ce manuscrit est d'utiliser des mesures de performances de petits fragments de codes afin de palier le manque d'information sur le matériel. Ces expériences, appelées micro-benchmarks, permettent de comprendre les performances des architectures modernes sans dépendre de la disponibilité des documentations techniques. Le premier chapitre présente l'architecture matérielle des processeurs modernes et, en particulier, les caractéristiques rendant la modélisation des performances complexe. Le deuxième chapitre présente une méthodologie automatique pour mesurer les performances des instructions arithmétiques. Les informations trouvées par cette méthode sont la base pour des modèles de calculs permettant de prédire le temps de calcul de fragments de codes arithmétique. Ce chapitre présent également comment de tels modèles peuvent être utilisés pour optimiser l'efficacité énergétique, en prenant pour exemple le processeur SCC. La dernière partie de ce chapitre motive le fait de réaliser un modèle mémoire prenant en compte la cohérence de cache pour prédire le temps d'accès au données. Le troisième chapitre présente l'environnement de développement de micro-benchmark utilisé pour caractériser les hiérarchies mémoires dotées de cohérence de cache. Ce chapitre fait également une étude comparative des performances mémoire de différentes architectures et l'impact sur les performances du choix du protocole de cohérence. Enfin, le quatrième chapitre présente un modèle mémoire permettant la prédiction du temps d'accès aux données pour des applications régulières de type \openmp. Le modèle s'appuie sur l'état des données dans le protocole de cohérence. Cet état évolue au fil de l'exécution du programme en fonction des accès à la mémoire. Pour chaque transition, une fonction de coût est associée. Cette fonction est directement dérivée des résultats des expériences faites dans le troisième chapitre, et permet de prédire le temps d'accès à la mémoire. Une preuve de concept de la fiabilité de ce modèle est faite, d'une part sur les applications d'algèbre et d'analyse numérique, d'autre part en utilisant ce modèle pour modéliser les performance des communications \mpi en mémoire partagée. / In the race for better performance, computer architectures are becoming more and more complex. Therefore the need for hardware models is crucial to i) tune software to the underling architecture, ii) build tools to better exploit hardware or iii) choose an architecture according to the needs of a given application. In this dissertation, we aim at describing how to build a hardware model that targets all critical parts of modern computer architecture. That is the processing unit itself, memory and even power consumption. We believe that a large part of hardware modeling can be done automatically. This would relieve people from the tiresome task of doing it by hand. Our first contribution is a set of performance models for the on-core part of several different CPUs. This part of an architecture model is called the computational model. The computational model targeting the Intel SCC chip also includes a power model allowing for power aware performance optimization. Our other main contribution is an auto-tuned memory hierarchy model for general purpose CPUs able to i) predict performance of memory bound computations, ii) provide programmer with programming guidelines to improve software memory behavior.

Les retraites peuvent-elles être sécurisées ? Est-il possible de revendiquer des droits acquis immuables ? Quels sont les procédés mobilisables pour assurer la sécurité juridique des travailleurs et anciens travailleurs à l’égard de leurs retraites ? S’appliquent-ils de la même façon pour tous les niveaux (base, complémentaire, supplémentaire) ? Ces questions émergent parce que les retraites sont constamment exposées à des changements normatifs, conjoncturels ou personnels susceptibles de les altérer. Le principe de l’intangibilité des pensions liquidées, créé par la jurisprudence, bénéficie d’un poids juridique, politique et doctrinal remarquable. Il invite à aborder la recherche sous le prisme de la liquidation, c’est-à-dire en tenant compte du calcul du montant de la pension notifié par les caisses de retraite, et qui symbolise l’entrée en jouissance de cette prestation. Cette opération est effectivement une étape essentielle pour mesurer le degré de sécurisation. Le droit à pension en constitution est instable, perméable à des réformes pouvant le dégrader. À l’inverse, une fois la pension liquidée, la jurisprudence recourt à des mécanismes juridiques parfois innovants afin de la préserver. Mais la liquidation se révèle en certains cas étrangère au processus de sécurisation. Les retraites peuvent être sécurisées indépendamment de leur liquidation. Le droit positif est de plus en plus sensible aux fragilités d’un parcours professionnel susceptibles de perturber les retraites en constitution. Parallèlement, la liquidation ne saurait offrir aux retraites une sécurisation aboutie. Cette dernière dépend, sur bien des aspects, du contexte conjoncturel qui les entoure / Can pensions be secured ? May we claim immutable acquired rights ? What are the processes that can be used to ensure the legal security of workers and former workers concerning their pensions ? Do they apply the same level of legal security to each different pension plans, basic (guaranteed and redistributed by the state), supplementary (to complement the basic one) and special (voluntary basis) ? These issues emerge because pensions are constantly exposed to normative, cyclical or personal changes that may alter them. The principle of the inviolability of the liquidated pensions, created by the jurisprudence, benefit from an incredible impact legal, political and doctrinal important. It invites the research under the prism of the liquidation, considering the calculation of the amount pension notified by the pension funds, and which symbolizes the entry into the use of this benefit. This operation is indeed an essential step to measure the degree of security. The right to a pension is, in fact, unstable, permeable to reforms that can degrade it. Conversely, once the pension is liquidated, the jurisprudence uses sometimes innovative legal mechanisms to preserve it. But in some cases, liquidation does not have anything to do with the process of securing the pensions. They can be secured independently of their liquidation. Positive law is more and more sensitive to the weaknesses of a professional career that may disrupt the pensions that are being set up. At the same time, liquidation would not be able to offer to the pensions a complete security which depends in many ways, on the cyclical context surrounding them