Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Seminar/2010-12-08  + (Depuis 2000, on assiste à un regain d'inté … Depuis 2000, on assiste à un regain d'intérêt pour les langages typés dynamiquement</br>regroupés sous la bannière "langage de script". Pour les langages de script les plus</br>populaires, comme PHP, Python ou Ruby, il existe, en plus des implantations</br>écrites en C, des implantations plus récentes utilisant des environnements</br>comme la machine virtuelle Java (JVM) ou la plateforme .Net.</br>Ces implantations sont souvent plus efficaces que les implantations historiques,</br>pourtant, ces environnements d'exécution utilisent des langages intermédiaires</br>typés statiquement qui sont peu propices à l'implantation de langage typé dynamiquement.</br>Partant de ce constat, le Java Community Process a créé la JSR 292 intitulée</br>"Supporting Dynamically Typed Languages on the JavaTM Platform" dont le but</br>est de proposer une API facilitant l'implantation et les performances des</br>langages de script sur une machine virtuelle Java.</br></br>Mon exposé se compose de deux parties.</br></br>Dans un premier temps, en tant que membre du groupe d'experts, j'essaierai de restituer</br>de façon didactique les concepts introduits par la JSR 292 en expliquant les tenants et les aboutissants.</br></br>La seconde partie, plus personnelle, montrera comment développer l'environnement</br>d'exécution d'un langage de script en utilisant les outils fournis par la JSR 292.</br>Je m'appuierai pour cela sur un prototype de langage que j'ai développé et nommé</br>PHP.reboot.ge que j'ai développé et nommé PHP.reboot.)
• Seminar/2021-03-31  + (Despite its NP-completeness, propositional … Despite its NP-completeness, propositional Boolean satisfiability (SAT) covers a broad spectrum of applications. Nowadays, it is an active research area finding its applications in many contexts like planning decision, cryptology, computational biology, hardware and software analysis. Hence, the development of approaches allowing to handle increasingly challenging SAT problems has become a major focus: during the past eight years, SAT solving has been the main subject of my research work. This talk presents some of the main results we obtained in the field.the main results we obtained in the field.)
• Seminar/2013-02-20  + (En morphologie mathématique, la représenta … En morphologie mathématique, la représentation d'une image par l'arbre</br>des formes n'est en fait pas vraiment auto-duale: elle se heurte à la</br>dualité entre séparation et connexité (c4 vs. c8 en 2D) et au final</br>des aberrations apparaissent. À la recherche d'un algorithme original</br>pour le calcul de l'arbre des formes, une nouvelle représentation</br>discrète d'images 2D est apparue. Définie sur la grille de Khalimsky</br>avec la topologie d'Alexandroff et s'appuyant sur l'analyse</br>multivoque, cette représentation a la particularité de satisfaire à de</br>nombreuses propriétés du continu et de s'affranchir des problèmes</br>topologiques classiques.hir des problèmes topologiques classiques.)
• Seminar/2017-11-29  + (Formal verification (aka Symbolic Model Ch … Formal verification (aka Symbolic Model Checking) is becoming a</br>mainstream technology in system on a chip (SoC)/intellectual property</br>design and verification methodologies. In the past, the usage of</br>formal verification was limited to a small range of applications; it</br>was mainly used to verify complex protocols or intrinsic logic</br>functionality by formal verification experts. In recent years, we saw</br>a rapid adoption of formal verification technology and many new</br>application areas, such as checking of configuration and status</br>register accesses, SoC connectivity verification, low power design</br>verification, security applications, and many more. In this talk, we</br>give an overview of the JasperGold Formal Verification Platform. The</br>platform provides a wide range of formal apps, which ease adoption of</br>formal verification by offering property generation and other targeted</br>capabilities for specific design and verification tasks. In addition,</br>JasperGold offers a unique interactive debug environment (called</br>Visualize) that allows the user to easily analyze the verification</br>results. We present JasperGold from a user’s point of view, showcase</br>selected apps, and discuss features that were essential for their wide</br>adoption.at were essential for their wide adoption.)
• Seminar/2017-09-27  + (Frama-C est une plateforme d'analyse de co … Frama-C est une plateforme d'analyse de code C visant à vérifier des programmes</br>C de taille industrielle. Elle fournit à ses utilisateurs une collection de</br>greffons effectuant notamment des analyses statiques par interprétation</br>abstraite et des méthodes déductives ou encore permettant des vérifications à</br>l'exécution. La plateforme permet également de faire coopérer les analyses grâce</br>au partage d'un noyau et d'un langage de spécification communs.</br></br>Cet exposé présente une vue générale de la plateforme, de ses principaux</br>analyseurs et de quelques applications industrielles. Il se concentre sur le</br>langage de spécification ACSL et sur différentes façons de vérifier des</br>spécifications ACSL avec des analyses statiques ou dynamiques.avec des analyses statiques ou dynamiques.)
• Seminar/2014-11-19  + (Generic Tools, Specific Languages is an ap … Generic Tools, Specific Languages is an approach for developing tools and</br>applications in a way that supports easier and more meaningful adaptation to</br>specific domains. To achieve this goal, GTSL generalizes programming</br>language IDEs to domains traditionally not addressed by languages and</br>IDEs.</br></br>At its core, GTSL represents applications as documents / programs / models</br>expressed with suitable languages. Application functionality is provided</br>through an IDE that is aware of the languages and their semantics. The IDE</br>provides editing support, and also directly integrates domain-specific</br>analyses and execution services. Applications and their languages can be</br>adapted to increasingly specific domains using language engineering; this</br>includes developing incremental extensions to existing languages or creating</br>additional, tightly integrated languages. Language workbenches act as the</br>foundation on which such applications are built.tion on which such applications are built.)

• Seminar/2018-06-13  + (Hierarchical image representations have be … Hierarchical image representations have become increasingly popular in</br>image processing and computer vision over the past decades. Indeed,</br>they allow a modeling of image contents at different (and</br>complementary) levels of scales, resolutions and semantics. Methods</br>based on such image representations have been able to tackle various</br>complex challenges such as multi-scale image segmentation, image</br>filtering, object detection, recognition, and more recently image</br>characterization and understanding. In this talk, we will focus on the</br>binary partition tree (BPT), which is a well-known hierarchical</br>data-structure, frequently involved in the design of image</br>segmentation strategies. In a first part, we will focus on the</br>construction of such trees by providing a generalization of the BPT</br>construction framework to allow one to embed multiple features, which</br>enables handling many metrics and/or many images. In a second part,</br>we will discuss how it may be possible to evaluate the quality of such</br>a structure and its ability to reconstruct regions of the image</br>corresponding to segments of reference given by a user. Finally, we</br>will see some examples of image analysis and recognition processes</br>involving these hierarchical structures. The main thematic application</br>is remote sensing and satellite image analysis.mote sensing and satellite image analysis.)
• Seminar/2013-05-29  + (Il existe de nombreux langages informatiqu … Il existe de nombreux langages informatiques, et les débats concernant leurs</br>avantages et inconvénients respectifs sont nombreux, mais peu considèrent la</br>question du développement d'applications sécurisées, c'est-à-dire robustes</br>contre les actions d'agents malveillants. C'est l'optique abordée dans cette</br>présentation, qui rebondit sur de nombreuses illustrations dans différents</br>langages afin de pouvoir cerner ce que seraient les bonnes propriétés d'un</br>langage vis-à-vis de la sécurité, mais aussi des recommandations de codage</br>pertinentes ou encore des outils pertinents pour le développement et</br>l'évaluation d'applications de sécurité.t l'évaluation d'applications de sécurité.)
• Seminar/2016-03-16  + (Il y a un intérêt grandissant pour le déve … Il y a un intérêt grandissant pour le développement d’outils de</br>traitements adaptés aux images multimodales (plusieurs images de la</br>même scène acquises avec différentes caractéristiques). Permettant une</br>représentation plus complète de la scène en question, ces images</br>multimodales ont de l'intérêt dans plusieurs domaines du traitement</br>d'images. Les exploiter et les manipuler de manière optimale soulève</br>cependant plusieurs questions.</br></br>Dans cet exposé, nous étendrons les représentations hiérarchiques,</br>outil puissant pour le traitement et l’analyse d’images classiques,</br>aux images multimodales afin de mieux exploiter l’information</br>additionnelle apportée par la multimodalité et améliorer les</br>techniques classiques de traitement d’images. En particulier, nous</br>nous concentrerons principalement sur deux modalités différentes,</br>fréquemment rencontrées dans le domaine de la télédétection:</br></br>- La modalité spectrale-spatiale, propre aux images hyperspectrales</br>(images à très haute résolution spectrale - plusieurs centaines de</br>canaux). Une intégration adaptée de cette information</br>spectrale-spatiale lors de l'étape de construction de la</br>représentation hiérarchique (en l’occurrence, un arbre de partition</br>binaire) nous permettra par la suite, via un processus de</br>minimisation énergétique, de proposer une carte de segmentation de</br>l'image optimale vis-à-vis de l'opération de démélange spectral.</br></br>- La modalité sensorielle, c'est-à-dire les images acquises par des</br>capteurs de différentes natures. Ces images "multisources",</br>porteuses d'informations à la fois redondantes et complémentaires,</br>sont particulièrement intéressantes pour des applications de</br>segmentation. Nous proposerons une méthode se basant sur le très</br>récent concept de tresses de partitions (extensions des hiérarchies</br>de partitions classiques) afin de réaliser l'analyse hiérarchique de</br>ces images multisources, et en obtiendrons une segmentation (là</br>encore) via un processus de minimisation énergétique.</br></br>- Enfin, nous décrirons très brièvement une méthode d'analyse d'images</br>multitemporelles permettant d'effectuer du suivi d'objet, en se</br>basant également sur les représentations hiérarchiques des</br>différentes images de la séquence.ues des différentes images de la séquence.)
• Seminar/2020-03-18  + (In a partially observable system, diagnosi … In a partially observable system, diagnosis is the task of detecting certain events, for instance fault occurrences. In the presence of hostile observers, on the other hand, one is interested in rendering a system opaque, i.e. making it impossible to detect certain "secret" events. The talk will present some decidability and complexity results for these two problems</br>when the system is represented as a finite automaton or a Petri net. We then also consider the problem of active diagnosis, where the observer has some control over the system. In this context, we study problems such as the computational complexity of the synthesis problem, the memory required for the controller, and the delay between a fault occurrence and its detection by the diagnoser. The talk is based on joint work with B. Bérard, S. Haar, S. Haddad, T. Melliti, and S. Schmitz.ar, S. Haddad, T. Melliti, and S. Schmitz.)
• Seminar/2020-12-16  + (In a partially observable system, diagnosi … In a partially observable system, diagnosis is the task of detecting certain events, for instance fault occurrences. In the presence of hostile observers, on the other hand, one is interested in rendering a system opaque, i.e. making it impossible to detect certain "secret" events. The talk will present some decidability and complexity results for these two problems</br>when the system is represented as a finite automaton or a Petri net. We then also consider the problem of active diagnosis, where the observer has some control over the system. In this context, we study problems such as the computational complexity of the synthesis problem, the memory required for the controller, and the delay between a fault occurrence and its detection by the diagnoser. The talk is based on joint work with B. Bérard, S. Haar, S. Haddad, T. Melliti, and S. Schmitz.ar, S. Haddad, T. Melliti, and S. Schmitz.)
• Seminar/2009-02-25  + (Je présenterai sur la base d'une démo une … Je présenterai sur la base d'une démo une application des extensions</br>de langages, à savoir une extension Java pour l'optimisation. Cet</br>exemple montre la mise en oeuvre concrète dans Eclipse, les gains de</br>productivité et de qualité obtenus par rapport aux approches</br>classiques Java+DSL, la différence entre cette approche et un</br>générateur de code ou un préprocesseur. Il montre également une</br>utilisation originale d'un compilateur: la génération automatique</br>d'interface graphique.</br></br>Je parlerai aussi des futurs projets d'Ateji dans le domaine des</br>extensions de langage.dans le domaine des extensions de langage.)
• Seminar/2017-02-08  + (Vcsn est une plateforme consacrée aux auto … Vcsn est une plateforme consacrée aux automates et aux expressions</br>rationnelles. Parce qu'elle traite une large variété de natures</br>d'automates, elle place en son coeur le concept de "contexte", qui</br>type les automates, les expressions rationnelles, etc. La plateforme</br>repose sur une bibliothèque C++14 "templatée" par des contextes, au</br>dessus de laquelle la couche "dyn" qui, grâce à de l'effacement de</br>type et de la compilation à la volée, offre à l'utilisateur le confort</br>d'une bibliothèque traditionnelle avec la généricité et les</br>performances d'une bibliothèque templatée. Ces bibliothèques sont</br>ensuite exposées au travers d'outils en ligne de commande, mais aussi</br>Python et surtout IPython, qui permettent une exploration interactive</br>simple d'algorithmes.</br>La bibliothèque Vcsn repose sur un ensemble d'objets - automates,</br>étiquettes, poids, polynômes, expressions rationnelles et</br>développements rationnels - sur lesquels sont fournis plus de trois</br>cents algorithmes. Dans certains cas, Vcsn offre des fonctionalités</br>inégalées, et certains de ces algorithmes ont des performances</br>supérieures à celles des projets comparables.</br></br>Nous ferons une présentation de l'architecture générale de Vcsn, sous</br>la forme d'une démonstration guidée par les questions, ainsi qu'un</br>exposé des objectifs de Vcsn 3.0.si qu'un exposé des objectifs de Vcsn 3.0.)
• Seminar/2009-02-11  + (JoCaml est une extension d'Objective Caml … JoCaml est une extension d'Objective Caml pour la programmation</br>concurrente et distribuée, inspirée par le join-calcul. Nous avons</br>récemment publié une nouvelle version de JoCaml, dont la compatibilité</br>avec OCaml est meilleure que celle de la version initiale de F. Le</br>Fessant. La nouvelle version pourra facilement être mise à jour au</br>rythme d'OCaml et est binaire-compatible avec OCaml.</br></br>L'exposé s'attachera plus au langage JoCaml qu'au système JoCaml. Il</br>montrera comment, à partir d'un programme potentiellement</br>parallélisable écrit en OCaml (le ray tracer du concours ICFP 2001),</br>on peut facilement produire un programme distribué, dans le cas</br>abordé, très efficace. Ce sera l'occasion d'aborder la programmation</br>en JoCaml de la coordination de multiples agents coopérants, d'une</br>manière simple et concise dans l'esprit de la programmation</br>fonctionnelle.</br></br>JoCaml est disponible en http://jocaml.inria.fr/.est disponible en http://jocaml.inria.fr/.)
• Seminar/2016-05-18  + (Julia est un langage de programmation rela … Julia est un langage de programmation relativement jeune, développé au</br>MIT, et vendu comme langage dynamique à haute performance pour le</br>calcul scientifique numérique. L'un des co-auteurs du langage a une</br>connaissance de Scheme, et Julia s'inspire en effet largement de Scheme,</br>Common Lisp et Dylan, au point qu'il pourrait presque revendiquer un</br>lien de parenté avec Lisp. Tout ceci est déjà suffisant pour capter</br>notre attention, mais il y a plus: Julia semble également tirer parti de</br>techniques modernes d'optimisation pour les langages dynamiques, en</br>particulier grâce à son compilateur « Just-in-Time » basé sur LLVM.</br></br>Dans cette présentation, nous ferons un tour des aspects les plus</br>saillants du langage, avec une légère emphase sur ce qui en fait (ou</br>pas) un Lisp, quelques fois même (pas toujours) un meilleur Lisp que</br>Lisp lui-même.jours) un meilleur Lisp que Lisp lui-même.)
• Seminar/2017-02-22  + (L'Imagerie par Résonance Magnétique foncti … L'Imagerie par Résonance Magnétique fonctionnelle (IRMf) est une source</br>prometteuse de biomarqueurs permettant le diagnostic de troubles</br>neuropsychiatriques sur des sujets non coopératifs.</br>L'IRMf s'étudie en établissant un atlas de régions cérébrales représentatif</br>de l'organisation fonctionnelle, puis en étudiant la corrélation entre leurs</br>signaux.</br>Pour les extraire, nous proposons une approche d'apprentissage de</br>dictionnaire multi-sujets intégrant une pénalité imposant compacité spatiale et</br>parcimonie.</br>Nous sélectionnons les unités de base des réseaux fonctionnels</br>extraits à l'aide de techniques de segmentation inspirées du domaine de la</br>vision. Nous montons à l'échelle sur de gros jeux de données en utilisant</br>une stratégie d'optimisation stochastique.</br>A défaut de vérité terrain, nous proposons d'évaluer les modèles générés</br>à l'aide de métriques de stabilité et de fidélité.</br>Nous intégrons ensuite notre méthode de définition de régions dans un</br>pipeline entièrement automatisé, afin de réaliser une tâche de diagnostic des troubles</br>autistiques à travers différents sites d'acquisition et sur des</br>sous-ensembles d'homogénéité variable. Nous montrons que nos modèles ont une meilleure</br>performance, à la fois relativement aux métriques d'évaluation mais également sur nos</br>résultats expérimentaux.</br>Enfin, par une analyse post-hoc des résultats, nous montrons que la</br>définition de région est l'étape la plus importante du pipeline et que l'approche que</br>nous proposons obtient les meilleurs résultats. Nous fournissons également</br>des recommandations sur les méthodes les plus performantes pour les autres</br>étapes du pipeline.mantes pour les autres étapes du pipeline.)
• Seminar/2008-05-28  + (L'algorithmique constructive permet, parta … L'algorithmique constructive permet, partant d'une spécification écrite</br>sous forme d'une combinaison non-efficace de fonctions, de dériver, sous</br>certaines conditions, des algorithmes parallèles efficaces. Cette dérivation</br>s'appuie sur des théorèmes d'équivalence de programmes et est formellement</br>correcte. Elle aide le programmeur à concevoir des programmes parallèles.</br>Toutefois les bibliothèques de squelettes proposées ne sont pas certifiées.</br>Dans le cadre d'une collaboration avec l'université de Tokyo, nous proposons</br>de cibler des squelettes algorithmiques développés en BSML et certifiés à</br>l'aide de l'assistant de preuve Coq.iés à l'aide de l'assistant de preuve Coq.)
• Seminar/2017-11-08  + (La lecture des lignes de la main est une a … La lecture des lignes de la main est une activité ancestrale sans</br>fondement scientifique, même si certains motifs sont associés à des</br>malformations congénitales comme la trisomie 21. Cette conférence</br>décrira l’émergence d’une véritable science de la lecture des « lignes</br>du cerveau humain », qu’il s’agisse des plissements de son cortex ou</br>de la trajectoire des faisceaux de fibres qui constituent son câblage</br>à longue distance. Des formes inhabituelles de ces plissements ou de</br>ces faisceaux sont parfois la trace d’anomalies développementales</br>susceptibles d’augmenter le risque de développer certaines</br>pathologies.isque de développer certaines pathologies.)
• Seminar/2012-06-20  + (L'arrivée des GPU (Graphics Processing Uni … L'arrivée des GPU (Graphics Processing Unit) a profondément changé la</br>manière de concevoir la notion de coprocesseur. A moins de 500€, il est</br>désormais possible d'avoir à sa disposition une puissance de calcul qui</br>n'était réservée jusqu'à un passé récent qu'aux grands centres de calcul. La</br>société Nvidia, en mettant au point l'environnement CUDA, a fourni à la</br>communauté des développeurs des moyens simples et efficaces pour rendre</br>cette puissance de calcul accessible au plus grand nombre. Depuis, sous</br>l'impulsion de la société Apple, le standard OpenCL est venu ouvrir la voie</br>d'une véritable parallélisation des applications sur l'ensemble des</br>ressources processeur offertes aux développeurs.</br></br>Cet exposé décrira les différentes technologies permettant la programmation</br>parallèle des GPU en mettant l'accent sur les contraintes actuelles et les</br>progrès à venir des futures architectures comme le processeur Kepler. Des</br>démonstrations ainsi que des exemples de code viendront compléter cet</br>exposé.es de code viendront compléter cet exposé.)
• Seminar/2010-11-10  + (L'idée d'une fonction est que la quantité … L'idée d'une fonction est que la quantité d'entrée détermine complètement la quantité de sortie. En informatique, la quantité est une structure de données qui peut être simple, booléenne, entière, ou complexe, image, graphe, arbre. Dans ce domaine, un champ de recherche est de construire un ensemble de fonctions élémentaires, puis par composition d'en créer des plus compliquées. Pour cette dernière, une solution pratique est le langage Caméléon conçu par V. Tariel et O. Cugnon de Sevricourt, qui est un langage de flux de données génériques dont la sortie est prévue en janvier 2011. Générique signifie que tous les types de données peuvent être intégrés dans le langage. Pour cette première, ce séminaire couvrira quelques définitions de fonctions primaires reliées à l'image, incorporées à la bibliothèque standard de Caméléon. A la manière de l'implémentation de la bibliothèque standard du C++, il y aura l'utilisation d'un côté de l'algorithme générique for\_each en typage statique et de l'autre des opérateurs et des itérateurs organisés en programmation orientée objet. L'itérateur localise l'action suivant différents paradigmes : ensemble fini et dénombrable, voisinage, convolution, zone d'influence. L'opérateur agit suivant différents paradigmes : arithmétique, croissance de régions.mes : arithmétique, croissance de régions.)
• Seminar/2012-03-14  + (L'industrie des effets spéciaux produit un … L'industrie des effets spéciaux produit une grande quantité d'images</br>qu'il faut traiter et afficher. Dans le cadre de ses développements</br>internes, Mikros Image a développé et mis en Open Source un player</br>d'images temps réel : duke. Dans cet exposé je décrirai quels sont</br>les enjeux techniques d'un tel logiciel (allocation mémoire, accès</br>disque, multiplicité des formats, affichage, traitement...) puis</br>j'expliquerai plus en détails les étapes de la conception d'un</br>composant essentiel permettant de lire et décoder le plus rapidement</br>possible les images à afficher. Ce composant ayant pour but d'être</br>intégré dans d'autres outils, il doit être réutilisable.'autres outils, il doit être réutilisable.)
• Seminar/2014-06-11  + (L'informatique graphique 3D, qu'il s'agiss … L'informatique graphique 3D, qu'il s'agisse de modélisation de formes,</br>d'analyse d'animation ou de synthèse d'images, exploite intensivement divers</br>types de structures spatiales telles que les hiérarchies volumes englobant,</br>les cages de déformation, les squelettes d'animation ou bien encore les</br>structures médianes.</br></br>Dans cette présentation, je reviendrai sur quelques uns de nos travaux</br>récents sur ce sujet. Je détaillerai notamment une nouvelle forme de</br>représentation d'objets 3D, les Sphere-Meshes, bien adaptés à</br>l'approximation extrême de forme et à l'auto-rigging pour la déformation</br>interaction. Je discuterai ensuite plusieurs projets liés à l'analyse de</br>formes, dont le système CageR pour l'ingénierie inverse de modèles issus</br>de performance capture. J'aborderai enfin le rendu temps-réel et le calcul</br>GPU dans le cadre l'éclairage global, qui s'appuie lui aussi sur la gestion</br>efficace d'une structure particulière : un arbre de radiance.</br></br>À chaque étape, je donnerai des éléments sur l'implémentation pratique de</br>ces approches et sur les nombreux défis qu'il reste à relever. les nombreux défis qu'il reste à relever.)
• Seminar/2008-11-26  + (L'outil BTL++ (Benchmark Template Library … L'outil BTL++ (Benchmark Template Library in C++) développé à EDF R&D se</br>fonde sur la programmation générique et permet de mesurer les performances</br>de noyaux de calcul intensif. Il s'agit d'une bibliothèque générique dont</br>la conception vise à faciliter l'extensibilité par l'utilisateur.</br>Récemment, le lien entre les mesures de performance et la génération</br>automatique de bibliothèques optimales à été étudié pour le domaine de</br>l'algèbre linéaire dense. Quelques mesures de performance de noyaux de</br>calcul à base d'"Expression Template" permettront d'illustrer l'usage de</br>l'outil BTL++.mettront d'illustrer l'usage de l'outil BTL++.)
• Seminar/2010-03-31  + (Ce séminaire porte sur certains de mes tra … Ce séminaire porte sur certains de mes travaux en matière de</br>généricité et réutilisation en traitement d'images. Ces travaux sont</br>présentés à une échelle algorithmique, bas-niveau, et à une échelle</br>logicielle, plutôt haut-niveau. À l'échelle de l'algorithme, nous</br>présentons une technique permettant d'étendre la généricité des</br>algorithmes de traitement d'images par rapport à la région d'intérêt</br>traitée, en complément de la généricité par rapport aux données</br>(1D, 2D, 3D, scalaires, couleurs, multi-spectrales, séquences,</br>etc.) Cette méthode repose sur une adaptation du patron de</br>conception « Iterator » et sur le polymorphisme de compilation en</br>C++. Au niveau logiciel, l'objectif de la généricité et de</br>réutilisation est de faciliter le couplage des algorithmes « purs »</br>avec des fonctionnalités supplémentaires telles que la visualisation,</br>l'interface homme-machine, les entrées-sorties... Dans ce cas, je</br>présente les principes d'une architecture flexible et évolutive</br>implémentée en C++, combinant la notion de (programmation par) rôle et</br>la notion de (programmation par) composants réutilisables. Ces travaux</br>sont illustrés par des applications dans le domaine médical. des applications dans le domaine médical.)
• Seminar/2009-05-27  + (La Low-Level Virtual Machine (LLVM) est un … La Low-Level Virtual Machine (LLVM) est un ensemble de bibliothèques</br>et d'outils qui facilitent le développement et l'optimisation de</br>compilateurs, de générateurs de code et de machines virtuelles. Clang</br>et VMKit utilisent LLVM pour leur générateur de code à différents</br>niveaux: l'un pour la compilation statique de langages de la famille C</br>(C/C++/ObjectiveC), et l'autre pour la compilation dynamique</br>d'applications Java ou .Net.</br></br>Dans cet exposé, je présenterai ces trois projets, et rentrerai dans</br>les détails de VMKit, que j'ai développée dans le cadre de ma</br>thèse. Je finirai par montrer les exemples de recherche auxquels</br>nous nous adressons avec l'aide de VMKit, au sein de l'équipe de</br>recherche INRIA/Regal.sein de l'équipe de recherche INRIA/Regal.)
• Seminar/2016-01-27  + (La cryptographie joue un rôle clé dans la … La cryptographie joue un rôle clé dans la sécurité des infrastructures</br>de communication. Il est donc d'une importance capitale de construire</br>des système cryptographiques apportant de fortes garanties de</br>sécurité. C'est dans ce but que les constructions cryptographiques</br>sont étudiées scrupuleusement et viennent avec une preuve de sécurité</br>bornant la probabilité qu'un adversaire casse le crypto-système.</br></br>La majorité des preuves de sécurité sont réductionnistes: elles</br>construisent, à partir d'un adversaire PPT (Probabilistic</br>Polynomial-Time) violant avec une probabilité écrasante la sécurité de</br>la construction cryptographique, un second adversaire PPT cassant une</br>hypothèse de sécurité. Cette approche, connue sous le nom de</br>"sécurité formelle", permet sur le principe de fournir des preuves</br>mathématiques rigoureuses et détaillées de sécurité.</br></br>Les récentes constructions cryptographiques (et donc leur analyse de</br>sécurité) sont de plus en plus complexes, et il n'est pas rare</br>qu'elles incluent maintenant la preuve sécurité de l'implémentation du</br>crypto-système, ou de sa résistance aux canaux cachés. En conséquence,</br>les preuves de sécurité de ces algorithmes présentent un niveau de</br>complexité tel qu'un grand nombre d'entre elles sont fausses -</br>prouvant la sécurité d'une construction qui ne l'est pas.</br></br>Une solution prometteuse pour pallier ce problème est de développer</br>des outils formels d'aide à la construction et vérification de</br>crypto-systèmes. Bien que de nombreux outils existent pour la</br>cryptographie symbolique, peu d'effort a été fait pour la</br>cryptographie calculatoire - pourtant utilisée largement parmi les</br>cryptographes.</br></br>Après avoir introduit le domaine de la preuve formelle et de la</br>sécurité formelle, je présenterai EasyCrypt, un outil d'aide à la</br>preuve des constructions cryptographiques dans le modèle</br>calculatoire. EasyCrypt adopte une approche reposant sur la</br>formalisation de constructions cryptographiques à partir de code</br>concret, dans laquelle la sécurité et les hypothèses de sécurité sont</br>modélisées à partir de programmes probabilistes et où les adversaires</br>sont représentés par du code non spécifié. Une telle approche permet</br>l'utilisation d'outils existants pour la vérification de programmes.</br></br>EasyCrypt est développé conjointement entre l'IMDEA Software</br>Institute et Inria.entre l'IMDEA Software Institute et Inria.)
• Seminar/2009-12-02  + (Le processeur CELL BE développé par le con … Le processeur CELL BE développé par le consortium IBM, Sony et Toshiba</br>a eu un impact important dans le monde du calcul scientifique mais</br>aussi dans le monde du jeu. Il est le processeur de base de la</br>première machine à avoir atteint 1 Pflops et aussi celui de la Play</br>Station 3 de Sony. Pour arriver à ce niveau de performance, il intègre</br>9 coeurs hétérogènes interconnectés par un bus. Le coeur principal</br>(PPE) appartient à la famille des PowerPC. Les 8 autres coeurs (SPE)</br>sont spécialisés pour le calcul. Après une présentation détaillée de</br>l'architecture du processeur, nous développerons son mode de la</br>programmation : lancement de threads de calcul sur les SPE, échange de</br>données, programmation SIMD.E, échange de données, programmation SIMD.)
• Seminar/2011-03-16  + (La plupart des bibliothèques génériques en … La plupart des bibliothèques génériques en traitement d’images mettent l’accent sur la généricité, la mise en pipeline d’opérations basiques, mais peu mettent l’accent sur la sélection d’un sous-ensemble de pixels concerné par un algorithme. En pratique de nombreux algorithmes ne s’appliquent que sur un sous-ensemble simple (rectangle) ou complexe (forme contiguë quelconque) de pixels qui ne sont qu’une petite fraction d’une image. La création d’un masque précisant les pixels concernés ne semble pas une solution optimale (contrainte mémoire et calculatoire). Dans le cadre de développement d’algorithmes en traitement d’images et vidéos, le laboratoire Canon Research Centre France (localisé à Rennes) développe une bibliothèque générique de traitement d’images qui ajoute la notion de forme à toute manipulation basique ou complexe d’une image. Une « arithmétique » des formes permet une sélection précise de pixels et une exécution efficace d’algorithme complexe. Les motivations, la mise en œuvre de cette bibliothèque, les outils template utilisés seront présentés et illustrés d’exemples concrets.résentés et illustrés d’exemples concrets.)
• Seminar/2010-04-28  + (La plupart des frameworks de traitement d' … La plupart des frameworks de traitement d'images ne sont pas assez</br>génériques pour garantir une réutilisabilité effective des structures</br>de données et des algorithmes, tout en préservant performances et</br>facilité d'utilisation, et en restant proche de la théorie. Dans</br>cette présentation, nous proposons un cadre logiciel pour le</br>traitement d'images centré sur le paradigme de programmation</br>générique, cherchant à répondre tant aux besoins pratiques que</br>théoriques des scientifiques et des développeurs : la mise au point de</br>méthodes rapides et réutilisables, un niveau de généricité progressif,</br>la possibilité de traiter des ensembles de données volumineux, une</br>gestion de la mémoire automatique et efficace, la vérification</br>statique des types, l'orthogonalité des structures de données et des</br>algorithmes, etc. Cette approche permet aux utilisateurs de concevoir</br>et d'implémenter de nouvelles méthodes délivrées des contraintes</br>habituellement imposées pas les outils logiciels, de pratiquer des</br>expériences inter-domaines, de généraliser certains résultats et de</br>transformer facilement des prototypes en de vraies applications. des prototypes en de vraies applications.)
• Seminar/2016-12-07  + (La ville est un système complexe façonné p … La ville est un système complexe façonné par des dynamiques opérant à des</br>échelles différentes.</br>En tant que chercheur en sciences de l'information géographique travaillant</br>dans l'interdisciplinarité, je travaille en collaboration avec des</br>spécialistes du transport, des géographes, des urbanistes, des historiens,</br>des démographes, et des physiciens, afin de proposer de meilleurs outils,</br>modèles et données pour l'étude multi-échelle des dynamiques urbaines.</br></br>Je présente mes contributions dans un ordre correspondant à l'échelle</br>spatiale, de la plus large à la plus fine : la très grande échelle pour les</br>questions liées à la mobilité, la grande échelle pour celles liées à</br>l'urbanisme et la petite échelle pour les questions liées à l'évolution du</br>territoire sur le long terme.</br></br>Pour chaque partie, je vais m'attacher à proposer un cheminement commun :</br>tout d'abord la question des sources d'information, des connaissances</br>manipulées, leur représentation, leur stockage ; ensuite, la question de</br>l'analyse de ces données, de leur enrichissement, de leur croisement ;</br>enfin, l'interaction avec ces données, leur visualisation, leur</br>interprétation, leur validation, leur correction par des utilisateurs.ion, leur correction par des utilisateurs.)
• Seminar/2017-01-18  + (La visualisation scientifique est un domai … La visualisation scientifique est un domaine qui vise à aider les utilisateurs </br>à (i) représenter, (ii) explorer et (iii) analyser des données géométriques </br>acquises ou simulées, à des fins d'interprétation, de validation ou de </br>communication. Parmi les techniques existantes, les algorithmes inspirés par </br>la théorie de Morse ont démontré leur utilité dans ce contexte pour </br>l'extraction efficace et robuste de structures d'intérêts, et ce, à plusieurs </br>échelles d'importance.</br></br>Dans cette présentation, je donnerai un bref tutoriel sur l'analyse </br>topologique de champs scalaires, en introduisant quelques concepts clés comme </br>celui de graphe de Reeb, de complexe de Morse-Smale ou de diagramme de </br>persistance. Par ailleurs, j'illustrerai ces notions par des cas </br>d'applications concrets en astrophysique, chimie moléculaire ou </br>encore en combustion.</br>Ensuite, je discuterai certaines problématiques pratiques ayant récemment </br>émergé avec le développement des ressources de calcul haute-performance. Ces </br>problématiques induisent non seulement des jeux de données d'une taille </br>inédite, mais également des types nouveaux de données, comme les champs </br>scalaires multivariés ou incertains. Ces difficultés ne sont pas uniquement </br>intéressantes pour la communauté de recherche à cause de leur forte importance </br>pratique, mais aussi parce qu'elles nécessitent un redémarrage complet de </br>l'effort de recherche entrepris dans ce domaine ces vingt dernières années. En </br>particulier, je présenterai de nouvelles directions de recherche, étayées par </br>des résultats préliminaires récents concernant l'analyse topologique dans un </br>contexte de calcul haute-performance, ainsi que l'analyse topologique de </br>champs scalaires incertains ou bivariés. champs scalaires incertains ou bivariés.)