Formal Derivation of SIMD Parallelism from Non-Linear Recursive Specifications

A. Max Geerling. Formal Derivation of SIMD Parallelism from Non-Linear Recursive Specifications. In Bruno Buchberger, Jens Volkert, editors, Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings. Volume 854 of Lecture Notes in Computer Science, pages 136-147, Springer, 1994.

Abstract

Abstract is missing.