Travelled to:1 × USA
Collaborated with:R.Lassaigne F.Magniette S.Peyronnet P.Du A.Bouteiller G.Bosilca J.Dongarra
Talks about:probabilist (1) algorithm (1) approxim (1) matrix (1) factor (1) toler (1) model (1) fault (1) check (1) dens (1)
Person: Thomas Hérault
DBLP: H=eacute=rault:Thomas
Contributed to:
2012
2004Wrote 2 papers:
- PPoPP-2012-DuBBHD #fault tolerance #matrix
- Algorithm-based fault tolerance for dense matrix factorizations (PD, AB, GB, TH, JD), pp. 225–234.
- VMCAI-2004-HeraultLMP #approximate #model checking #probability
- Approximate Probabilistic Model Checking (TH, RL, FM, SP), pp. 73–84.