Annonce

annonce@lrde.epita.fr

565 discussions

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

DoX 1.0 is released

by Didier Verna

Hello, I'm happy to announce the release of DoX version 1.0 (first public version). The doc package provides LaTeX developers with means to describe the usage and the definition of new macros and environments. However, there is no simple way to extend this functionality to other items (options or counters for instance). The dox package is designed to circumvent this limitation. 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

Milena intégrée à la distribution Linux Mandriva

by Guillaume Lazzara

L'équipe Olena a le plaisir de vous annoncer que la version 1.0 de la bibliothèque de traitement d'image, Milena, a été intégrée à la distribution Linux Mandriva. Milena fera partie de la prochaine version de la distribution, Mandriva 2010.0, prévue pour le mois de novembre 2009. Les packages RPMs sont déjà disponibles à cette adresse : http://doc4.mandriva.org/bin/view/doc42/package/63eeb0d7e033fba7fdc6fe7b83c… -- Guillaume Lazzara

15 years, 8 months

FiXme 3.4 is released

by Didier Verna

Hello, I'm happy to announce the release of FiXme version 3.4. What's new in this version: * \fixme, \fxerror, \fxwarning and \fxnote are now robust * Fix incompatibility with KOMA-Script classes Grab it directly here: http://www.lrde.epita.fr/~didier/software/latex.php#fixme or wait until it propagates through CTAN... FiXme provides you with a way of inserting fixme notes in documents. Such notes can appear in the margin of the document, as index entries, in the log file and as warnings on stdout. It is also possible to summarize them in a list, and in the index. When you switch from draft to final mode, any remaining fixme note will be logged, but removed from the document's body. Additionally, critical notes will abort compilation with an informative message. FiXme also comes with support for AUC-TeX. -- 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, 10 months

Olena 1.0 released

by Roland Levillain

The Olena Team is proud to announce the release of Olena 1.0. Olena is a platform dedicated to image processing and pattern recognition. Its core component is a generic and efficient C++ library called Milena. Milena provides a framework to implement simple, fast, safe, reusable and extensible image processing tool chains. The library provides many ready-to-use image data structures (regular 1D, 2D, 3D images, graph-based images, etc.) and algorithms. Milena's algorithms are built upon classical entities from the image processing field (images, points/sites, domains, neighborhoods, etc.). This design allows image processing developers and practitioners to easily understand, modify, develop and extend new algorithms while retaining the core traits of Milena: genericity and efficiency. The package also features Swilena, an optional component exposing Milena to other languages thanks to the Simplified Wrapper and Interface Generator (SWIG). For the moment, only some Python bindings are provided. The Olena platform is Free Software. It is distributed under the conditions of the GNU General Public License (GPL) version 2. See the file COPYING shipped with the Olena distribution. Release notes are available at: http://olena.lrde.epita.fr/Olena100 You can download packages of the Olena 1.0 distribution here: http://www.lrde.epita.fr/dload/olena/1.0/olena-1.0.tar.gz (25MB) http://www.lrde.epita.fr/dload/olena/1.0/olena-1.0.tar.bz2 (21MB) The SHA1 digests of theses packages are: 33fc3a327db3f4f68c882d3b2462b83841425628 olena-1.0.tar.gz 2c6ba36d4a156156f7d5ea8f2e1f02bbec9c9098 olena-1.0.tar.bz2 Here is a list of major changes since Olena 0.11: * The core C++ library, renamed to Milena, has been rewritten from scratch and features numerous additions over the past releases. Some features have also been dropped or disabled, and some of them will be reintegrated in future releases. The programming interface has changed from previous versions, but most programs using Olena 0.11 can be adapted to the Olena 1.0 API. * Milena uses a simplified version of the SCOOP 2 paradigm (informally called SCOOP 1.5), to improve the speed of compilation and make developing easier while still providing very good run-time performances. * A first (re)implementation of Swilena featuring Python wrappers for a very small subset of Milena is available. The bundled Swilena Python Shell (sps) allows interactive Olena sessions. * A reference documentation including a tutorial and a quick reference guide have been started. They do not cover the whole Milena library yet. * Olena includes some demos and applications using Milena. The file NEWS, included in the archive, contains a more complete list of user-visible changes. Please report any problem by mail to <olena-bugs(a)lrde.epita.fr>. -- Roland Levillain - LRDE/EPITA - A3SI/ESIEE/IGM/UMLV-Paris Est EPITA Research and Development Laboratory (LRDE) 14-16, rue Voltaire - FR-94276 Le Kremlin-Bicêtre Cedex - France Phone: +33 1 53 14 59 45 - Fax: +33 1 53 14 59 22 - www.lrde.epita.fr

