[Annonce] [Séminaire CSI] : mercredi 06 juin 2007

Bonjour, Vous êtes tous cordialement invités à assister au séminaire qui aura lieu le mercredi 06 juin 2007 à 15 heures en Amphi 2 (KB). ----------------------------------------------------------------------- Le programme : *LISP, OLENA & TRANSFORMERS* http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/Seminar-2007-06-06 LISP 15h00 : Étude de problèmes de performances en C et en Common Lisp -- William Caldwell OLENA 15h30 : Olena, comme les autres ? -- Thierry Geraud 16h00 : Génie logiciel au coeur d'Olena -- Nicolas Ballas 16h30 : Canevas d'algorithmes morphologiques -- Ugo Jardonnet 17h15 : Étude comparative de Concept C++ et perspective d'intégration dans SCOOP -- Alexandre Abraham TRANSFORMERS 17h45 : SCOOL, orientation objet d'un langage statique -- Maxime Van Noppen 18h15 : Aide à la manipulation des grammaires attribuées -- Florian Quèze ----------------------------------------------------------------------- Les Résumés des exposés : ************************** LISP Étude de problèmes de performances en C et en Common Lisp -- William Caldwell Dans son article "Beating C in Scientific Computing Applications", Didier Verna a laissé un certain nombre de questions en suspens. Notre but est de chercher des explications aux performances inattendues en C et en Common Lisp concernant l'inlining et les algorithmes d'assignation et de division. Ce travail vise à trouver des explications à des résultats expérimentaux exposés dans l'article. OLENA Olena, comme les autres ? -- Thierry Geraud Si, d'un point de vue lointain, toutes les bibliothèques de traitement d'images se ressemblent, elles n'ont néanmoins pas été pensées avec les mêmes objectifs et, par conséquent, ne partagent pas le même ensemble de caractéristiques. Cet exposé, non technique, a pour but de présenter les traits principaux qui permettent de définir l'identité de la bibliothèque Olena. Nous expliquerons nos intentions et nous justifierons les options que nous avons choisies, ainsi que les compromis que nous avons dû réaliser. En particulier, nous insisterons sur les aspects originaux de notre démarche qui, d'une part, peuvent permettre à Olena de se distinguer des autres bibliothèques et, d'autre part, peuvent inciter des utilisateurs potentiels à choisir notre bibliothèque. Génie logiciel au coeur d'Olena -- Nicolas Ballas Pour s'assurer de la qualité d'un logiciel et de la facilité de son développement, le génie logiciel définit un certain nombre de critères à respecter. Dans le domaine du traitement d'images, un nombre important de types différents d'images existent. Il est donc difficile de construire une bibliothèque, dédiée à ce domaine, proposant des outils réutilisables, facilement extensibles ou encore compatibles avec des logiciels tiers. Nous verrons comment différentes techniques, issues du paradigme de programmation SCOOP mis en place dans Olena, répondent à ce problème. Enfin nous analyserons des solutions fournies par d'autres bibliothèques de traitement d'images. Canevas d'algorithmes morphologiques -- Ugo Jardonnet Olena est une bibliothèque générique de traitement d'images déve- loppée au LRDE. Elle propose un grand nombre d'algorithmes mor- phologiques. La morphologie mathématique, inventée à l'origine pour traiter des images binaires, ore des outils très puissants de traitement et d'analyse d'images. Des similarités apparaissant dans l'écriture des algorithmes, il est possible de classier ces outils et, ainsi, de proposer un certain nombre de "canevas" d'algorithmes. Il s'agit alors d'apporter des solutions d'implémentation non redondante de ces canevas. Celles-ci doivent etre cohérantes avec les notations mathématiques manipulées. A travers une brève initiation à la morphologie mathématique, cet exposé presentera diérents canevas d'algorithmes retenus par Olena. Étude comparative de Concept C++ et perspective d'intégration dans SCOOP -- Alexandre Abraham La fin de cette décennie verra l'avènement de C++0x et avec lui du nouveau paradigme de "concepts". Les concepts fourniront un mé- canisme de typage abstrait pour les types paramétrés ainsi que tout l'équipement d'adaptation des types concrets à ces types abstraits comme le fait actuellement la bibliothèque "Static", composant du projet Olena. Nous ferons donc un comparatif de ces approches en exhibant leurs points forts et faibles ainsi que leurs capacités particulières afin de proposer un support de documentation et une base pour la future intégration des concepts dans le paradigme SCOOP. Les concepts pourraient en effet simplifier l'écriture du code client et enrichir SCOOP de fonctions supplémentaires. TRANSFORMERS SCOOL, orientation objet d'un langage statique -- Maxime Van Noppen SCOOL est un langage statique orienté objet qui a été créé afin de pouvoir utiliser toute la puissance du C++ statique avec une plus grande facilité grâce à une syntaxe plus expressive et agréable. Il n'a pas pour but d'être directement compilé mais d'être traduit en C++ utilisant le paradigme SCOOP. C'est ce paradigme qui va nous permettre d'équiper le C++ des fonctionnalités statiques dont nous avons besoin. Le travail à effectuer s'oriente selon deux axes complémentaires. Le premier axe de travail, plus formel, sera de vérifier, avec les membres d'Olena notemment, que le langage dispose de toute l'expressivité dont ils ont besoin et que sa syntaxe est la plus simple et la plus agréable possible. Le second axe, plus implémentatoire, va être de continuer l'implémentation du traducteur. Un chantier principal sera ouvert afin d'améliorer la gestion du côté orienté objet du langage. C'est à dire, au moins avoir l'héritage statique ainsi que la possibilité de manipuler des objets aisément. Un travail plus annexe mais non moins important pour le projet sera effectué afin d'améliorer la qualité des messages d'erreurs fournis lors de la phase de traduction afin d'augmenter le confort d'utilisation de l'ensemble. Aide à la manipulation des grammaires attribuées -- Florian Quèze Transformers fournit un ensemble d'outils permettant la désambiguïsation d'arbres produits par l'analyse syntaxique suivant une grammaire ambiguë telle que celle du C++. Le projet Transformers désambiguïse à l'aide de grammaires attribuées. Cependant, nous ne disposons pas actuellement d'outils permettant la compréhension approfondie d'un comportement incorrect des grammaires attribuées. L'objectif de ce travail est de fournir des outils facilitant la manipulation des grammaires attribuées, en offrant des moyens de visualisation agréables pour les développeurs. -- Daniela Becker