Annonce

annonce@lrde.epita.fr

565 discussions

by Didier Verna

Hello, the first public version (1.0) of RT for Emacs Lisp has just been released. This is an Emacs Lisp port of the original Common Lisp regression testing package. Grab it here: http://www.lrde.epita.fr/~didier/software/xemacs.php?rt -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

15 years, 3 months

[CfP] 7th European Lisp Workshop, June 21/22 2010, Maribor, Slovenia

by Didier Verna

+------------------------------------------------------------+ | CALL FOR PAPERS | | 7th European Lisp Workshop | | June 21/22, Maribor, Slovenia - co-located with ECOOP 2010 | +------------------------------------------------------------+ Important Dates =============== Submission deadline: April 19, 2010 Notification of acceptance: May 05, 2010 ECOOP early registration deadline: May 10, 2010 7th European Lisp Workshop: June 21 or 22, 2010 (tbdl) Please note that registration must be done with ECOOP itself. For more information visit http://www.european-lisp-workshop.org Contact: Didier Verna, didier(a)lrde.epita.fr Invited Speaker =============== Manuel Serrano (INRIA, France) http://www-sop.inria.fr/members/Manuel.Serrano/ Overview ======== "...Please don't assume Lisp is only useful for Animation and Graphics, AI, Bio-informatics, B2B and E-Commerce, Data Mining, EDA/Semiconductor applications, Expert Systems, Finance, Intelligent Agents, Knowledge Management, Mechanical CAD, Modeling and Simulation, Natural Language, Optimization, Research, Risk Analysis, Scheduling, Telecom, and Web Authoring just because these are the only things they happened to list." -- Kent Pitman Lisp, one of the eldest computer languages still in use today, is gaining momentum again. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch, making it the ideal candidate for writing Domain Specific Languages. Common Lisp, with the Common Lisp Object System (CLOS), was the first object-oriented programming language to receive an ANSI standard and remains the most complete and advanced object system of any programming language, while influencing many other object-oriented programming languages that followed. This workshop will address the near-future role of Lisp-based languages in research, industry and education. We solicit contributions that discuss the opportunities Lisp provides to capture and enhance the possibilities in software engineering. We want to promote lively discussion between researchers proposing new approaches and practitioners reporting on their experience with the strengths and limitations of current Lisp technologies. The workshop will have two components: there will be formal talks, and interactive turorial/demo/coding sessions. Papers ====== Formal presentations in the workshop should take between 20 minutes and half an hour; additional time will be given for questions and answers. Suggested topics include (but are not limited to): - Context-, aspect-, domain-oriented and generative programming - Macro-, reflective-, meta- and/or rule-based development approaches - Protocol meta-programming and libraries - New language features and abstractions - Software evolution - Development aids - Persistent systems - Dynamic optimization - Implementation techniques - Hardware Support - Efficiency, distribution and parallel programming - Educational approaches and perspectives - Experience reports and case studies Interactive Tutorial/Demo/Coding Sessions ========================================= Additionally, we invite less formal talks in the form of interactive tutorial/demo/coding sessions. The purpose of these sessions is both to demonstrate and receive feedback on any interesting Lisp system, either stable or under development. Being less formal than technical paper presentations, these sessions are expected to be highly interactive. Submission Guidelines ===================== Potential contributors are encouraged to submit: - a long paper (around 10 pages) presenting scientific and/or empirical results about Lisp-based uses or new approaches for software engineering purposes, - a short essay (5 pages) defending a position about where research, practice or education based on Lisp should be heading in the near future, - a proposal for an interactive tutorial/demo/coding session (1-2 pages) describing the involved library or application, and the subject of the session. Papers (both long and short) should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms (see below). Authors will later be required to sign an ACM copyright form, as the workshop proceedings will be published in the ACM Digital Library. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates http://www.acm.org/about/class/1998 Submissions should be uploaded to Easy Chair, at the following address: http://www.easychair.org/conferences/?conf=elw2010 Organizers ========== Didier Verna, EPITA Research and Development Laboratory, Paris Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Robert Strandh, LaBRI, University of Bordeaux 1, France Christophe Rhodes, Goldsmiths College, University of London -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

15 years, 3 months

Spot 0.5 has been released

by Alexandre Duret-Lutz

