
SVD AND SIGNAL PROCESSING, III
Algorithms, Architectures and Applications
M. Moonen and B. De Moor (Editors)
9 1995 Elsevier Science B.V. All rights reserved.
277
TRANSFORMATIONAL REASONING ON TIME-ADAPTIVE
JACOBI TYPE ALGORITHMS
H.W. VAN DIJK, E.F. DEPRETTERE
Department of Electrical Engineering
Delft University of Technology
2628 CD Delft, The Netherlands
ed@dutento, et. tudelft, nl
ABSTRACT. The ordering of operations in the execution of Jacobi-type algorithms is not
unique. Given a sequential imperative program specification of a Jacobi algorithm, there is
a method of transformational reasoning to convert the program ...