Séminaires du DIT 2006 - 2007

Résumés des exposés

Grammaires attribuées et composants logiciels

par E. Badouel, chargé de recherche à l'INRIA, équipe S4 de l'IRISA,
le 19 septembre 2006

Sécurité, probabilités, et au-delà

par Jean Goubault-Larrecq, professeur ENS Cachan, LSV & INRIA projet SECSI,
le 3 octobre 2006

Formal Validation Experiments with the Biometric Passport

par V. Rusu, chargé de recherche à l'INRIA, équipe Vertecs de l'IRISA,
le 17 octobre 2006

Systèmes pair-à-pair et la multiplication des overlays

par M. Bertier, maître de conférence à l'INSA, équipe Asap de l'IRISA,
le 7 novembre 2006

Les systèmes pair-a-pair sont basés sur des réseaux logiques dit overlay qui permettent de faire abstraction de la connexion physique souvent complexe entre les différents pairs d'un système. Ces overlays, de part leur construction, permettent d'optimiser le réseau en fonction de caractéristiques données (réseau structuré, non structuré, ...). La multiplication des applications pair-à-pair a donc naturellement menée à la multiplication des overlays, si bien que nous pouvons nous interroger sur la possibilité de faire cohabiter ces overlays afin de fournir différentes caractéristiques et de s'interroger sur l'impact en termes de performance de cette cohabitation.

Le projet Bunraku : fertilisation croisée des travaux de recherche en réalité virtuelle et sur l'humain virtuel

par S. Donikian, chargé de recherches au CNRS, équipe Bunraku de l'IRISA,
le 21 novembre 2006

Bunraku fait suite au projet SIAMES dirigé pendant 12 ans par Bruno Arnaldi. L'objectif de recherche commun des membres de l'équipe peut-être défini par : "Perception, décision et action d'humains réels et virtuels au sein d'univers virtuels et l'impact sur le monde réel". Pour atteindre cet objectif, il est nécessaire de relever quelques challenges :

• Accroître la fertilisation croisée entre réalité virtuelle et humain virtuel ;
• Permettre à des humains réels et virtuels d'interagir de la façon la plus naturelle possible au sein d'un monde virtuel partagé ;
• Combiner deux sortes d'interaction de nature différentes : cognitive et physique.

L'activité de l'équipe se décompose en trois thèmes complémentaires :

1. Interaction multimodale avec les objets du monde,
2. Humains virtuels autonomes expressifs,
3. Langages de scénarisation de sessions interactives

Je présenterai les résultats de recherche récents obtenus dans ces trois thèmes et m'attarderai plus longtemps sur celui concernant les humains virtuels.

Un exemple de la recherche en sport et sa relation à l'informatique

par J. Prioux, professeur ENS Cachan, directeur du département EPS,
le 05 décembre 2006

Tetris, traces, tresses; modélisation, combinatoire et performances

par J. Mairesse, chargé de recherches au CNRS, LIAFA, Paris,
le 16 janvier 2007

