January 2011 - Annonce

[Seminaire-LRDE] Séminaire Performance et Généricité du LRDE le Mercredi 9 février 2011
by Jonathan Fabrizio 31 Jan '11

31 Jan '11

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 9 février 2011 (14h-16h). Au programme: * 14h: Principes et Pratiques de la Programmation Concurrente en pi-calcul -- Frédéric Peschanski Nous étudions la problématique du mélange de paradigmes de programmation variés plongés dans un environnement concurrent. Dans cette perspective, nous poursuivons un cheminement similaire à celui qui conduit du lambda-calcul aux langages fonctionnels, mais en prenant comme point de départ le pi-calcul. Nous proposons la machine abstraite des pi-threads dont la principale originalité est l’absence de pile d’exécution. Cette caractéristique permet de nous reposer dans nos implémentations sur des algorithmes simples et naturellement concurrents, notamment pour ce qui concerne l’ordonnancement et le ramasse-miettes. Pour ce dernier, nous proposons un algorithme permettant de récupérer très simplement les cycles de processus en interblocage et autres structures bloquantes. -- Frédéric Peschanski est Maître de Conférences à l'Université Pierre et Marie Curie. Il effectue ses recherches au sein du laboratoire d'informatique de Paris 6, dans l'équipe APR (algo-prog). Il étudie essentiellement les langages de programmation avec comme leitmotiv la théorie mise en pratique (et vice-versa). 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. _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://www.lrde.epita.fr/mailman/listinfo/seminaire

1 0

paper accepted for IEEE-ICASSP 2011
by Reda Dehak 24 Jan '11

24 Jan '11

Hello, I'm happy to inform you that our manuscript "A Channel-Blind System for Speaker Verification" has been accepted for presentation in a lecture session at the IEEE-ICASSP conference (http://www.icassp2011.com) The presentation should be on Thursday, May 26, 09:30 - 11:30. -- Réda DEHAK tel : +33 (0)1 44 08 01 86 mailto : reda.dehak(a)lrde.epita.fr LRDE - EPITA 14-16, rue Voltaire F-94270 Le Kremlin Bicêtre cedex France

1 0

[Séminaire des étudiants CSI] mercredi 19 janvier 2011 - Amphi 4
by Daniela Becker 13 Jan '11

13 Jan '11

Bonjour, nous avons le plaisir de vous inviter au séminaire des étudiants du LRDE. Il aura lieu le mercredi 19 janvier 2011 à 14 heures en Amphi 4 (KB). ------------------------------------------------------------------ Au programme: *OLENA, VAUCANSON, CLIMB et SPOT* http://publis.lrde.epita.fr/Seminar-2011-01-19 OLENA *14h00 : Un algorithme rapide pour l’arbre auto-dual -- Edwin Carlinet VAUCANSON *14h30 : Mécanique de Vaucanson 2.0 -- Alex Hamelin CLIMB *15h15 : Concevoir l’interface d’une bibliothèque générique en Common Lisp -- Loïc Denuzière SPOT *15h45 : Model Checking LTL utilisant des automates Testeurs -- Ala-Eddine Ben-Salem ----------------------------------------------------------------------- Les Résumés des exposés : ************************** OLENA - TRAITEMENT D’IMAGES GÉNÉRIQUE ET PERFORMANT 14h00 : Un algorithme rapide pour l’arbre auto-dual -- Edwin Carlinet Ces dernières années, les opérateurs connectés ont gagné une certaine popularité dans le domaine du traitement d’images, ils ont en effet été largement utilisés dans le cadre de filtrage, de segmentation, de détection d’objets. . . Néanmoins, plusieurs défauts ont été mis en évidence, le plus important étant la dépendance au contraste, on ne peut que détecter soit les objets clairs, soit les objets foncés. Les opérateurs auto-duaux permettent d’opérer sur les objets clairs et foncés à la fois et ne souffrent donc pas du défaut des opérateurs connectés classiques. En revanche, les opérateurs auto-duaux sont plus difficiles à mettre en place et les algorithmes actuellement disponibles sont coûteux en temps de calcul. Nous proposons un nouvel algorithme pour calculer les opérateurs auto-duaux basés sur l’union-find de Tarjan ; celui-ci offrant de meilleures performances que l’algorithme d’arbres de contours à l’état de l’art. VAUCANSON - BIBLIOTHÈQUE DE MANIPULATION D’AUTOMATES 14h30 : Mécanique de Vaucanson 2.0 -- Alex Hamelin Vaucanson est une plateforme de manipulation d’automates finis et de transducteurs dont l’interface s’est montrée trop complexe. Pendant les deux dernières années, des travaux ont été entrepris afin d’introduire le concept de kind d’un automate dans la bibliothèque. Afin d’y arriver, l’interface fut refaite ainsi que la mécanique interne de Vaucanson. Ceci amena plusieurs changements dans les structures de données, les algorithmes et la définition de l’interface. Nous exposerons ces modifications tout en mettant en avant les divers pièges qu’un développeur pourrait rencontrer en travaillant dans le coeur de la bibliothèque. Ce travail pourra amener à des mesures de performances entre Vaucanson 2.0 et la dernière version stable de la bibliothèque. CLIMB - TRAITEMENT D’IMAGES EN LISP 15h15 : Concevoir l’interface d’une bibliothèque générique en Common Lisp -- Loïc Denuzière Climb est une bibliothèque de traitement d’images générique. Elle est implémentée en Common Lisp et vise un dynamisme et une facilité d’utilisation maximaux. Dans ce but, l’interface utilisateur doit être à la fois suffisamment puissante pour ne pas cacher certaines fonctionnalités de la bibliothèque sous-jacente, et intuitive pour l’utilisateur. La difficulté est de créer une interface faisant un minimum de compromis entre ces caractéristiques, tout en restant suffisamment extensible pour les garder quand la bibliothèque évolue. Après quelques rappels sur le design générique de Climb, nous présentons les modifications que nous avons apportées à l’interface existante pour améliorer son utilisabilité sans restreindre ses capacités. SPOT - BIBLIOTHEQUE DE MODEL CHECKING 15h45 : : Model Checking LTL utilisant des automates Testeurs -- Ala-Eddine Ben-Salem Spot est une bibliothèque C++ de model checking basée sur l'approche automate, et utilisant des automates de Büchi. Le problème principal de cette approche est l’explosion de l’espace d’états à explorer. Afin de réduire la taille des automates représentant l’espace d’états, nous avons implémenté dans Spot une solution qui utilise des automates Testeurs à la place des automates de Büchi. Nous présenterons les différentes étapes de construction d'un automate Testeur à partir d'un automate de Büchi. Ensuite, nous détaillerons les algorithmes de vérification manipulant des automates Testeurs. ------------------------------------------------------------------- Daniela Becker

