A Formal Model for Fault Tolerant Parallel Matrix Factorization | IEEE Conference Publication | IEEE Xplore