Christophe Prud'Homme: Contributions to Real-Time Reliable Simulations and Certain Aspects of Scientific Computing. (Contributions aux simulations temps réel fiables et certains aspects du calcul scientifique). 2005