Annonce

annonce@lrde.epita.fr

1 participants
563 discussions

[Annonce] [Séminaire LRDE] : mercredi 17 mai 2006

by Daniela Becker

Bonjour, Vous êtes tous cordialement invités à assister au séminaire du LRDE qui aura lieu le mercredi 17 mai à 14 heures en amphi P004 (KB). ----------------------------------------------------------------------- Le programme : *VAUCANSON & TRANSFORMERS* http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/Seminar-2006-05-17 VAUCANSON 14h00 : Remodélisation du projet Vaucanson -- Robert Bigaignon 14h30 : On m'a dit que 275 604 541 était premier -- Michael Cadilhac 15h00 : Extension du format XML -- Florent Terrones TRANSFORMERS 15h45 : Preprocessing & Unpreprocessing du C et C++ -- Thomas Largillier 16h15 : Grammaires hors-contexte et désambiguïsation -- Renaud Durlin 16h45 : Vectorisation automatique grâce à la transformation de programme -- Alexandre Borghi ----------------------------------------------------------------------- Les Résumés des exposés : ************************* VAUCANSON * Remodélisation du projet Vaucanson -- Robert Bigaignon Vaucanson est une bibliothèque générique de manipulation d'automates finis conçue en 2001. Son but est de permettre la manipulation efficace de n'importe quel type d'automate tout en restant fidèle au cadre algébrique établi par la théorie des automates. Ceci au prix d'une écriture parfois lourde et souvent difficile. Aujourd'hui, nous envisageons la refonte du coeur de la bibliothèque afin de tirer parti des dernières avancées notamment en termes de programmation C++. Ainsi, nous présenterons lors de cet exposé une comparaison de techniques de modélisations appliquées à un sous-ensemble représentatif de Vaucanson. * On m'a dit que 275 604 541 était premier -- Michael Cadilhac Quand sont évoqués conjointement l'arithmétique et la cryptographie, un des premiers points communs qui vient à l'esprit se trouve dans la propriété de primalité des nombres. La méthode la plus simple pour tester si un nombre est premier est de reprendre la définition, c'est-à-dire lister les diviseurs de ce nombre et vérifier qu'il y en a exactement 2. Mais cet algorithme naïf est extrêmement coûteux, il s'agira donc non pas de passer par la définition, mais par les propriétés des nombres premiers. Nous présenterons un large éventail d'algorithmes de test de primalité, qu'ils soient probabilistes ou déterministes, chacun a son domaine d'utilisation. Nous étudierons des tests rapides pour petits nombres, ou pour nombres probablement premiers, aussi bien que des algorithmes généraux dont, en particulier, celui montrant que le test de primalité est dans la classe de complexité P. * Extension du format XML -- Florent Terrones Proposé lors des différentes conférences CIAA (Conference on Implementation and Application of Automata), le format XML de description d'automates présenté par l'équipe Vaucanson a pour but de permettre et faciliter le transfert des informations d'un automate entre les différents logiciels qui les manipulent. On peut en effet charger en mémoire un automate stocké dans un fichier XML et le modifier dans Vaucanson, ou au contraire sauvegarder un automate en format XML. Mais un détail gêne encore la parfaite portabilité de ce format: les étiquettes des transitions sont pour l'instant de simples chaînes de caractères. Elles sont donc dépendantes des syntaxes utilisées par chaque logiciel, à l'instar de Vaucanson. Le but de ce séminaire est de faire le point sur les propriétés que cette extension doit satisfaire, puis d'écrire cette dernière. Enfin, certaines parties du contenu de Vaucanson seront modifiées afin de supporter ces changements. TRANSFORMERS * Preprocessing & Unpreprocessing du C et C++ -- Thomas Largillier L'objectif du projet Transformers est de fournir des transformations de source à source pour les langages C et C++. Ces transformations se doivent d'être les plus fidèles possibles. Les directives de compilation sont omniprésentes dans des sources C/C++. L'utilisateur souhaite naturellement les retrouver après avoir transformé son fichier source. Il est donc impossible d'utiliser les outils libres existants puisque ceux-ci ne font le travail que dans un seul sens. Après un exposé des problèmes rencontrés dans une telle démarche, il vous sera présenté une implémentation réalisée, dans le cadre du projet Transformers, avec les outils de Stratego/XT. * Grammaires hors-contexte et désambiguïsation -- Renaud Durlin Les grammaires hors-contexte sont de plus en plus utilisées car elles permettent d'analyser des langages réels en utilisant un formalisme simple et naturel. De manière générale, les grammaires hors-contexte permettent de spécifier des langages ambigus. En utilisant de telles grammaires, un analyseur syntaxique généralisé produit non pas un arbre mais une forêt de parse. La désambiguïsation consiste alors à analyser cette forêt pour obtenir l'unique arbre correspondant à l'entrée en prenant en considération les règles sémantiques contextuelles. Nous verrons trois méthodes pour effectuer la désambiguïsation : la réécriture de termes guidée par des spécifications algébriques (ASF+SDF), l'utilisation de stratégies (Stratego/XT) et le formalisme des grammaires attribuées (Transformers). Nous discuterons des points forts et des points faibles de chacune de ces approches. * Vectorisation automatique grâce à la transformation de programme -- Alexandre Borghi La majorité des processeurs sur le marché permet de tirer parti de la vectorisation. Cependant, les langages et le code existants n'y sont pas particulièrement adaptés. Les derniers compilateurs essaient d'auto-vectoriser mais les résultats sont rarement satisfaisants. Le C étant intrinsèquement séquentiel, il exprime un grand nombre de dépendances qui n'ont pas lieu d'être. Ceci rend difficile la vectorisation automatique. Les outils d'auto-vectorisation doivent en particulier considérer les boucles pour en extraire un maximum d'information suivant des analyses de dépendances parfois très élaborées. Il s'agit ici de transformer un fichier source C afin de le rendre plus facilement vectorisable par les derniers compilateurs à l'aide de Transformers et des outils de transformation de programmes qu'il fournit. -- Daniela Becker Responsable administrative du LRDE

