Author of the publication

A specification invariant technique for operation cost minimisation in flow-graphs.

, , and . HLSS, page 146-151. ACM, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Integration of medium-throughput signal processing algorithms on flexible instruction-set architectures., , , , , , , , , and . VLSI Signal Processing, 9 (1-2): 49-65 (1995)System-Level Data-Flow Transformation Exploration and Power-Area Trade-offs Demonstrated on Video Codecs., , , and . VLSI Signal Processing, 18 (1): 39-50 (1998)Nonlinear transformations for high level regular array ASIC synthesis., , and . VLSI Signal Processing, 4 (4): 259-268 (1992)Performance Through Hierarchy in Static Timing Verification., , and . IFIP Congress (1), volume A-12 of IFIP Transactions, page 703-709. North-Holland, (1992)Static Timing Analysis of Dynamically Sensitizable Paths., , and . DAC, page 568-573. ACM Press, (1989)Loop Optimization in Register-Transfer Scheduling for DSP-Systems., , and . DAC, page 826-831. ACM Press, (1989)Solving large scale assignment problems in high-level synthesis by approximative quadratic programming., , , and . ACM Great Lakes Symposium on VLSI, page 19-24. ACM, (2001)An intelligent module generator environment., , , and . DAC, page 730-735. IEEE Computer Society Press, (1986)Advanced Data Layout Optimization for Multimedia Applications., , and . IPDPS Workshops, volume 1800 of Lecture Notes in Computer Science, page 186-193. Springer, (2000)Reasoning About a Class of Linear Systems of Equations in HOL., , and . TPHOLs, volume 859 of Lecture Notes in Computer Science, page 33-48. Springer, (1994)