Mapping Homogeneous Graphs on Linear Arrays
Ramakrishnan, Fussell, Silberschatz · IEEE Transactions on Computers · 1986
This paper presents a formal model of linear array processors suitable for VLSI implementation as well as graph representations of programs suitable for execution on such a model. A distinction is made between correct mapping and correct execution of such graphs on this model and the structure of correctly mappable graphs are examined. The formalism developed is used to synthesize algorithms for this model.