Testing and Proving Distributed Algorithms in Constructive Type Theory.

Published in: TAP (2007)

Keyphrases

computational cost
learning algorithm
multi agent
data structure
computationally efficient
machine learning algorithms
computationally expensive
database
database systems
evolutionary algorithm
optimization problems
distributed systems
test cases
computational model
orders of magnitude
mathematical models