Synthesis of Algorithm Considering Communication Structure of Distributed/Parallel Computing

Yukio Miyasaka1, Ashish Mittal2, Masahiro Fujita1
1University of Tokyo, 2Indian Institute of Technology Bombay


In this paper, the partial synthesis method is applied to synthesis of algorithm suitable for distributed/parallel computation in that the resulting algorithm complies with communication structure of the computation. The proposed method expands conventional partial synthesis method by adding constraints to reduce search space based on the result of synthesis of small instance of the targeting problem.