Académiques

Couplage de modèles

  • Center for Subsurface Modeling, Université de Texas à Austin (G. Pencheva, M. Wheeler): écoulements multi-phasiques et multi-composants en milieu poreux

Discrétisations numériques compatibles & géométrie discrète

Décomposition de domaine & solveurs Newton-Krylov (multi-grilles)

Fiabilité par les estimations a posteriori

Programmation correcte et sûre

  • LIPN, Université Paris-Nord (M. Mayero): preuves formelles
  • CEA LIST (F. Védrine, V. Prévosto) et LIX, École Polytechnique (É. Goubault, S. Putot): analyse statique de programmes

Les commentaires sont fermés.