Research on Synthesis of Concurrent Computing Systems.

  title={Research on Synthesis of Concurrent Computing Systems.},
  author={Richard M. King},
  booktitle={ISCA 1982},
The object of our research is the codification of programming knowledge for the synthesis of concurrent programs. We present sample rules and techniques that we show can be used to derive two concurrent algorithms: dynamic programming (for the class of problems that run in polynomial time on sequential machines) and array multiplication. For both derived concurrent versions the code runs in linear time. The concurrent versions are significant and complex algorithms, though they are not new and… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.

Similar Papers

Loading similar papers…