Пространственно-временные преобразования параллельных микропрограмм

Предлагается формальное преобразование параллельных и конвейерных вычислительных процессов, которое, растягивая процесс во времени, умещает его в заданном пространстве. Определены необходимые и достаточные условия, которым должна удовлетворять исходная микропрограмма, чтобы обеспечить эквивалентность и детерминированность преобразования. Применение предлагаемого преобразования иллюстрируется тремя типичными примерами: клеточный сумматор, динамический процессор, систолический конвольвер.