Rational arguments: single round delegation with sublinear verification.

Siyao Guo Pavel Hubácek Alon Rosen Margarita Vald

Published in: ITCS (2014)

Keyphrases

real time
databases
video sequences
data sets
multiscale
resource allocation
formal methods
functional verification