Proving Distributed Algorithms by Combining Refinement and Local Computations.
Mohamed TounsiMohamed MosbahDominique MéryPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
- times faster
- computational complexity
- orders of magnitude
- recently developed
- cooperative
- distributed systems
- decision trees
- data structure
- computationally efficient
- matrix multiplication
- neural network
- computationally expensive
- peer to peer
- sensor networks
- computational cost
- significant improvement
- data streams
- multi agent
- bayesian networks