Streaming computations with a loquacious prover.

Hartmut Klauck Ved Prakash

Published in: ITCS (2013)

Keyphrases

data streams
video streaming
theorem prover
theorem proving
real time
streaming data
database
real time streaming
search engine
database systems
data processing
parallel computation
stream processing
scalable video
streaming services
automated theorem proving