Annonce

annonce@lrde.epita.fr

566 discussions

[Annonce] [Vaucanson] Disponibilité de la version 0.7.2.

by Loulou Pouchet

Le LRDE vous annonce la disponibilité de la version 0.7.2 de la bibliothèque de manipulation d'automates finis Vaucanson. http://vaucanson.lrde.epita.fr Cette version propose des correctifs afin de rendre la bibliothèque compatible avec les dernières versions des compilateurs GNU C++ et Intel C++. -- Louis-Noel Pouchet pouchet(a)lrde.epita.fr

19 years, 7 months

Re: [Annonce] Publication: C-Transformers - A Framework to Write C Program Transformations

by Roland Levillain

>>>>> "Akim" == Akim Demaille <akim(a)lrde.epita.fr> writes: Akim> Accepté dans l'ACM Crossroads de printemps 2006. Akim> C-Transformers - A Framework to Write C Program Transformations Akim> A. Borghi, V. David, A. Demaille Akim> https://publis.lrde.epita.fr/200510-Crossroads Congratulations!

19 years, 8 months

[Annonce] Publication: C-Transformers - A Framework to Write C Program Transformations

by Akim Demaille

Accepté dans l'ACM Crossroads de printemps 2006. C-Transformers - A Framework to Write C Program Transformations A. Borghi, V. David, A. Demaille https://publis.lrde.epita.fr/200510-Crossroads Program transformation techniques have reached a maturity level that allows processing high-level language sources in new ways. Not only do they revolutionize the implementation of compilers and interpreters, but with modularity as a design philosophy, they also permit the seamless extension of the syntax and semantics of existing programming languages. The C-Transformers project provides a transformation environment for C, a language that proves to be hard to transform. We demonstrate the effectiveness of C-Transformers by extending C's instructions and control flow to support Design by Contract. C-Transformers is developed by members of the LRDE: EPITA undergraduate students.

19 years, 8 months

[Annonce] [Vaucanson] Disponibilité de la version 0.7.1.

by Loulou Pouchet

