Flow: Separating Consensus and Compute - Execution Verification.

Alexander Hentschel Dieter Shirley Layne Lafrance Maor Zamski

Published in: CoRR (2019)

Keyphrases

model checking
symbolic execution
computational grids
execution model
flow patterns
database
real time
genetic algorithm
computer vision
data flow
fingerprint verification