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]

Authors

Christoph Meinel

This author has not been identified. Look up 'Christoph Meinel' in Google

Christian Stangier

This author has not been identified. Look up 'Christian Stangier' in Google