Synthesis for Testability by Sequential Redundancy Removal Using Retiming.

Hiroyuki Yotsuyanagi Seiji Kajihara Kozo Kinoshita

Published in: FTCS (1995)

Keyphrases

program synthesis
sequential search
information retrieval
information systems
multimedia
website
database
neural network
computer vision
case study
image quality
information content
redundancy reduction