Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms.

I. S. W. B. Prasetya

Published in: TPHOLs (1994)

Keyphrases

learning algorithm
orders of magnitude
data sets
computational cost
worst case
design process
benchmark datasets
design methodology
real time
computational complexity
lower bound
data model
optimization problems
recently developed
efficient implementation