Composition de l'équipe
  Responsable
    VIALLE Stéphane

Activités de recherche
  Algorithmique répartie
  Tolerance aux pannes
  Calcul haute performance

Logiciels et brevets
  IDéeBD : Introduction Didactique aux Bases de Données
  MPICH-V : Interface àpassage de messages pour les ressources volatiles

Collaborations
  Équipe de Logique Mathématique Université Paris Diderot Paris 7

Thèses et habilitabions récentes
  Fast and reliable solutions for numerical linear algebra solvers in high-performance computing.
  Methods and algorithms for solving linear systems of equations on massively parallel computers
  Partitionnement dans les réseaux mobiles Ad-hoc : Conception et évaluation de protocoles auto-stabilisants robustes.

Labeling schemes for bounded degree graphs
Noy Rotbart
Ven. 20 septembre 2013 - 14h00

Savez-vous compter les pingouins ?
Laurent Rosaz
Mar. 27 novembre 2012 - 10h30

A parallel two-level preconditioner for Cosmic Microwave Background map-making
Mikolaj Szydlarski
Lun. 17 septembre 2012 - 10h30

Avoiding Communication in Cosmic Microwave Background Map-making
Meisam Sharify
Lun. 17 septembre 2012 - 10h00

A parallel solver for simulations of incompressible fluid flows
Yushan Wang
Jeu. 14 juin 2012 - 10h30

Programming models and numerical algorithms for quantum chemistry
Jeff Hamond
Ven. 08 juin 2012 - 10h30

Fault Tolerance opportunities for Climate codes
Leonardo A. Bautista Gomez
Mar. 13 mars 2012 - 10h00

Adaptive Lightweight Scheduling for Improving Bulk-Synchronous MPI Application Scalability on Multi-core Clusters
Vivek Kale
Jeu. 02 février 2012 - 10h30

LU factorisation with panel rank revealing pivoting and its communication avoiding version
Amal Khabou
Jeu. 26 janvier 2012 - 10h30

Using Overlapping and Filtering Techniques for Highly Parallel Preconditioners
Long Qu
Jeu. 26 janvier 2012 - 10h30

Collaborative application characterization and optimization
Grigori Fursin
Jeu. 19 janvier 2012 - 11h00

Tolérer les fautes transitoires, permanentes et intermittentes
Swan DUBOIS
Jeu. 12 janvier 2012 - 10h30

On the road to exascale

Mar. 06 décembre 2011 - 10h00

Nouveaux Protocoles de Tolérance aux Fautes pour les Applications du Calcul Haute Performance
Amina Guermouche
Jeu. 01 décembre 2011 - 10h30

Programmation des architectures hiérarchiques et hétérogènes
Khaled Hamidouche
Jeu. 03 novembre 2011 - 10h30

Lazy BLAS-3 Reduction to Banded Upper Triangular
Gary Howell
Jeu. 15 septembre 2011 - 10h30

Multi-party computation forever, for cloud computing and beyond.
Shlomi Dolev
Jeu. 07 juillet 2011 - 10h30

Hypergraph partitioning for computing Krylov subspaces
Nick Knight
Jeu. 23 juin 2011 - 11h15

Recent Progress in Communication-Avoiding Krylov Subspace
Erin Carson
Jeu. 23 juin 2011 - 10h30

Accelerating linear system solutions using randomization techniques
Julien Herrmann
Jeu. 26 mai 2011 - 10h30

Solving large sparse linear systems on distributed grids
Fabienne Jézéquel
Jeu. 31 mars 2011 - 10h30

Using GPU to align human and chimpanzee whole chromosomes with an exact algorithm
Alba Cristina Magalhaes Alves de Melo
Jeu. 24 mars 2011 - 10h30

Ring pipelined algorithm for the algebraic path problem on the CELL Broadband Engine
Claude Tadonki
Jeu. 17 mars 2011 - 10h30

Guidelines for the Verification of Population Protocols
Julien Clément
Jeu. 10 mars 2011 - 10h30

Program Parallelization and Optimization at Compile-Time in the Polyhedral Model
Cédric Bastoul
Jeu. 03 mars 2011 - 10h30

Low-overhead diskless checkpoint for hybrid computing systems
Leonardo Bautista Gomez
Jeu. 17 février 2011 - 10h30

Calcul haute performance : l'approche probabiliste pour la validation des logiciels numériques.
Jean-Luc Lamotte
Jeu. 03 février 2011 - 10h30

The Numerical Template Toolbox : BOOST'ed Generic Array Library for High Performance Computing
Joel Falcou
Jeu. 20 janvier 2011 - 10h30

STOCKAGE FIABLE DES DONNÉES DANS LES GRILLES, APPLICATION AU STOCKAGE DES IMAGES DE CHECKPOINT
Fatiha Bouabache
Jeu. 09 décembre 2010 - 10h30

Gestion auto-stabilisante avec garantie de service de la connaissance des clusters voisins
Mekhaldi Fouzi
Jeu. 02 décembre 2010 - 10h30

Adversarial information retrieval
Brian D. Davison
Mar. 30 novembre 2010 - 11h00

Probabilistic algorithms for large-scale systems
Thomas Largillier
Jeu. 25 novembre 2010 - 10h30

Impossibilité du consensus dans les protocoles de population avec temps de couverture
Joffroy Beauquier
Jeu. 18 novembre 2010 - 10h30

Enabling Socially-Aware Distributed Systems
Adriana Iamnitchi
Jeu. 17 juin 2010 - 10h30

Numerical algorithms for hybrid GPU-Multicore systems
Marc BABOULIN
Jeu. 15 avril 2010 - 10h30

Fair Synthesis of Asynchronous Distributed Systems
Nathalie Tali SZNAJDER
Jeu. 01 avril 2010 - 10h30

Approximation, optimization and synthesis of stochastic processes.
Sylvain Pradalier
Lun. 15 mars 2010 - 10h30

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

Coverage-biased random explo-ration of large models and application to testing
27 mars 2011
A. Denise, M.-C. Gaudel, S.-D. Gouraud, R. Lassaigne, J. Oudinet S. Peyronnet, STTT: Int. Jal on SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, DOI: 10.1007/s10009-011-0190-1

Interface àpassage de messages pour les ressources volatiles
MPICH-V

Introduction Didactique aux Bases de Données
IDéeBD