Le cadre général est la modélisation, l'analyse et l'optimisation de systèmes discrets, éventuellement aléatoires. Cette problématique se situe au carrefour entre informatique théorique et mathématiques. Les motivations sont à la fois internes aux mathématiques (par exemple, prouver des théorèmes ergodiques pour certains processus aléatoires) et rattachées à des questions pratiques propres à l'informatique (par exemple, optimiser le débit dans un réseau de communication). On s'intéresse à un ensemble de modèles de Systèmes a Evénéments Discrets (SED) dont émerge la notion de marche aléatoire sur des structures algébriques. Premier exemple, les graphes d'événements aléatoires (marche aléatoire sur un semigroupe de matrices max-plus); deuxième exemple, les empilements de pièces aléatoires (marche aléatoire sur un monoide ou groupe partiellement commutatif). Le modèle de Tetris sera le fil rouge de l'exposé. Il constitue un paradigme pour les différents modèles de SED qui nous intéressent, et qui peuvent se voir comme des spécialisations, variations ou extensions de Tetris. Tetris constitue également le point de rencontre de deux classes de modèles mathématiquement intéressantes : les systèmes itérés d'applications topicales (max-plus dans le cas de Tetris) et les marches aléatoires sur les groupes ou monoides discrets (traces dans le cas de Tetris). Par ailleurs, le modèle de Tetris est intéressant en lui-même et sera étudié en tant que tel. On s'intéresse aux aspects énumératifs (combien d'empilements différents ?), à l'optimisation (à quoi ressemblent les empilements les plus denses ?) et à l'évaluation de performances (à quelle vitesse se constituent les empilements aléatoires ?).

High Performance Processor Architecture

par A. Seznec, directeur de recherche à l'INRIA, équipe Caps de l'IRISA,
le 30 janvier 2007

Dans cette présentation, nous présentons tout d'abord les principes généraux qui ont permis de construire des processeurs hautes performances depuis les années 80: pipeline, parallélisme d'instructions, exécution spéculative, hiérarchie mémoire. Depuis quelques années, il est de plus possible d'intégrer plusieurs processeurs sur un seul composant. Nous montrons en quoi ce tournant technologique ouvre de nouvelles opportunités.

State based automatic verification of systems

par D. Peled, professeur Bar-Ilan University, Israel,
le 13 février 2007

Le modèle polyédrique

Patrice Quinton, Université Européenne de Bretagne, IRISA - ENS Cachan,
le 6 mars 2007

On désigne par "modèle polyédrique" la représentation des calculs intensifs - du type "nid de boucles" - comme des fonctions associées à des points à coordonnées entières inclus dans des polyèdres convexes. Cette représentation permet d'effectuer des analyses de performances, des transformations de programmes, ou encore la génération d'architectures pour évaluer des boucles. Mon exposé présentera les principes sur lesquels repose ce modèle et illustrera quelques unes de ses applications potentielles, en particulier pour la génération d'architectures parallèles.

Le droit des TIC : thèmes et problématiques de recherche

Annie Blandin, professeure à l'ENSTB,
le 20 mars 2007

Du droit des télécommunications au droit des contenus numériques, en passant par la régulation des usages des technologies, le droit des TIC couvre un large domaine et se situe au coeur des enjeux du développement de la société de l'information et de la connaissance. A l'interface du droit et de la technologie, le droit des TIC est un domaine de recherche qui, outre les juristes, mobilise des chercheurs de différentes disciplines, notamment techniques. Tantôt la technologie est au service du droit, en matière de signatures électroniques par exemple, tantôt c'est le droit qui lui vient en aide, s'agissant par exemple de la protection juridique des mesures techniques de protection des oeuvres. Dans tous les cas, l'effort d' adaptation est mutuel.
Construites à partir de l'identification des caractéristiques de ce droit, les problématiques de recherche appellent des méthodes d' analyse différenciées en fonction des finalités et de la valorisation choisies. L'objet de la conférence consiste à présenter les principales problématiques sur la base de cas précis, de manière à donner une vision globale des enjeux actuels. Certains d'entre eux sont très présents dans le débat public, par exemple la définition d' un nouveau modèle culturel face au téléchargement massif de fichiers sur les réseaux P2P, l'évolution du service universel des communications dans un marché concurrentiel, la protection de la vie privée dans le contexte du maillage de données autour de l'individu et des traitements à des fins de sécurité publique, l'amélioration de la sécurité des réseaux et des systèmes d'information.

Indexation de tres grandes bases d'images satellitaires pour l'observation de la Terre

Henri Maitre, professeur a l'ENST Paris,
le 3 avril 2007

La multiplication des satellites d'observation de la Terre l'accroissement de leurs performances en termes de nombre et de taille d'images acquises, promet de saturer tres rapidement nos capacites d'interpretation et d'annotation humaine de ces images. Faudra t'il detruire des documents sans les avoir jamais vus ? Faudra t'il archiver dans des memoires de plus en plus volumineuses des images dont tout le monde ignorera le contenu ? Pour eviter ces issues regrettables, des programmes sont actuellement conduits pour indexer automatiquement les images, de facon a archiver des descripteurs pertinents lors de requetes.