Stepwise Refinement of Reactive Processor Farms

Abstract

A processor farm is a distributed system that consists of a unique master processor together with a number of identical slave processors. The master processor interacts with some environment that generates tasks to be solved by the slave processors. The processors are connected via some communication network that takes care of the communication of the tasks between the master and the slaves. We show ho

Download PDF:
_{Sorry, we are unable to provide the full text but you may find it at the following location(s):}

http://citeseerx.ist.psu.edu/v... (external link)

http://archive.cs.uu.nl/pub/RU... (external link)