Space-and-time conversions of parallel multiprograms

A formal conversion is proposed of parallel and conveyor-like computing processes so as to extend the process in time in order to squeeze it into the specified space. Necessary and sufficient conditions are defined which the initial microprogram has to satisfy if the equivalence and determinism of the conversion are to be maintained. The proposed conversion is illustrated for three typical applications, a cellular adder, a dynamic processor, and a systolic convolver.