Chers collègues,
L'édition 2011-2012 du séminaire de recherche du LRDE, consacré
au thème cher à notre laboratoire – Performances et Généricité –
vient de s'achever.
Cette année encore nous avons eu le plaisir d'accueillir des
orateurs de qualité, renommés dans leur domaine. Vous trouverez
ci-dessous une liste thématique des différents exposés. Les
hyperliens vous conduirons non seulement à leur résumé détaillé,
mais également aux planches des exposés, et aux vidéos pour certaines
séances.
Nous remercions chaleureusement les orateurs qui nous ont
honorés de leur présence. Merci également aux visiteurs !
Nous prenons d'ores et déjà rendez-vous pour une reprise à la
rentrée prochaine. N'hésitez pas à nous proposer un exposé,
ou à nous indiquer des orateurs potentiels.
Bonnes vacances à tous,
Akim, pour le Laboratoire de R&D de l'EPITA
* Langages, paradigmes de programmation
=======================================
* GPU Computing : début d'une ère ou fin d'une époque ?
Eric Mahé -- Responsable du projet OpenGPU
http://seminaire.lrde.epita.fr/2012-06-20.php
* Reusable Generic Look Ahead Multithreaded Cache:
A case study for a high resolution player
Guillaume Chatelet -- Ingénieur R&D à Mikros Image
http://seminaire.lrde.epita.fr/2012-03-14.php
* Des performances dans les nuages avec la virtualisation des langages
Yann Régis-Gianas -- Maître de conférence à l'université Paris Diderot
http://seminaire.lrde.epita.fr/2012-02-15.php
* Certification d'annotations de coût dans les compilateurs
Nicolas Ayache -- Post-doc au laboratoire PPS de l'université Paris Diderot
http://seminaire.lrde.epita.fr/2012-02-15.php
* Pourquoi Javascript est-il aussi rapide/lent ?
Nicolas Pierron -- Ingénieur R&D, Mozilla Paris
http://seminaire.lrde.epita.fr/2011-10-26.php
* Traitement d'image
====================
* Un modèle générique de traitement et de représentation des images
Antoine Manzanera -- Enseignant-Chercheur à l'ENSTA-ParisTech
http://seminaire.lrde.epita.fr/2012-05-09.php
* Analyse des mouvements apparents dans un flux vidéo
Matthieu Garrigues -- Ingénieur Recherche à l'ENSTA-ParisTech
http://seminaire.lrde.epita.fr/2012-05-09.php
* Filtrage morphologique dans les espaces de formes :
Applications avec la représentation d'image par arbres
Yongchao Xu -- Doctorant LRDE/ESIEE
http://seminaire.lrde.epita.fr/2012-07-04.php
* Le point de vue d'un théoricien sur l'intérêt de la généricité
pour le traitement d'images
Laurent Najman -- Professeur à l'ESIEE
http://seminaire.lrde.epita.fr/2012-03-21.php
* Interactive 2D and 3D Segmentation with ilastik
Ullrich Köthe -- Senior Researcher, University of Heidelberg
http://seminaire.lrde.epita.fr/2012-11-16.php
* Model checking
================
* Vérification efficace de propriétés insensibles au bégaiement
Ala Eddine Ben Salem -- Doctorant LRDE/LIP6
http://seminaire.lrde.epita.fr/2012-07-04.php
* Composition dynamique de techniques pour le model checking efficace
Étienne Renault -- Doctorant LRDE/LIP6
http://seminaire.lrde.epita.fr/2012-07-04.php
_______________________________________________
Seminaire mailing list
Seminaire(a)lrde.epita.fr
https://www.lrde.epita.fr/mailman/listinfo/seminaire