The formal derivation of distributed programs from systolic arrays.
Michael BarnettPublished in: SPDP (1990)
Keyphrases
- cooperative
- distributed systems
- automatic programming
- data sets
- information systems
- formal model
- distributed environment
- mobile agents
- distributed network
- communication overhead
- loosely coupled
- computer networks
- lightweight
- fault tolerant
- multi agent
- artificial intelligence
- distributed learning
- neural network
- databases