Speeding Up Image Computation by Using RTL Information

Christoph Meinel, Christian Stangier. Speeding Up Image Computation by Using RTL Information. In Warren A. Hunt Jr., Steven D. Johnson, editors, Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings. Volume 1954 of Lecture Notes in Computer Science, pages 443-454, Springer, 2000. [doi]

Abstract

Abstract is missing.