Le LRDE vous annonce la disponibilité de la version 0.7.1 de la bibliothèque de manipulation d'automates finis Vaucanson. http://vaucanson.lrde.epita.fr Cette version est une mise à jour mineure de la version 0.7, avec des corrections sur plusieurs algorithmes usuels ainsi que de nouveaux algorithmes sur les transducteurs sur le produit direct de monoides libres. Egalement, la proposition de format XML a été simplifiée et documentée en vue de la présentation lors de la conférence CIAA'05 (http://www.i3s.unice.fr/ciaa05/). -- Loulou loulou(a)lrde.epita.fr

20 years

[Annonce] [LRDE] : Mecredi 1 juin 2005 - 14h00 (P004)

by Reda Dehak

Vous êtes tous cordialement invités à assister au séminaire du LRDE de cette semaine qui aura lieu le mercredi 01 juin en amphi P004 au KB. Le thème de cette journée est : *OLENA & VAUCANSON* Séminaire du 01 juin 2005 OLENA & Vaucanson Amphi P004 (KB) 14h00 http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/Seminar-2005-06-01 Programme : OLENA : * 14h00 : Modélisation et taxonomie des images -- Simon Odou * 14h45 : Utilisation de canevas dans Olena -- Damien Thivolle VAUCANSON * 15h45 : Composition de transducteurs -- Sarah O'Connor * 16h30 : Vers une nouvelle modélisation pour Vaucanson -- Louis-Noël Pouchet Les Résumés : *************** * Modélisation et taxonomie des images -- Simon Odou Tout ce que notre esprit est capable de se représenter visuellement est image. Pourtant toutes ces images ne sont pas égales : une fonction n'est pas équivalente à une photographie, non plus à un graphe. De même que notre cerveau est capable de jongler naturellement avec ces différents concepts, nous aimerions doter Olena - la bibliothèque de traitement d'images développée au LRDE - d'une modélisation intuitive et efficace. L'objectif est de mettre un terme à la prédominance des images "classiques" dans Olena en préservant sa simplicité d'utilisation et ses performances. Nous identifierons précisément les différents types d'images avant d'en présenter une taxonomie. Ensuite nous vous proposerons une modélisation Enfin, nous verrons comment le C++ et notamment l'héritage par propriétés facilitent sa mise en oeuvre. * Utilisation de canevas dans Olena -- Damien Thivolle Il arrive que certains algorithmes de traitement d'image aient une écriture similaire. Pour éviter la redondance, la mise en place de canevas permet de factoriser une grande partie du code. Il restealors à remplir les trous dans les implémentations spécifiques. Différentes approches d'implémentation des canevas dans Olena seront présentées. * Composition de transducteurs -- Sarah O'Connor La plateforme de manipulation d'automates qu'est Vaucanson a pour particularité la généricité des objets manipulés. Il est ainsi possible de représenter un grand nombre d'automates de structures différentes et, donc, plus particulièrement les transducteurs. Les transducteurs sont disponibles dans la bibliothèque Vaucanson sous deux formes différentes: automates sur un monoïde libre à coefficients dans une série et automates sur un produit de monoïdes libres. Parmi les algorithmes dédiés aux transducteurs proposés dans Vaucanson, existent plusieurs algorithmes de composition, applicables selon la forme sous laquelle l'utilisateur manipule les transducteurs. Dans cet exposé, nous nous attacherons à l'étude de différents algorithmes de composition de transducteurs, à leur comparaison, puis à l'implémentation de certains d'entre eux dans la bibliothèque Vaucanson. * Vers une nouvelle modélisation pour Vaucanson -- Louis-Noël Pouchet Vaucanson est une bibliothèque de manipulation d'automates finis, programmée grâce à des méthodes avancées de programmation statique. Ce type de programmation permet d'obtenir généricité et performances, au prix parfois d'une programmation lourde et contraignante. En quatre ans, la bibliothèque s'est enrichie de nombreuses fonctionnalités et algorithmes, dont certains n'ont pas été pris en compte au démarrage du projet. A l'instar d'Olena, il est temps d'envisager une refonte de la bibliothèque, en s'attachant à proposer une nouvelle modélisation prenant en compte les besoins actuels et le futur de la bibliothèque. Lors de ce séminaire, un point sera fait sur les fonctionnalités désirées dans la bibliothèque et une attention particulière sera portée sur celles qui ont posé le plus de problèmes. Ensuite, plusieurs méthodes de modélisation seront présentées pour répondre à ces contraintes, afin de déterminer dans quelle direction orienter la maquette de la prochaine version de Vaucanson.

20 years, 1 month

[Annonce] Publication acceptée à CIAA'05.

by Loulou Pouchet

Publication : Inside Vaucanson Thomas Claveirole, Sylvain Lombardy, Louis-Noel Pouchet and Jacques Sakarovitch. http://publis.lrde.epita.fr/200506-Ciaa Tenth International Conference on Implementation and Application of Automata, 27-29 June 2005 (http://www.i3s.unice.fr/ciaa05/) This paper presents some features of the Vaucanson plateform. We describe some original algorithms on weighted automata and transducers (computation of the quotient, conversion of a regular expression into a weighted automaton, and composition). We explain how complex declarations due to the generic programming are masked from the user and finally we present a proposal for an XML format that allows implicit descriptions for simple types of automata. -- Louis-Noel Pouchet pouchet(a)lrde.epita.fr

20 years, 1 month

[Annonce] [Vaucanson] Disponibilité de la version 0.7.

by Loulou Pouchet

Le LRDE vous annonce la disponibilité de la version 0.7 de la bibliothèque de manipulation d'automates finis Vaucanson. http://vaucanson.lrde.epita.fr Cette version propose un support des transducteurs sur le produit de monoides libres ainsi que plusieurs algorithmes de manipulation des transducteurs. Le système d'entrée / sortie XML a été mis à jour avec les dernières évolutions de la proposition du groupe Vaucanson de standard XML pour l'échange d'automates ; proposition qui sera présentée lors de la conférence CIAA'O5 (http://www.i3s.unice.fr/ciaa05/). -- Louis-Noel Pouchet pouchet(a)lrde.epita.fr

20 years, 1 month

[Annonce] Nouvelle publication

by Sylvain Peyronnet

Je suis fier de vous annoncer une nouvelle publication au lRDE : R. Lassaigne and S. Peyronnet. Probabilistic verification and approximation. In the proc. of the 12th Workshop on Logic, Language, Information and Computation (Wollic 05). Electronic Notes in Theoretical Computer Science. Florianapolis, brazil. July 2005 Cordialement, Sylvain Peyronnet

20 years, 2 months

[Annonce] Conférence : Making Compiler Construction Projects Relevant to Core Curriculums

by Akim Demaille

Le papier suivant a été accepté. Making Compiler Construction Projects Relevant to Core Curriculums. http://publis.lrde.epita.fr/200506-ITICSE 10th Annual Conference on Innovation and Technology in Computer Science Education http://www.iticse05.unl.pt/ Universidade Nova de Lisboa, Portugal June 27-29, 2005 Having 300 students a year implement a compiler is very questionable, since the industry will certainly not recruit them for this competence, yet we made that decision five years ago, for reasons not related to compiler construction. We detail these motivations, the resulting compiler design, and how we implemented this. The project meets its goals, since the majority of former students invariably refer to it as the project that taught them the most.

20 years, 4 months

[Annonce] [Jim Hefferon] tug.ctan.org upload: FiXme

by Didier Verna

-- Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (1) 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (1) 53 14 59 22 didier(a)xemacs.org

20 years, 5 months

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