An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment

This publication has 10 references indexed in Scilit:

• System-level synthesis using re-programmable components
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Towards provably correct hardware/software partitioning using OCCAM
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Hardware software partitioning using genetic algorithm
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An Algebraic Approach to Compiler Design
  Published by World Scientific Pub Co Pte Ltd ,1997
• A normal form reduction strategy for hardware/software partitioning
  Published by Springer Nature ,1997
• The Extended Partitioning Problem: Hardware/Software Mapping, Scheduling, and Implementation-bin Selection
  Design Automation for Embedded Systems, 1997
• The Lambda Approach to System Verification
  Published by Springer Nature ,1996
• Tosca: A Pragmatic Approach To Co-Design Automation Of Control-Dominated Systems
  Published by Springer Nature ,1996
• Hardware-software codesign of embedded systems
  IEEE Micro, 1994
• The laws of OCCAM programming
  Theoretical Computer Science, 1988