18 years, 7 months

[Annonce] L'air de rien 3

by Daniela Becker

Le troisième numéro du bulletin du LRDE est sorti. Il est disponible sur: http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/200604-l-air-de-ri… -- Daniela Becker

18 years, 8 months

[Annonce] [comp.text.tex] CTAN package update: FiXme version 3.2

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

18 years, 8 months

[Annonce] L'air de rien 2

by Daniela Becker

Le deuxième numéro du bulletin du LRDE est sorti. Il est disponible sur: http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/200603-l-air-de-ri… -- Daniela Becker

18 years, 9 months

[Annonce] L'air de rien

by Daniela Becker

Jouez hautbois, résonnez musette; Chantons tous son avènement: Il est né le ... bulletin du labo :) Vous pouvez l'admirer en couleur sur http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/200512-l-air-de-ri… -- Daniela

19 years

[Annonce] ACM TOCL

by Sylvain Peyronnet

J'avais oublié de dire que la publi journal suivante a été accepté : Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet and Michel de Rougemont. Probabilistic abstraction for model checking: An approach based on property testing. accepted to ACM TOCL. Voili voilo S.

19 years

[Annonce] Publi RIVF'06

by Akim Demaille

Thomas, Sylvain et Akim sont heureux de vous faire part de l'acceptation de leur article à RIVF 2006. Probabilistic Verification of Sensor Networks https://publications.lrde.epita.fr/2006-02-rivf Sensor networks are networks consisting of miniature and low-cost systems with limited computation power and energy. Thanks to the low cost of the devices, one can spread a huge number of sensors into a given area to monitor, for example, physical change of the environment. Typical applications are in defense, environment, and design of ad-hoc networks areas. In this paper, we address the problem of verifying the correctness of such networks through a case study. We modelize a simple sensor network whose aim is to detect the apparition of an event in a bounded area (such as a fire in a forest). The behaviour of the network is probabilistic, so we use APMC, a tool that allows to approximately check the correctness of extremely large probabilistic systems, to verify it. @InProceedings{ demaille.06.rivf, author = {Akim Demaille and Sylvain Peyronnet and Thomas Hérault}, title = {Probabilistic Verification of Sensor Networks}, booktitle = {Proceedings of the Fourth IEEE International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF)}, year = {2006}, address = {Ho {C}hi {M}inh City, {V}ietnam}, month = {February}, project = {APMC}, }

19 years

[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, 1 month

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, 1 month

[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, 1 month

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Annonce