Joseph C. Libby, Kenneth B. Kent. A Methodology for Rapid Optimization of HandelC Specifications. In Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, RSP 2009, Paris, France, 23-26 June 2009. pages 81-87, IEEE Computer Society, 2009. [doi]
Abstract is missing.