We're pleased to announce the release of Spot 0.5. Spot is a model-checking library developed collaboratively by LRDE and LIP6. It provides algorithms and data structures to implement the automata-theoretic approach to LTL model checking. This release includes more than two year of work, with contributions from Damien Lefortier, Guillaume Sadegh, Félix Abecassis, and Alexandre Duret-Lutz. We would also like to thank Akim Demaille, Denis Poitrenaud, and Kristin Y. Rozier for their bug reports and help. You can find the new release here: http://spot.lip6.fr/dl/spot-0.5.tar.gz Before listing what is new in this release, let me mention that we have setup two mailing lists so you can stay informed, or discuss spot: - <spot-announce(a)lrde.epita.fr> is read-only and will be used to announce new releases. You may subscribe at https://www.lrde.epita.fr/mailman/listinfo/spot-announce - <spot(a)lrde.epita.fr> can be used to discuss anything related to Spot. You may subscribe at https://www.lrde.epita.fr/mailman/listinfo/spot-announce What is new in spot 0.5 (2010-02-01): * Two new LTL translations have been implemented: - eltl_to_tgba_lacim() is a symbolic translation for ELTL based on Couvreur's LaCIM'00 paper. For this translation (available with ltl2tgba's option -le), all operators are described as finite automata. A default set of operators is provided for LTL (option -lo) and user may add more automaton operators. - ltl_to_taa() is a translation based on Tauriainen's PhD thesis. LTL is translated to "self-loop" alternating automata and then to Transition-based Generalized Automata. (ltl2tgba's option -taa). The "Couvreur/FM" translation remains the best LTL translation available in Spot. * The data structures used to represent LTL formulae have been overhauled, and it resulted in a big performence improvement (in time and memory consumption) for the LTL translation. * Two complementation algorithms for state-based Büchi automata have been implemented: - tgba_kv_complement is an on-the-fly implementation of the Kupferman-Vardi construction (TCS'05) for generalized acceptance conditions. - tgba_safra_complement is an implementation of Safra's complementation. This algorithm takes a degeneralized Büchi automaton as input, but our implementation for the Streett->Büchi step will produce a generalized automaton in the end. * ltl2tgba has gained several options and the help text has been reorganized. Please run src/tgbatest/ltl2tgba without arguments for details. Couvreur/FM is now the default translation. * The ltl2tgba.py CGI script can now run standalone. It also offers the Tauriainen/TAA translation, and some options for SCC-based reductions. * Automata using BDD-encoded transitions relation can now be pruned for useless states symbolically using the delete_unaccepting_scc() function. This is ltl2tgba's -R3b option. * The SCC-based simplification (ltl2tgba's -R3 option) has been rewritten and improved. * The "*" symbol, previously parsed as a synonym for "&" is no longer recognized. This makes room for an upcoming support of rational operators. * More benchmarks in the bench/ directory: - gspn-ssp/ some benchmarks published at ACSD'07, - ltlcounter/ translation of a class of LTL formulae used by Rozier & Vardi at SPIN'07 - scc-stats/ SCC statistics after translation of LTL formulae - split-product/ parallelizing gain after splitting LTL automata * An experimental Kripke interface has been developed to simplify the integration of third party tools that do not use acceptance conditions and that have label on states instead of transitions. This interface has not been used yet. * Experimental interface with the Nips virtual machine. It is not very useful as Spot isn't able to retrieve any property information from the model. This will just check assertions. * Distribution: - The Boost C++ library is now required. - Update to Autoconf 2.65, Automake 1.11.1, Libtool 2.2.6b, Bison 2.4.1, and Swig 1.3.40. - Thanks to the newest Automake, "make check" will now run in parallel if you use "make -j2 check" or more. * Bug fixes: - Disable warnings from the garbage collection of BuDDy, it could break the standard output of ltl2tgba. - Fix several C++ constructs to ensure Spot will build with GCC 4.3, 4.4, and older 3.x releases, as well as with Intel's ICC compiler. - A very old bug in the hash function for LTL formulae caused Spot to sometimes (but very rarely) consider two different LTL formulae as equal. -- Alexandre Duret-Lutz -- Alexandre Duret-Lutz

15 years, 4 months

[Séminaire des étudiants CSI] mercredi 6 janvier 2010 - Amphi Masters

by Daniela Becker

