Scalable and scalably-verifiable sequential synthesis.

Alan Mishchenko Michael L. Case Robert K. Brayton Stephen Jang

Published in: ICCAD (2008)

Keyphrases

data sets
texture synthesis
compressed video
memory efficient
program synthesis
database
artificial intelligence
computer vision
multiresolution
data compression
highly scalable
secret sharing