Login / Signup
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms.
Bernhard Beckert
Timo Bingmann
Moritz Kiefer
Peter Sanders
Mattias Ulbrich
Alexander Weigl
Published in:
VSTTE (2018)
Keyphrases
</>
times faster
learning algorithm
search algorithm
relational databases
computationally efficient
theoretical analysis
data mining
machine learning
social networks
data structure
significant improvement
computational cost
benchmark datasets
combinatorial optimization