1 0

[CfP] European Lisp Symposium deadline extension
by Didier Verna 10 Jan '11

10 Jan '11

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 4th European Lisp Symposium Special Focus on Parallelism & Efficiency March 31 - April 1st, 2011 TUHH, Hamburg University of Technology Hamburg, Germany http://www.european-lisp-symposium.org/ Sponsored by EPITA, Lispworks, Franz Inc. and Nova Sparks ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Important Dates ~~~~~~~~~~~~~~~~ + Submission Deadline: January 16, 2011 --- EXTENDED + Author Notification: February 06, 2011 + Final Paper Due: February 28, 2011 + Symposium: March 31 - April 1st, 2011 Authors of accepted research contributions will be invited to submit an extended version of their papers for journal publication. Invited Speakers: ~~~~~~~~~~~~~~~~~ Marc Battyani (Nova Sparks) Craig Zilles (University of Illinois) Scope ~~~~~~ The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL and so on. We encourage everyone interested in Lisp to participate. The European Lisp Symposium 2011 invites high quality papers about novel research results, insights and lessons learned from practical applications, and educational perspectives. We also encourage submissions about known ideas as long as they are presented in a new setting and/or in a highly elegant way. This year's focus will be directed towards "Parallelism & Efficiency". We especially invite submissions in the following areas: + Parallel and distributed computing + Code generation for multi-core architectures + Code generation for HTM + Large and ultra-large systems + Optimization techniques + Embedded applications Contributions are also welcome in other areas, including but not limited to: + Context-, aspect-, domain-oriented and generative programming + Macro-, reflective-, meta- and/or rule-based development approaches + Language design and implementation + Language integration, inter-operation and deployment + Development methodologies, support and environments + Educational approaches and perspectives + Experience reports and case studies Technical Program: ~~~~~~~~~~~~~~~~~~ We invite submissions in the following forms: * Papers: Technical papers of up to 15 pages that describe original results or explain known ideas in new and elegant ways. * Demonstrations: Abstracts of up to 4 pages for demonstrations of tools, libraries, and applications. * Tutorials: Abstracts of up to 4 pages for in-depth presentations about topics of special interest for at least 90 minutes and up to 180 minutes. * Lightning talks: Abstracts of up to one page for talks to last for no more than 5 minutes. All submissions should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms. 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=els2011 Programme Chair ~~~~~~~~~~~~~~~~ Didier Verna - EPITA Research and Development Laboratory, France Local Chair ~~~~~~~~~~~~ Ralf Moeller - Hamburg University of Technology, Germany Programme Committee ~~~~~~~~~~~~~~~~~~~~ Antonio Leitao - Instituto Superior Tecnico/INESC-ID, Portugal Christophe Rhodes - Goldsmiths College, University of London, UK David Edgar Liebke - Relevance Inc., USA Didier Verna - EPITA Research and Development Laboratory, France Henry Lieberman - MIT Media Laboratory, USA Jay McCarthy - Brigham Young University, USA Jose Luis Ruiz Reina - Universidad de Sevilla, Spain Marco Antoniotti - Universita Milano Bicocca, Italy Manuel Serrano - INRIA, France Michael Sperber - DeinProgramm, Germany Pascal Costanza - Vrije Universiteit of Brussel, Belgium Scott McKay - ITA Software, USA -- 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

1 0