Issue No. 04 - April (1990 vol. 39)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.54837
<p>The task of synthesizing algorithm-based checking techniques for general applications is investigated. The problem is approached at the compiler level by identifying linear transformations in Fortran DO loops and restructuring program statements to convert nonlinear transformations to linear ones. System-level checks based on this property are proposed. The approach is demonstrated with example problems of matrix multiplication and the LINPACK routine: DGEFA.</p>
compiler assisted synthesis; algorithm-based checking; multiprocessors; linear transformations; Fortran DO loops; nonlinear transformations; matrix multiplication; LINPACK routine; DGEFA; concurrency control; fault tolerant computing; multiprocessing systems.
V. Balasubramanian and P. Banerjee, "Compiler-Assisted Synthesis of Algorithm-Based Checking in Multiprocessors," in IEEE Transactions on Computers, vol. 39, no. , pp. 436-446, 1990.