Bonjour, nous avons le plaisir de vous inviter au séminaire des étudiants du LRDE. Il aura lieu demain, mercredi 6 janvier 2010 à 14 heures en Amphi Masters (KB). ----------------------------------------------------------------------- Au programme: *Vaucanson, Spot, Transformers et Compilateur Tiger* https://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/Seminar-2010-01-06 VAUCANSON * 14h00 : Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée -- Jérôme Galtier * 14h30 : Adaptation d’algorithmes de Vaucanson à une interface plus simple – Florent d'Halluin SPOT * 15h00 : Nouvelle traduction de LTL en TGBA dans Spot –- Damien Lefortier * 15h30 : La complémentation d’automates de Büchi à travers des automates alternants –- Guillaume Sadegh TRANSFORMERS * 16h15 : Étude et analyse de l’écriture d’extensions du C++ grâce à Transformers –- Vincent Ordy COMPILATEUR TIGER * 16h45 : Intégration de techniques de parallélisation dans le compilateur Tiger –- Warren Seine ----------------------------------------------------------------------- Les Résumés des exposés : ************************** VAUCANSON * 14h00 : Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée –- Jérôme Galtier La conception des automates dans Vaucanson occupe une place centrale concernant la généricité de la bibliothèque. Nous voulons pouvoir étendre cette modélisation pour supporter de nouveaux types et spécialiser des comportements afin d’améliorer les performances. L’introduction récente du concept de kind à la bibliothèque ainsi que la définition d’une nouvelle interface des automates ont pour objectif de rationaliser les structures de données déjà présentes dans Vaucanson, comme les graphes utilisant Boost Multi Index. Le kind d’un automate est le type d’étiquettes qu’il porte sur ses transitions, une lettre ou un mot par exemple. L’utilisateur peut alors, à travers une hiérarchie d’itérateurs respectant la nouvelle interface, itérer de manière efficace sur les transitions portant une occurrence de ce kind spécifié comme prédicat (itérer sur les transitions portant la lettre a par exemple). Le gain est visible car l’utilisateur était contraint d’itérer sur le support d’un polynôme avant ces améliorations. * 14h30 : Adaptation d’algorithmes de Vaucanson à une interface plus simple –- Florent d'Halluin Vaucanson est une bibliothèque C++ de manipulation d’automates finis. Le feedback utilisateur montre que Vaucanson est lent et que l’interface de la bibliothèque qui permet de manipuler les automates directement est complexe. Pour améliorer Vaucanson, l’équipe de développement met en place une interface simplifiée sur la structure de données Automata et réinstaure une modélisation saine de l’implémentation sous-jacente. Une conséquence de ces changements est que les algorithmes disponibles dans Vaucanson doivent être adaptés à la nouvelle interface. L’adaptation de ces algorithmes donne l’opportunité d’étudier l’impact des changements récents sur les performances et l’accessibilité de Vaucanson. Grâce à la simplicité de la nouvelle interface, les optimisations possibles deviennent plus visibles. SPOT * 15h00 : Nouvelle traduction de LTL en TGBA dans Spot –- Damien Lefortier Spot est une bibliothèque de model checking centrée sur l’approche automate et qui permet de vérifier des propriétés exprimées en logique temporelle à temps linéaire (LTL) sur des modèles représentés par des automates de Büchi généralisés basés sur les transitions (TGBA). Spot propose actuellement trois algorithmes pour traduire des formules LTL en TGBA, une des étapes principales de l’approche automate. Nous présentons une quatrième traduction, introduite par Tauriainen, qui utilise des automates alternants basés sur les transitions (TAA) comme représentation intermédiaire. Nous le comparerons ensuite aux trois algorithmes déjà présents dans Spot. * 15h30 : La complémentation d’automates de Büchi à travers des automates alternants –- Guillaume Sadegh Le model checking est un domaine de la vérification formelle, qui permet de vérifier le comportement d’un système avec l’aide de formules logiques temporelles. Spot est une bibliothèque de model checking qui repose sur une des techniques du domaine : l’approche automate. Dans cette approche du model checking, le système et les formules sont représentés sous forme d’automates acceptant des mots de longueur infinie, et plus particulièrement des automates de Büchi. Spot propose de nombreux algorithmes aux utilisateurs de la bibliothèque pour manipuler ce type d’automates, en vue d’applications au model checking. Une opération sur ces automates a récemment été ajoutée dans Spot : la complémentation. La recherche d’algorithmes effectuant cette opération est toujours d’actualité puisqu’il n’existe toujours pas d’algorithme atteignant les bornes théoriques optimales. Nous présenterons deux algorithmes récents de complémentation que nous venons d’ajouter dans Spot, qui se basent sur des automates alternants. TRANSFORMERS * 16h15 : Étude et analyse de l’écriture d’extensions du C++ grâce à Transformers –- Vincent Ordy Le projet Transformers permet de faire de la transformation source à source pour les languages C et C++. Le but est de pouvoir effectuer une analyse syntaxique d’un langage d’entrée, du C ou C++ étendu pour accepter de nouveaux éléments syntaxiques, qui seront ensuite transformés en C/C++ standard de la même manière que « C avec classes », ancêtre du C++, était d’abord transformé en C avant d’être compilé. Nous allons expliquer comment écrire une extension de la grammaire du C++ grâce au projet Transformers puis transformer le code étendu en code standard, en nous appuyant sur des exemples d’extensions déjà écrites (ContractC++, class-namespaces). Nous montrerons les avantages et inconvénients des technologies utilisées par Transformers comme les grammaires attribuées. COMPILATEUR TIGER * 16h45 : Intégration de techniques de parallélisation dans le compilateur Tiger –- Warren Seine Tiger est un langage utilisé à des fins pédagogiques dans l’étude des compilateurs. Écrite en C++, notre implémentation d’un compilateur Tiger profite de techniques éprouvées dans la transformation de programmes. L’ère du multi-coeur a rendu la parallélisation indispensable dans le cursus d’un étudiant en informatique. Utilisé comme support de cours, notre compilateur doit évoluer et tirer profit des nouvelles techniques de parallélisme. Ce rapport présente une solution pour distribuer le travail au sein d’un modèle de programmation concurrente par tâche. Nous utiliserons Intel Threading Building Blocks pour nous détacher des problématiques matérielles. -- Daniela Becker

