Dans ce rapport, nous étudions la complexité
de la certification des aproximations numériques dans le cadre de l'algèbre
linéaire. En effet, le calcul d'un résultat approché et d'une borne d'erreur
certifiant ce résultat peut s'avérer être une bonne alternative à un calcul effectué
en multiprécision. On étudiera les différents résultats obtenus jusqu'a présent
dans ce domaine avant d'étudier un certificat pour la décomposition QR et
son implémentation.
Déploiement générique d'applications sur plates-formes hétérogènes réparties.
By: Benjamin Depardon
Number: Master2007-02
Date: June 2007
Abstract:
Les grilles de calcul sont des systèmes distribués hétérogènes de plus en plus utilisés pour exécuter des applications de calcul
scientifique. Seulement les expériences à large échelle nécessitent
des moyens simples et automatisés pour sélectionner les ressources à
utiliser, puis installer et exécuter les applications afin de rendre
accessible cette puissance de calcul à des utilisateurs non experts en
informatique. Aucun outil ne permet pour l'instant de couvrir
l'intégralité du processus de déploiement, le plus gros manque se
situant au niveau des algorithmes d'attribution de ressources aux
applications. Il est donc indispensable de proposer de nouveaux
algorithmes efficaces. Parmi les logiciels de déploiement Adage est
celui qui s'annonce le plus prometteur. Notre but est de rajouter des
algorithmes de déploiement au sein d'Adage. Le problème que nous
cherchons à résoudre est de trouver un déploiement qui minimise les
communications, répartit la charge de façon équitable entre les
processeurs, et maximise le nombre d'instances des applications
déployées.
Keywords:
Grille de calcul, déploiement, placement, intergiciel, équilibrage de charge.
Functional Graphical User Interfaces - An Implementation based on GTK.
By: Michal Palka
Number: Master2007-04
Date: June 2007
Abstract:
In this report we examine the problem of programming Graphical User Interfaces (GUI) in a manageable way. GUI are an area where traditional, imperative programming techniques lead to very unstructured and error-prone code. Several alternative computation models have been proposed to improve the situation. One of them is the synchronous dataflow model, which has already given rise to a few proof-of-concept toolkits. Our goal is to provide a GUI toolkit based on the synchronous dataflow model and implemented in Haskell programming language. Previous attempts of this kind that were based on imperative GUI toolkits did not support dynamic interfaces. We have overcome this limitation and thus present a functional GUI toolkit based the synchronous model, is implemented on top of GTK, a mainstream GUI toolkit, and which supports creating dynamic user interfaces.
Keywords:
Graphical User Interfaces, Functional programming.
Parallélisation de l'inférence de domaines protéiques.
By: Clément Rezvoy
Number: Master2007-05
Date: June 2007
Abstract:
ProDom est une base de données de
familles de domaines protéiques construite automatiquement par
comparaison de séquences à l'aide de l'algorithme MkDom2. Avec
l'augmentation exponentielle du nombre de séquences connues, le temps de
construction de la base de données Prodom a explosé jusqu'à devenir
impraticable (plus de deux ans de calcul à l'heure actuelle). Cette
étude montre qu'il est possible de répartir efficacement le temps de
calcul de façon à permettre une accélération d'un facteur de plus
de 50 et définit les limites de cette parallélisation imposées par
la nature de l'algorithme MkDom2.
Keywords:
Bioinformatique, Domaines protéiques, Grilles de calcul.
Des Systèmes de Types pour la Terminaison en Concurrence.
By: Romain Demangeon
Number: Master2007-06
Date: June 2007
Abstract:
Dans ce rapport, nous étudions l'utilisation de systèmes de types pour assurer la terminaison de programmes concurrents. Le formalisme utilisé est celui du pi-calcul. Le rapport se base sur un article de Deng et Sangiorgi. La complexité et l'expressivité des systèmes existants sont discutées, de nouveaux systèmes sont explicités, permettant d'affiner l'analyse et donc de typer plus de processus.
Keywords:
Algebre de processus, Terminaison, Pi-calcul, Systeme de Types.
World's climate is currently changing as an effect of the increase of the greenhouse gases in the atmosphere which will induce climate fluctuations for the years to come. For a proper study of the incoming changes, scientists perform numerical simulations using general circulation models of a climate system. During this stage, we have analyzed such a climate application (provided by CERFACS) with the goal of identifying its needs in terms of execution model, data access patterns, computing needs, and deriving a general model. We have provided scheduling heuristics adapted to the specific application as well as generic heuristics suitable for generalized applications with the same dependence graph.
