We're pleased to announce the release of Spot 0.5.
Spot is a model-checking library developed collaboratively
by LRDE and LIP6. It provides algorithms and data structures
to implement the automata-theoretic approach to LTL model
checking.
This release includes more than two year of work, with contributions
from Damien Lefortier, Guillaume Sadegh, Félix Abecassis, and
Alexandre Duret-Lutz. We would also like to thank Akim Demaille,
Denis Poitrenaud, and Kristin Y. Rozier for their bug reports …
[View More]and
help.
You can find the new release here:
http://spot.lip6.fr/dl/spot-0.5.tar.gz
Before listing what is new in this release, let me mention that we
have setup two mailing lists so you can stay informed, or discuss spot:
- <spot-announce(a)lrde.epita.fr> is read-only and will be used to
announce new releases. You may subscribe at
https://www.lrde.epita.fr/mailman/listinfo/spot-announce
- <spot(a)lrde.epita.fr> can be used to discuss anything related to
Spot. You may subscribe at
https://www.lrde.epita.fr/mailman/listinfo/spot-announce
What is new in spot 0.5 (2010-02-01):
* Two new LTL translations have been implemented:
- eltl_to_tgba_lacim() is a symbolic translation for ELTL based on
Couvreur's LaCIM'00 paper. For this translation (available with
ltl2tgba's option -le), all operators are described as finite
automata. A default set of operators is provided for LTL
(option -lo) and user may add more automaton operators.
- ltl_to_taa() is a translation based on Tauriainen's PhD thesis.
LTL is translated to "self-loop" alternating automata
and then to Transition-based Generalized Automata. (ltl2tgba's
option -taa).
The "Couvreur/FM" translation remains the best LTL translation
available in Spot.
* The data structures used to represent LTL formulae have been
overhauled, and it resulted in a big performence improvement
(in time and memory consumption) for the LTL translation.
* Two complementation algorithms for state-based Büchi automata
have been implemented:
- tgba_kv_complement is an on-the-fly implementation of the
Kupferman-Vardi construction (TCS'05) for generalized acceptance
conditions.
- tgba_safra_complement is an implementation of Safra's
complementation. This algorithm takes a degeneralized Büchi
automaton as input, but our implementation for the Streett->Büchi
step will produce a generalized automaton in the end.
* ltl2tgba has gained several options and the help text has been
reorganized. Please run src/tgbatest/ltl2tgba without arguments
for details. Couvreur/FM is now the default translation.
* The ltl2tgba.py CGI script can now run standalone. It also offers
the Tauriainen/TAA translation, and some options for SCC-based
reductions.
* Automata using BDD-encoded transitions relation can now be pruned
for useless states symbolically using the delete_unaccepting_scc()
function. This is ltl2tgba's -R3b option.
* The SCC-based simplification (ltl2tgba's -R3 option) has been
rewritten and improved.
* The "*" symbol, previously parsed as a synonym for "&" is no
longer recognized. This makes room for an upcoming support of
rational operators.
* More benchmarks in the bench/ directory:
- gspn-ssp/ some benchmarks published at ACSD'07,
- ltlcounter/ translation of a class of LTL formulae used by
Rozier & Vardi at SPIN'07
- scc-stats/ SCC statistics after translation of LTL formulae
- split-product/ parallelizing gain after splitting LTL automata
* An experimental Kripke interface has been developed to simplify
the integration of third party tools that do not use acceptance
conditions and that have label on states instead of transitions.
This interface has not been used yet.
* Experimental interface with the Nips virtual machine.
It is not very useful as Spot isn't able to retrieve any property
information from the model. This will just check assertions.
* Distribution:
- The Boost C++ library is now required.
- Update to Autoconf 2.65, Automake 1.11.1, Libtool 2.2.6b,
Bison 2.4.1, and Swig 1.3.40.
- Thanks to the newest Automake, "make check" will now
run in parallel if you use "make -j2 check" or more.
* Bug fixes:
- Disable warnings from the garbage collection of BuDDy, it
could break the standard output of ltl2tgba.
- Fix several C++ constructs to ensure Spot will build with
GCC 4.3, 4.4, and older 3.x releases, as well as with Intel's
ICC compiler.
- A very old bug in the hash function for LTL formulae caused Spot
to sometimes (but very rarely) consider two different LTL formulae
as equal.
--
Alexandre Duret-Lutz
--
Alexandre Duret-Lutz
[View Less]
Bonjour,
nous avons le plaisir de vous inviter au séminaire des étudiants du
LRDE. Il aura lieu demain, mercredi 6 janvier 2010 à 14 heures en Amphi
Masters (KB).
-----------------------------------------------------------------------
Au programme:
*Vaucanson, Spot, Transformers et Compilateur Tiger*
https://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/Seminar-2010-01-06
VAUCANSON
* 14h00 : Adapter les structures de données de Vaucanson
au concept de kind et à une interface rénové…
[View More]e
-- Jérôme Galtier
* 14h30 : Adaptation d’algorithmes de Vaucanson à
une interface plus simple – Florent d'Halluin
SPOT
* 15h00 : Nouvelle traduction de LTL en TGBA
dans Spot –- Damien Lefortier
* 15h30 : La complémentation d’automates de
Büchi à travers des automates alternants –-
Guillaume Sadegh
TRANSFORMERS
* 16h15 : Étude et analyse de l’écriture d’extensions
du C++ grâce à Transformers –- Vincent Ordy
COMPILATEUR TIGER
* 16h45 : Intégration de techniques de parallélisation
dans le compilateur Tiger –- Warren Seine
-----------------------------------------------------------------------
Les Résumés des exposés :
**************************
VAUCANSON
* 14h00 : Adapter les structures de données de Vaucanson
au concept de kind et à une interface rénovée
–- Jérôme Galtier
La conception des automates dans Vaucanson occupe une place centrale
concernant la généricité de la bibliothèque. Nous voulons pouvoir
étendre cette modélisation pour supporter de nouveaux types et
spécialiser des comportements afin d’améliorer les performances.
L’introduction
récente du concept de kind à la bibliothèque ainsi que la
définition d’une nouvelle interface des automates ont pour objectif
de rationaliser les structures de données déjà présentes dans Vaucanson,
comme les graphes utilisant Boost Multi Index.
Le kind d’un automate est le type d’étiquettes qu’il porte sur ses
transitions,
une lettre ou un mot par exemple. L’utilisateur peut alors, à
travers une hiérarchie d’itérateurs respectant la nouvelle interface, itérer
de manière efficace sur les transitions portant une occurrence de
ce kind spécifié comme prédicat (itérer sur les transitions portant la
lettre a par exemple). Le gain est visible car l’utilisateur était contraint
d’itérer sur le support d’un polynôme avant ces améliorations.
* 14h30 : Adaptation d’algorithmes de Vaucanson à
une interface plus simple –- Florent d'Halluin
Vaucanson est une bibliothèque C++ de manipulation d’automates finis.
Le feedback utilisateur montre que Vaucanson est lent et que l’interface
de la bibliothèque qui permet de manipuler les automates directement
est complexe. Pour améliorer Vaucanson, l’équipe de développement
met en place une interface simplifiée sur la structure de
données Automata et réinstaure une modélisation saine de l’implémentation
sous-jacente. Une conséquence de ces changements est que
les algorithmes disponibles dans Vaucanson doivent être adaptés à la
nouvelle interface. L’adaptation de ces algorithmes donne l’opportunité
d’étudier l’impact des changements récents sur les performances
et l’accessibilité de Vaucanson. Grâce à la simplicité de la nouvelle
interface,
les optimisations possibles deviennent plus visibles.
SPOT
* 15h00 : Nouvelle traduction de LTL en TGBA
dans Spot –- Damien Lefortier
Spot est une bibliothèque de model checking centrée sur l’approche
automate et qui permet de vérifier des propriétés exprimées en logique
temporelle à temps linéaire (LTL) sur des modèles représentés
par des automates de Büchi généralisés basés sur les transitions
(TGBA). Spot propose actuellement trois algorithmes pour traduire
des formules LTL en TGBA, une des étapes principales de l’approche
automate. Nous présentons une quatrième traduction, introduite par
Tauriainen, qui utilise des automates alternants basés sur les transitions
(TAA) comme représentation intermédiaire. Nous le comparerons
ensuite aux trois algorithmes déjà présents dans Spot.
* 15h30 : La complémentation d’automates de
Büchi à travers des automates alternants –-
Guillaume Sadegh
Le model checking est un domaine de la vérification formelle, qui permet
de vérifier le comportement d’un système avec l’aide de formules
logiques temporelles. Spot est une bibliothèque de model checking
qui repose sur une des techniques du domaine : l’approche automate.
Dans cette approche du model checking, le système et les formules
sont représentés sous forme d’automates acceptant des mots de longueur
infinie, et plus particulièrement des automates de Büchi. Spot
propose de nombreux algorithmes aux utilisateurs de la bibliothèque
pour manipuler ce type d’automates, en vue d’applications au model
checking. Une opération sur ces automates a récemment été ajoutée
dans Spot : la complémentation. La recherche d’algorithmes effectuant
cette opération est toujours d’actualité puisqu’il n’existe toujours pas
d’algorithme atteignant les bornes théoriques optimales. Nous présenterons
deux algorithmes récents de complémentation que nous venons
d’ajouter dans Spot, qui se basent sur des automates alternants.
TRANSFORMERS
* 16h15 : Étude et analyse de l’écriture d’extensions
du C++ grâce à Transformers –- Vincent Ordy
Le projet Transformers permet de faire de la transformation source à
source pour les languages C et C++. Le but est de pouvoir effectuer
une analyse syntaxique d’un langage d’entrée, du C ou C++ étendu
pour accepter de nouveaux éléments syntaxiques, qui seront ensuite
transformés en C/C++ standard de la même manière que « C avec
classes », ancêtre du C++, était d’abord transformé en C avant d’être
compilé. Nous allons expliquer comment écrire une extension de la
grammaire du C++ grâce au projet Transformers puis transformer le
code étendu en code standard, en nous appuyant sur des exemples
d’extensions déjà écrites (ContractC++, class-namespaces). Nous montrerons
les avantages et inconvénients des technologies utilisées par
Transformers comme les grammaires attribuées.
COMPILATEUR TIGER
* 16h45 : Intégration de techniques de parallélisation
dans le compilateur Tiger –- Warren Seine
Tiger est un langage utilisé à des fins pédagogiques dans l’étude des
compilateurs. Écrite en C++, notre implémentation d’un compilateur
Tiger profite de techniques éprouvées dans la transformation de programmes.
L’ère du multi-coeur a rendu la parallélisation indispensable
dans le cursus d’un étudiant en informatique. Utilisé comme support
de cours, notre compilateur doit évoluer et tirer profit des nouvelles
techniques de parallélisme. Ce rapport présente une solution pour distribuer
le travail au sein d’un modèle de programmation concurrente
par tâche. Nous utiliserons Intel Threading Building Blocks pour nous
détacher des problématiques matérielles.
--
Daniela Becker
[View Less]
Hello !
I'm happy to announce a new publication, to appear in the JUCS journal,
volume 15 (next issue). The details of the paper are given below:
Title: REVISITING THE VISITOR: THE JUST DO IT PATTERN
Author: Didier Verna
Abstract:
While software design patterns are a generally useful concept, they are
often (and mistakenly) seen as ready-made universal recipes for solving
common problems. In a way, the danger is that programmers stop thinking
about their actual problem, and start looking …
[View More]for pre-cooked solutions
in some design pattern book instead. What people usually forget about
design patterns is that the underlying programming language plays a
major role in the exact shape such or such pattern will have on the
surface. The purpose of this paper is twofold: we show why design
pattern expression is intimately linked to the expressiveness of the
programming language in use, and we also demonstrate how a blind
application of them can in fact lead to very poorly designed code.
--
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
[View Less]
Bonjour,
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 2 décembre 2009 (14h-16h30) en Amphi 4, KB.
Au programme :
Le processeur CELL : architecture et programmation
-- Jean-Luc Lamotte
Le processeur CELL BE développé par le consortium IBM, Sony et Toshiba a
eu un impact important dans le monde du calcul scientifique mais aussi
dans le monde du jeu. Il est le processeur de base de la premiè…
[View More]re
machine à avoir atteint 1 Pflops et aussi celui de la Play Station 3 de
Sony. Pour arriver à ce niveau de performance, il intègre 9 coeurs
hétérogènes interconnectés par un bus. Le coeur principal (PPE)
appartient à la famille des PowerPC. Les 8 autres coeurs (SPE) sont
spécialisés pour le calcul. Après une présentation détaillée de
l'architecture du processeur, nous développerons son mode de la
programmation : lancement de threads de calcul sur les SPE, échange de
données, programmation SIMD.
Jean-Luc Lamotte est professeur à l'université P. et M. Curie (UPMC).
Ses travaux de recherche au sein du laboratoire d'informatique de Paris
6 (LIP6) dans l'équipe PEQUAN (PErformance et QUalité des Algorithmes
Numériques) du département CALSCI (calcul scientifique) portent sur le
calcul haute performance en intégrant la vitesse de calcul, mais aussi
la qualité numérique des résultats obtenus. Il enseigne notamment le
parallélisme dans la spécialité SAR du master d'informatique de l'UPMC.
http://www-pequan.lip6.fr/~lamotte/
La méthode multipôle rapide sur le processeur Cell : calcul du champ proche
-- Pierre Fortin
La méthode multipôle rapide (Fast Multipole Method, FMM) permet de
résoudre en temps linéaire le problème à N-corps, en astrophysique ou en
dynamique moléculaire par exemple. Nous présentons ici l'implémentation
sur le processeur Cell du calcul du champ proche de la FMM, ce qui
constitue un premier pas vers une implémentation complète de la FMM sur
ce processeur. Nous détaillerons les problèmes rencontrés, au niveau de
l'architecture comme au niveau de l'algorithmique, ainsi que les
diverses optimisations mises en place. Notre implémentation permet de
calculer jusqu'à 8,5 milliards d'interactions par seconde (115,8
Gflop/s) sur un processeur Cell, et jusqu'à 17 milliards d'interactions
par seconde sur un IBM QS20 (230,4 Gflop/s), pour des distributions
uniformes ou non uniformes de particules.
Pierre Fortin est maître de conférences à l'Université Pierre et Marie
Curie dans l'équipe PEQUAN (LIP6) depuis deux ans. Ses travaux de
recherche portent sur le calcul scientifique parallèle haute performance
et sur les simulations numériques pour le problème à N-corps. Depuis
septembre 2009, il est responsable de l'option "Calcul Intensif sur
Nouvelles Architectures Parallèles" à Polytech'Paris-UPMC.
http://www-pequan.lip6.fr/~fortin/
--
Daniela Becker
[View Less]
Bonjour,
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 21 octobre 2009 (14h-16h).
Au programme:
* 14h: CImg et G'MIC : Boites à outils libres pour le traitement
d'images à différents niveaux
-- David Tschumperlé, GREYC Uni Caen.
http://www.greyc.ensicaen.fr/~dtschump/
Malgré la grande variété des types de données que l'on rencontre
dans le
domaine du traitement d'images (1D,2D,…
[View More]3D, scalaires, couleurs,
multi-spectrales, séquences, etc...), nous sommes souvent amenés à
appliquer des algorithmes très classiques, ou des variations de ces
algorithmes, pour le pré-traitement, l'analyse ou la visualisation de
ces données images. Par conséquent, les logiciels et les bibliothèques
que nous utilisons dans notre recherche quotidienne, devraient également
être génériques, afin de s'adapter le mieux possible aux données à
traiter. Dans ce séminaire, je présenterai quelques outils développés
dans cette optique (au laboratoire GREYC, équipe IMAGE), qui possèdent
différents niveaux d'utilisations. Je commencerai tout d'abord par
présenter CImg, une bibliothèque C++ "template" (donc générique par
nature), qui a pour but de faciliter l'implémentation d'algorithmes de
traitements d'images personnalisés. Puis, j'introduirai G'MIC, un
langage de script reprenant la plupart des éléments de CImg, qui est
dédié au traitement et à l'analyse d'images "de tous les jours".
J'essaierai de montrer comment ces différents outils indépendants sont
organisés et comment ils cherchent à aider le chercheur ou le
programmeur en traitement d'images, autant d'un point de vue
programmation pure que d'un point de vue plus haut niveau.
-- David Tschumperlé est chargé de recherche CNRS, travaillant dans
l'équipe IMAGE du GREYC, depuis 2004. Il s'intéresse principalement aux
méthodes variationnelles et EDP pour le traitement d'images local et/ou
non-local.
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.
--
Daniela Becker
[View Less]
Hello,
I'm happy to announce the release of FiXme version 4.0.
#### WARNING: this is a major release containing many new features and heavy
#### internals refactoring. FiXme 4.0 comes with unprecedented flexibiity,
#### unrivalled extensibility and unchallenged backward-INcompatibility.
What's new in version 4.0
=========================
** Support for collaborative annotations
suggested by Michael Kubovy
** Support for "targeted" notes and environments
(highlighting a portion of text),…
[View More] suggested by Mark Edgington.
** Support for "floating" notes
(not specific to any portion of text), suggested by Rasmus Villemoes.
** Support for alternate layout autoswitch in TeX's inner mode
suggested by Will Robertson.
** Support for automatic language tracking in multilingual documents
** Support for themes
** Extended support for user-provided layouts
** Support for key=value argument syntax in the whole user interface
** New command \fxsetup
** Homogenize log and console messages
** Heavy internals refactoring
Description
===========
FiXme is a collaborative annotation tool for LaTeX documents. Annotating a
document refers here to inserting meta-notes, that is, notes that do not
belong to the document itself, but rather to its development or reviewing
process. Such notes may involve things of different importance levels, ranging
from simple "fix the spelling" flags to critical "this paragraph is a lie"
mentions. Annotations like this should be visible during the development or
reviewing phase, but should normally disapear in the final version of the
document.
FiXme is designed to ease and automate the process of managing collaborative
annotations, by offering a set of predefined note levels and layouts, the
possibility to register multiple note authors, to reference annotations by
listing and indexing etc. FiXme is extensible, giving you the possibility to
create new layouts or even complete "themes", and also comes with support for
AUC-TeX.
Grab it directly here:
http://www.lrde.epita.fr/~didier/software/latex.php#fixme
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
[View Less]
Hello,
I'm happy to announce the release of DoX version 2.0.
What's new in this version:
* Optional argument to \doxitem
* Optional argument to \Describe<Item> and the <Item> environment
* Extend \DescribeMacro, \DescribeEnv and their corresponding environments
The doc package provides LaTeX developers with means to describe the
usage and the definition of new commands and environments. However,
there is no simple way to extend this functionality to other items
(options or …
[View More]counters for instance). DoX is designed to circumvent this
limitation, and provides some improvements over the existing
functionality as well.
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
[View Less]
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 …
[View More]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.
[View Less]
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 …
[View More]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.
[View Less]
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 …
[View More]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
[View Less]