Kai-Ting Cheng

Learn More
This survey paper intends to provide a comprehensive coverage of the techniques that are pertinent to the processor-based implementation of H.264/AVC video codec, particularly on DSP. Most of this paper is devoted to the computationally efficient algorithms, or the <i>fast algorithms.</i> Fast algorithms for motion estimation, intra-prediction and mode(More)
132 0740-7475/04/$20.00 © 2004 IEEE Copublished by the IEEE CS and the IEEE CASS IEEE Design & Test of Computers MODEL CHECKERS verify properties of safetyor business-critical systems. It’s possible to model many designs, especially digital hardware, as state transition systems for design verification. The main idea behind model checking is to convert a(More)
  • 1