The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - April (1990 vol.39)
pp: 436-446
ABSTRACT
<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>
INDEX TERMS
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.
CITATION
V. Balasubramanian, P. Banerjee, "Compiler-Assisted Synthesis of Algorithm-Based Checking in Multiprocessors", IEEE Transactions on Computers, vol.39, no. 4, pp. 436-446, April 1990, doi:10.1109/12.54837
27 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool