À l'affiche au centre de documentation...

The Multiplicative Power of Consensus Numbers - Damien Imbs , Michel Raynal

Résumé - manuscrit.pdf - hal.inria.fr

The x-Wait-freedom Progress Condition - Damien Imbs , Michel Raynal

Résumé - manuscrit.pdf - hal.inria.fr

Services et protocoles pour l’exécution fiable d’applications distribuées dans les grilles de calcul - Thomas Ropars

Résumé - manuscrit.pdf

Anonymous Asynchronous Systems: The Case of Failure Detectors - François Bonnet , Michel Raynal

Résumé - manuscrit.pdf - hal.inria.fr

Simulation numérique des structures de combustion préhistoriques - Mohamad Muhieddine

Résumé - manuscrit.pdf

Analyses automatiques pour le test de programmes orientés aspect - Romain Delamare

Résumé - manuscrit.pdf

Reachability analysis of rewriting for software verification - Thomas Genet

Visionner la vidéo

La sécurité des applications Web : " les enjeux de l'engineering des codes" - François Bodin , Philippe Ensarguet , Frédéric Cuppens , Thomas Jensen , Frédéric Besson , Christophe Levointurier , Marianne Bussière , Cédric Fournet , Marc Schönefeld

Visionner la vidéo

7ème rencontres autour de la plate-forme bio-informatique - Olivier Collin , Véronique Receveur-Bréchot , Gurvan Michel , Dominique Lavenier , Guillaume Launay , Olivier Sallou

Visionner la vidéo

Propal ADBU

Suite >>

La doc vous informe...

A voir en ligne

TRAVAUX DE RECHERCHE

Consulter les manuscrits des habilitations à diriger les recherches, des thèses et des publications internes préparées au sein du laboratoire.

EVENEMENTS FILMES PAR L'IRISA

Visionner les soutenances d'habilitations à diriger les recherches, les exposés scientifiques, pédagogiques, les séminaires du club Irisatech.

Les présents exposés écrits et oraux ainsi que tous les éléments qu'ils comportent, font l'objet d'une protection par le droit d'auteur. A ce titre, toute reproduction, représentation, adaptation, traduction partielle et ou intégrale, sans l'accord préalable et écrit de leur auteur, est strictement interdite. Chacun des auteurs a autorisé l'INRIA, le CNRS, l'Université de Rennes 1 et l'INSA à reproduire, et représenter, sur le présent site internet, ses exposés écrits et oraux ainsi que tous les éléments qu'ils comportent.

IRISA

Sections