Logichart: A Prolog Program Diagram and its Layout

Abstract: The layout of Logichart diagrams is first discussed. The layout condition is formalized with a layout constraint (expressions of equalities and inequalities) of tree-structured diagrams. Next, a cell placement that gives the minimum-area layout under a specific layout constraint is presented. A Logichart attribute graph grammar is then formalized. This grammar is underlain by a neighborhood controlled embedding (NCE) graph grammar whose productions are defined in order to formalize the graph-syntax rules of Logichart diagrams. Semantic rules attached to the grammar's productions are defined in such a way that they can extract the layout information needed to display a Logichart diagram by means of the attributes attached to the nodes of the graphs derived by the grammar. The semantic rules are formalized so as to obtain the Logichart diagrams of the minimum area under the above layout constraint

Algorithmique hiérarchique parallèle haute performance pour les problèmes à N-corps

Cette thèse porte sur la méthode dite « méthode multipôle rapide » qui résout hiérarchiquement le problème à N-corps avec une complexité linéaire pour n'importe quelle précision. Dans le cadre de l'équation de Laplace, nous souhaitons pouvoir traiter efficacement toutes les distributions de particules rencontrées en astrophysique et en dynamique moléculaire. Nous étudions tout d'abord deux expressions distinctes du principal opérateur (« multipôle-to-local ») ainsi que les bornes d'erreur associées. Pour ces deux expressions, nous présentons une formulation matricielle dont l'implémentation avec des routines BLAS (Basic Linear Algebra Subprograms) permet d'améliorer fortement l'efficacité de calcul. Dans la gamme de précisions qui nous intéresse, cette approche se révèle plus performante que les améliorations existantes (FFT, rotations et ondes planes), pour des distributions uniformes ou non. Outre une nouvelle structure de données pour l'octree sous-jacent et des contributions algorithmiques à la version adaptative, nous avons aussi efficacement parallélisé notre méthode en mémoire partagée et en mémoire distribuée. Enfin, des comparaisons avec des codes dédiés justifient l'intérêt de notre code pour des simulations en astrophysique