15 years, 10 months

[Final CfPart] 6th European Lisp Workshop, July 6th, Genova, Italy

by Didier Verna

+------------------------------------------------------------+ | FINAL CALL FOR PARTICIPATION | | 6th European Lisp Workshop | | July 6, Genova, Italy - co-located with ECOOP 2009 | | http://elw.bknr.net/2009 | +------------------------------------------------------------+ Important Dates =============== ECOOP late registration deadline: July 03, 2009 6th European Lisp Workshop: July 06, 2009 Please note that registration must be done with ECOOP itself. There is a reduced registration fee for workshop-only attendance. The early registration deadline is in two days, so register now! See http://ecoop09.disi.unige.it/ for details. 2009 Special News ================= * Edi Weitz will give a keynote address on the use of his notorious open source libraries in commercial / industrial application. * The workshop is sponsored by ITA Software, Inc. Please visit them at http://www.itasoftware.com/ * This year, and for the first time, the workshop proceedings will be published in the ACM Digital Library. 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 retains 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. Programme ========= In addition to Edi Weitz's keynote address, the workshop will feature four technical papers and two tutorials. Please visit the programme web page (http://elw2009.bknr.net/programme) for a detailed description. Organizers ========== Didier Verna, EPITA Research and Development Laboratory, Paris Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Robert Strandh, LaBRI, University of Bordeaux I, France Christophe Rhodes, Goldsmiths College, University of London Hans Hübner, Software Developer, Berlin -- 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, 11 months

Publication: ATVA'09: On-the-fly Emptiness Check of Transition-based Streett Automata

by Alexandre Duret-Lutz

We are happy to announce that the following paper has been accepted for publication at the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09) that will take place at Macao on 14-16 October 2009. Alexandre Duret-Lutz (1) Denis Poitrenaud (2) Jean-Michel Couvreur (3) On-the-fly Emptiness Check of Transition-based Streett Automata http://publis.lrde.epita.fr/200910-ATVA (1) EPITA Research and Development Laboratory (LRDE) (2) Laboratoire d'Informatique de Paris 6 (LIP6) (3) Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) In the automata theoretic approach to model checking, checking a state-space S against a linear-time property F can be done in O(|S|\times 2^O(|F|)) time. When model checking under n strong fairness hypotheses expressed as a Generalized Büchi automaton, this complexity becomes O(|S|*2^O(|F|+n)). Here we describe an algorithm to check the emptiness of Streett automata, which allows model checking under n strong fairness hypotheses in O(|S|*2^O(|F|)*n). We focus on transition-based Streett automata, because it allows us to express strong fairness hypotheses by injecting Streett acceptance conditions into the state-space without any blowup. -- Alexandre Duret-Lutz

15 years, 11 months

Publications: INTERSPEECH 2009

by Daniela Becker

We are happy to announce that the following papers have been accepted for publication at the 10th Annual Conference of the International Speech Communication Association (INTERSPEECH 2009) that will take place in Brighton, UK, 6-10 September 2009. 1) "Cepstral and Long-Term Features for Emotion Recognition", presented at Special Session: INTERSPEECH 2009 Emotion Challenge http://publis.lrde.epita.fr/200909-INTERSPEECH-A 2) "Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification" http://publis.lrde.epita.fr/200909-INTERSPEECH-B -- Daniela Becker Responsable administrative du LRDE

