Vous êtes ici

Thèse

Runtime Optimization Of Binary Through Vectorization Transformations

Abstract :

Orateur: 
Nabil HALLOU (PACAP)

Vérification d'un glaneur de cellules concurrent /Verification of a concurrent garbage collector

(English version below)

Résumé :

Les compilateurs modernes constituent des programmes complexes, réalisant de nombreuses optimisations afin d'améliorer la performance du code généré. Du fait de cette complexité, des bugs y sont régulièrement détecté, conduisant à l'introduction de nouveau comportement dans le programme compilé.

Orateur: 
Yannick Zakowski (CELTIQUE)

Étude exhaustive de voies de signalisation de grande taille par clustering des trajectoires et caractérisation par analyse sémantique

Vous êtes cordialement invités à venir assister à la soutenance de thèse de Jean COQUET intitulée : Étude exhaustive de voies de signalisation de grande taille par clustering des trajectoires et caractérisation par analyse sémantique. Celle-ci aura lieu à l'Irisa / Inria en salle Métivier à 14h00 et sera suivie d'un pot en salle Sein.

Résumé :

Orateur: 
Jean COQUET

Identification d'algorithmes cryptographiques dans du code natif

Identification d'algorithmes cryptographiques dans du code natif

Orateur: 
Pierre Lestringant (EMSEC)

Efficient Big Data Processing on Large-Scale Shared Platforms: Managing I/Os and Failures

You are kindly invited to the PhD thesis defense of Orçun YILDIZ (KerData team) that will take place on Friday, December 8th at 9:30 at the "Salle Métivier" at Inria, and for a drink in Sein meeting room at 5 pm.

Resume:

Orateur: 
Orçun YILDIZ (KerData)

Techniques de production, d'exploration et d'analyse d'environnements archéologiques virtuels

Si les possibilités de numérisation 3D de la présente réalité d'un site archéologique par le biais des dernières techniques d'acquisition 3D (photogrammétrie/scan laser) aident à la compréhension de son fonctionnement, elles peuvent aussi permettre de véritables hypothèses de reconstitutions de celui-ci tel qu'il a pu l'être à une époque donnée.

Orateur: 
Jean-Baptiste Barreau

Caractérisation de pathologies cérébrales par l’analyse de modèles multi-compartiment en IRM de diffusion

L’imagerie pondérée en diffusion est un type d’acquisition IRM spécifique basé sur la direction de diffusion des molécules d’eau dans le cerveau. Cela permet, au moyen de plusieurs acquisitions, de modéliser la microstructure du cerveau, comme la matière blanche qui à une taille très inférieur à la résolution du voxel.
Orateur: 
Renaud Hedouin

Soutenance de thèse de Antoine Guellier (CIDRE) lundi 22 mai à 10h30 en salle 510 à CentraleSupélec

Vous êtes cordialement invités à venir assister à la soutenance de thèse de Antoine Guellier (équipe CIDRE) le lundi 22 Mai 2017 à 10h30 en salle 510 à CentraleSupélec ainsi qu'au pot qui suivra.

Titre

Communications anonymes dans un réseau homogène

Title
Strongly Private Communications in a Homogeneous Network

 

Résumé

Orateur: 
Antoine Guellier

Structuring an Abstract Interpreter through Value and State Abstractions: EVA, an Evolved Value Analysis for Frama-C

Elle sera effectuée en français, et sera suivie d'un pot en salle Sein auquel vous êtes chaleureusement conviés.

Résumé :

Orateur: 
David Bühler (Celtique)

Pages

S'abonner à RSS - Thèse