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

This publication has 9 references indexed in Scilit:

• Algebraic Recurrence Transformations For Massive Parallelism
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• An Approach For Power Minimization Using Transformations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• SynGuide: An environment for doing interactive correctness preserving transformations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Quadratic zero-one programming based synthesis of application specific data paths
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Incremental tree height reduction for high level synthesis
  Published by Association for Computing Machinery (ACM) ,1991
• Compiler optimizations for enhancing parallelism and their impact on architecture design
  IEEE Transactions on Computers, 1988
• MIS: A Multiple-Level Logic Optimization System
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987
• Optimizing Synchronous Circuitry by Retiming (Preliminary Version)
  Published by Springer Nature ,1983
• Program Improvement by Source-to-Source Transformation
  Journal of the ACM, 1977