HD-TV Models. Alternative verification procedure. A proponent exchanges only a part of the model. The partial program produces intermediate results which will be forwarded to the proponent. The proponent compute final VQMs using the intermediate results. RRNR-TV Models.
Alternative verification procedure
Revised J.bitvqm RR (June 2007)