15 years, 5 months

New journal publication

by Didier Verna

Hello ! I'm happy to announce a new publication, to appear in the JUCS journal, volume 15 (next issue). The details of the paper are given below: Title: REVISITING THE VISITOR: THE JUST DO IT PATTERN Author: Didier Verna Abstract: While software design patterns are a generally useful concept, they are often (and mistakenly) seen as ready-made universal recipes for solving common problems. In a way, the danger is that programmers stop thinking about their actual problem, and start looking for pre-cooked solutions in some design pattern book instead. What people usually forget about design patterns is that the underlying programming language plays a major role in the exact shape such or such pattern will have on the surface. The purpose of this paper is twofold: we show why design pattern expression is intimately linked to the expressiveness of the programming language in use, and we also demonstrate how a blind application of them can in fact lead to very poorly designed code. -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

15 years, 5 months

Séminaire Performance et Généricité du LRDE le 2 décembre 2009

by Daniela Becker

Bonjour, La prochaine session du séminaire Performance et Généricité du LRDE (Laboratoire de Recherche et Développement de l'EPITA) aura lieu le Mercredi 2 décembre 2009 (14h-16h30) en Amphi 4, KB. Au programme : Le processeur CELL : architecture et programmation -- Jean-Luc Lamotte Le processeur CELL BE développé par le consortium IBM, Sony et Toshiba a eu un impact important dans le monde du calcul scientifique mais aussi dans le monde du jeu. Il est le processeur de base de la première machine à avoir atteint 1 Pflops et aussi celui de la Play Station 3 de Sony. Pour arriver à ce niveau de performance, il intègre 9 coeurs hétérogènes interconnectés par un bus. Le coeur principal (PPE) appartient à la famille des PowerPC. Les 8 autres coeurs (SPE) sont spécialisés pour le calcul. Après une présentation détaillée de l'architecture du processeur, nous développerons son mode de la programmation : lancement de threads de calcul sur les SPE, échange de données, programmation SIMD. Jean-Luc Lamotte est professeur à l'université P. et M. Curie (UPMC). Ses travaux de recherche au sein du laboratoire d'informatique de Paris 6 (LIP6) dans l'équipe PEQUAN (PErformance et QUalité des Algorithmes Numériques) du département CALSCI (calcul scientifique) portent sur le calcul haute performance en intégrant la vitesse de calcul, mais aussi la qualité numérique des résultats obtenus. Il enseigne notamment le parallélisme dans la spécialité SAR du master d'informatique de l'UPMC. http://www-pequan.lip6.fr/~lamotte/ La méthode multipôle rapide sur le processeur Cell : calcul du champ proche -- Pierre Fortin La méthode multipôle rapide (Fast Multipole Method, FMM) permet de résoudre en temps linéaire le problème à N-corps, en astrophysique ou en dynamique moléculaire par exemple. Nous présentons ici l'implémentation sur le processeur Cell du calcul du champ proche de la FMM, ce qui constitue un premier pas vers une implémentation complète de la FMM sur ce processeur. Nous détaillerons les problèmes rencontrés, au niveau de l'architecture comme au niveau de l'algorithmique, ainsi que les diverses optimisations mises en place. Notre implémentation permet de calculer jusqu'à 8,5 milliards d'interactions par seconde (115,8 Gflop/s) sur un processeur Cell, et jusqu'à 17 milliards d'interactions par seconde sur un IBM QS20 (230,4 Gflop/s), pour des distributions uniformes ou non uniformes de particules. Pierre Fortin est maître de conférences à l'Université Pierre et Marie Curie dans l'équipe PEQUAN (LIP6) depuis deux ans. Ses travaux de recherche portent sur le calcul scientifique parallèle haute performance et sur les simulations numériques pour le problème à N-corps. Depuis septembre 2009, il est responsable de l'option "Calcul Intensif sur Nouvelles Architectures Parallèles" à Polytech'Paris-UPMC. http://www-pequan.lip6.fr/~fortin/ -- Daniela Becker

15 years, 6 months

Séminaire Performance et Généricité du LRDE le 21 octobre 2009

by Daniela Becker

Bonjour, La prochaine session du séminaire Performance et Généricité du LRDE (Laboratoire de Recherche et Développement de l'EPITA) aura lieu le Mercredi 21 octobre 2009 (14h-16h). Au programme: * 14h: CImg et G'MIC : Boites à outils libres pour le traitement d'images à différents niveaux -- David Tschumperlé, GREYC Uni Caen. http://www.greyc.ensicaen.fr/~dtschump/ Malgré la grande variété des types de données que l'on rencontre dans le domaine du traitement d'images (1D,2D,3D, scalaires, couleurs, multi-spectrales, séquences, etc...), nous sommes souvent amenés à appliquer des algorithmes très classiques, ou des variations de ces algorithmes, pour le pré-traitement, l'analyse ou la visualisation de ces données images. Par conséquent, les logiciels et les bibliothèques que nous utilisons dans notre recherche quotidienne, devraient également être génériques, afin de s'adapter le mieux possible aux données à traiter. Dans ce séminaire, je présenterai quelques outils développés dans cette optique (au laboratoire GREYC, équipe IMAGE), qui possèdent différents niveaux d'utilisations. Je commencerai tout d'abord par présenter CImg, une bibliothèque C++ "template" (donc générique par nature), qui a pour but de faciliter l'implémentation d'algorithmes de traitements d'images personnalisés. Puis, j'introduirai G'MIC, un langage de script reprenant la plupart des éléments de CImg, qui est dédié au traitement et à l'analyse d'images "de tous les jours". J'essaierai de montrer comment ces différents outils indépendants sont organisés et comment ils cherchent à aider le chercheur ou le programmeur en traitement d'images, autant d'un point de vue programmation pure que d'un point de vue plus haut niveau. -- David Tschumperlé est chargé de recherche CNRS, travaillant dans l'équipe IMAGE du GREYC, depuis 2004. Il s'intéresse principalement aux méthodes variationnelles et EDP pour le traitement d'images local et/ou non-local. Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/. L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette information le plus largement possible. -- Daniela Becker

15 years, 7 months

FiXme 4.0 is released

by Didier Verna

Hello, I'm happy to announce the release of FiXme version 4.0. #### WARNING: this is a major release containing many new features and heavy #### internals refactoring. FiXme 4.0 comes with unprecedented flexibiity, #### unrivalled extensibility and unchallenged backward-INcompatibility. What's new in version 4.0 ========================= ** Support for collaborative annotations suggested by Michael Kubovy ** Support for "targeted" notes and environments (highlighting a portion of text), suggested by Mark Edgington. ** Support for "floating" notes (not specific to any portion of text), suggested by Rasmus Villemoes. ** Support for alternate layout autoswitch in TeX's inner mode suggested by Will Robertson. ** Support for automatic language tracking in multilingual documents ** Support for themes ** Extended support for user-provided layouts ** Support for key=value argument syntax in the whole user interface ** New command \fxsetup ** Homogenize log and console messages ** Heavy internals refactoring Description =========== FiXme is a collaborative annotation tool for LaTeX documents. Annotating a document refers here to inserting meta-notes, that is, notes that do not belong to the document itself, but rather to its development or reviewing process. Such notes may involve things of different importance levels, ranging from simple "fix the spelling" flags to critical "this paragraph is a lie" mentions. Annotations like this should be visible during the development or reviewing phase, but should normally disapear in the final version of the document. FiXme is designed to ease and automate the process of managing collaborative annotations, by offering a set of predefined note levels and layouts, the possibility to register multiple note authors, to reference annotations by listing and indexing etc. FiXme is extensible, giving you the possibility to create new layouts or even complete "themes", and also comes with support for AUC-TeX. Grab it directly here: http://www.lrde.epita.fr/~didier/software/latex.php#fixme or wait until it propagates through CTAN... -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

15 years, 8 months

DoX 2.0 is released

by Didier Verna

Hello, I'm happy to announce the release of DoX version 2.0. What's new in this version: * Optional argument to \doxitem * Optional argument to \Describe<Item> and the <Item> environment * Extend \DescribeMacro, \DescribeEnv and their corresponding environments The doc package provides LaTeX developers with means to describe the usage and the definition of new commands and environments. However, there is no simple way to extend this functionality to other items (options or counters for instance). DoX is designed to circumvent this limitation, and provides some improvements over the existing functionality as well. Grab it directly here: http://www.lrde.epita.fr/~didier/software/latex.php#dox or wait until it propagates through CTAN... -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

15 years, 8 months

Séminaire Performance et Généricité du LRDE le Mercredi 30 septembre 2009

by Thierry GERAUD

Chers collègues, La prochaine session du séminaire Performance et Généricité du LRDE (Laboratoire de Recherche et Développement de l'EPITA) aura lieu le Mercredi 30 septembre 2009 (14h-15h30). Au programme: GpuCV: Accélération par processeur graphique pour le traitement d'image et la vision artificielle. -- Yannick Allusse et Patrick Horain http://picoforge.int-evry.fr/projects/gpucv Nous décrirons brièvement l'état de l'art de l'utilisation des processeurs graphiques grand public (GPU) pour accélérer le traitement d'image, et nous en discuterons les limites. Puis, nous décrirons GpuCV, une bibliothèque logicielle libre et multi-plateforme pour accélérer par GPU les opérateurs de traitement d'image et de vision artificielle. GpuCV a été conçue pour être compatible avec la bibliothèque OpenCV et permettre d'intégrer facilement des opérateurs accélérés sur GPU dans des applications développées sur CPU. L'environnement GpuCV gère de façon transparente les caractéristiques du matériel, la synchronisation des données, l'activation à bas niveau des procédures GLSL ou CUDA, l'étalonnage et l'aiguillage vers la mise en oeuvre la plus performante et finalement offre un ensemble d'opérateurs de traiement accélérés par GPU. -- Yannick Allusse est diplômé de l'ISTIA (2005). De 2005 à 2008, il a été ingénieur de recherche à Télécom SudParis et a été le principal développeur de la bibliothèque GpuCV. Ses domaines d'intérêt englobent l'infographie, la réalité virtuelle et le calcul intensif. Il est à présent consultant indépendant en optimisation logicielle. http://www.viadeo.com/fr/profile/yannick.allusse -- Patrick Horain est Docteur-Ingénieur de l'INPG (1984) et enseignant-chercheur à l'Institut Télécom (ex GET) depuis 1986, d'abord à l'ENST puis à l'INT et Télécom SudParis. Ses recherches portent en particulier sur la vision 3D par ordinateur, en particulier pour la perception des personnes pour des applications interactives en réalité virtuelle, et sa mise en oeuvre en temps réel. http://www-public.it-sudparis.eu/~horain Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/. L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette information le plus largement possible.

15 years, 8 months

← Newer
1
...
40
41
42
43
44
45
46
...
57
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Annonce