Recommended Citation
Lutfiyya, Hanan and McMillin, Bruce M., "Formal Generation of Executable Assertions for a Fault-Tolerant Parallel Matrix Relaxation" (1991). Computer Science Technical Reports. 108.
https://scholarsmine.mst.edu/comsci_techreports/108
Department(s)
Computer Science
Report Number
CSc-91-13
Document Type
Technical Report
Document Version
Final Version
File Type
text
Language(s)
English
Rights
© 1991 University of Missouri - Rolla, All rights reserved
Publication Date
15 October 1991
Comments
This work was supported in part by the National Science Foundation under Grant Numbers MIP-8909749 and CDA-8820714, and in part by the AMOCO Faculty Development Program.