Abstract
In this paper we present a derivation method for networks of systolic cells. The method is calculational and can be applied for specifications that are data-independent, i.e. the order of communications does not depend on the values communicated. The techniques used in this style of parallel programming are comparable with techniques used in sequential programming. The presentation is done by means of an example: the derivation of a set of building blocks for the construction of acceptors for regular languages.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Paper version not known
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
