Composition de l'équipe
  Responsable
    ROZOY Brigitte

  Membres permanents
    BEAUQUIER Joffroy
    CAPPELLO Franck
    DELAËT Sylvie
    ETIEMBLE Daniel
    FALCOU Joël
    GRIGORI Laura
    HERAULT Thomas
    MESSIKA Stéphane
    PEYRONNET Sylvain
    ROSAZ Laurent
    ROZOY Brigitte

  Membres non-permanents
    ALI Asim
    ATENEKENG KAHOU Guy Antoine
    BORGHI Alexandre
    BOUABACHE Fatiha
    BRUNET Elisabeth
    DONFACK Simplice
    GUERMOUCHE Amina
    HAMIDOUCHE Khaled
    JOURDANNEAU Eric
    KHABOU Amal
    KUMAR Pawan
    LAGUZET Florence
    LESUEUR François
    MEKHALDI Fouzi
    REZMERITA Ala
    SCHAETZ Sebastian
    STIVOLI Federico
    WANG Ke

Thèmes de recherche
  Théorie des jeux
  Model-Checking
  Algorithmique répartie
  Réseaux de capteurs

Projet(s) associé(s)
  Grand Large

Contrats en cours
  SOGEA
  BQR Parall
  CASPER
  DATA GRID EXPLORER
  FRAGILE
  SAFE-0S
  SARDYN
  SIMD
  SR2I
  GRID4ALL
  QOSCOSGRID
  HIPCAL
  ACI GRID'5000
  CIFRE EADS
  CARRIOCAS
  EDGeS
  Rex CoreGrid
  Dsslab
  FF2A3
  X-SCALE-N
  Cosinus Petal
  Spades

Logiciels et brevets
  plateforme de calcul global pair à pair
  middleware OpenSource pour les grilles de données de bureau
  Cluster virtuel Privé
  Interface àpassage de messages pour les ressources volatiles
  Langage d'injection de fautes
  Approximate Probabilistic Model Checker
  Virtualization environment for large-scale Distributed Systems
  Introduction Didactique aux Bases de Données

Collaborations
  Ã‰quipe de Logique Mathématique Université Paris Diderot Paris 7

Thèses et habilitabions récentes
  Plates-formes d'Observation et Caractérisation des Systèmes de Calcul Volontaires
  Plates-formes d'Observation et Caractérisation des Systèmes de Calcul Volontaires
  Environnements d'exécution pour applications parallèles communiquant par passage de messages pour les systèmes à grande échelle et les grilles de calcul"

P2P Social Networking
Mehdi Mani
Jeu 04 février 2010 - 10h30

Z-Align and CUDAlign: Comparing Megabase Biological Sequences in Clusters and GPGPUs
Alba Cristina M. A. Melo
Lun 18 janvier 2010 - 14h00

Algorithmique probabiliste pour systèmes distribués émergents
Julien Clément
Jeu 15 octobre 2009 - 14h00

NewMadeleine : Une approche dynamique pour l'optimisation des communications concurrentes sur réseaux haute performance
Elizabeth Brunet
Mar 10 mars 2009 - 10h30

HDR Laura Grigori
Laura Grigori
Ven 30 janvier 2009 - 13h00

Research Challenges in Flash Memories
Sivan Toledo
Mar 25 novembre 2008 - 10h30

Outils pour le parallélisme : apports de la programmation générative
Joël Falcou
Mar 04 novembre 2008 - 10h30

Temporal Partition in Sensor Networks
Laurence Pilard
Jeu 01 janvier 1970 - 01h00

Deterministic Secure Positioning in Wireless Sensor Networks
Partha Sarathi Mandal
Jeu 01 janvier 1970 - 01h00

Approximate Probabilistic Model Checker
APMC

Virtualization environment for large-scale Distributed Systems
V-DS

Langage d'injection de fautes
FAIL-FCI