Sign in

Scalable and scalably-verifiable sequential synthesis.

Alan MishchenkoMichael L. CaseRobert K. BraytonStephen 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