15 years, 11 months

New publication: ELW'08 Workshop Reader

by Didier Verna

It is my pleasure to inform you that the following paper has just been published: Report on the 5th Workshop ELW at ECOOP 2008. ¨ Didier Verna, Charlotte Herzeel, Christophe Rhodes. and Hans Hübner (2008). In Eugster, P editor, Object-Oriented Technology. ECOOP 2008 Workshop Reader, volume 5475 of Lecture Notes in Computer Science, pages 16. Springer. http://www.springer.com/computer/programming/book/978-3-642-02046-9. -- European Lisp Workshop, July 6th, Genova, Italy: http://elw.bknr.net/2009 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, 11 months

Séminaire Performance et Généricité du LRDE le Mercredi 27 mai 2009

by Akim Demaille

The following message is a courtesy copy of an article that has been posted to lrde.annonce,epita.adm.adm,epita.adm,iit.adm,fr.comp.developpement,fr.comp.lang.c++,fr.comp.lang.general,fr.comp.objet as well. 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 27 mai 2009 (14h-17h). Au programme: * 14h: VMKit, LLVM et Clang: les prochaines générations de compilateurs -- Nicolas Geoffray, Lip6/INRIA/Regal http://pagesperso-systeme.lip6.fr/Nicolas.Geoffray/ La Low-Level Virtual Machine (LLVM) est un ensemble de bibliothèques et d'outils qui facilitent le développement et l'optimisation de compilateurs, de générateurs de code et de machines virtuelles. Clang et VMKit utilisent LLVM pour leur générateur de code à différents niveaux: l'un pour la compilation statique de langages de la famille C (C/C++/ObjectiveC), et l'autre pour la compilation dynamique d'applications Java ou .Net. Dans cet exposé, je présenterai ces trois projets, et rentrerai dans les détails de VMKit, que j'ai développée dans le cadre de ma thèse. Je finirai par montrer les exemples de recherche auxquels nous nous adressons avec l'aide de VMKit, au sein de l'équipe de recherche INRIA/Regal. -- Nicolas Geoffray est doctorant à l'université Pierre et Marie Curie dans l'équipe mixte Lip6/INRIA Regal. Sa thèse porte sur les machines virtuelles applicatives et la manière dont elles sont utilisées dans les projets de recherche. La soutenance est prévue à la fin de l'année universitaire 2009. * 15h15: AutoVM: repousser les frontières de la généricité -- Gaël Thomas, REGAL/Lip6/Inria http://pagesperso-systeme.lip6.fr/Gael.Thomas/ Avec l'avènement du Web et des applications réparties, les machines virtuelles applicatives sont devenues le support d'exécution de choix pour la plupart des applications. Développer et optimiser une machine virtuelle est un travail long et difficile qui requiert plusieurs années. Il s'avère que la plupart des machines virtuelles possèdent des composants communs: compilateur à la volée, ramasse-miettes, vérifieur de type, gestionnaire de threads, gestionnaire d'entrées/sorties, éditeur de liens paresseux, chargeur dynamique de code. AutoVM est une machine virtuelle générique qui factorise ces composants communs et facilite le développement de nouvelles machines virtuelles, ou l'amélioration de machines virtuelles existantes. Dans cet exposé, je présenterai l'architecture logicielle de notre prototype AutoVM et montrerai sa généricité et son extensibilité. -- Gaël Thomas est maître de conférences à l'université Pierre et Marie Curie dans l'équipe mixte Regal/Lip6/Inria depuis trois ans. Ses travaux de recherche portent sur la gestion des ressources, l'isolation et la gestion de la concurrence dans les machines virtuelles. 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.

16 years

← Newer
1
...
41
42
43
44
45
46
47
...
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