Partitioning program into hardware and software

Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC

Volumn , Issue , 2001, Pages 309-316

  Qin, Shengchao ^a   He, Jifeng ^a  

^a PEKING UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER HARDWARE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; PROGRAM DIAGNOSTICS; SEMANTICS; SYSTEMS ANALYSIS;

ALGEBRAIC PARTITIONING METHOD; CODESIGN PROCESS; SYNTAX SPLITTING RULES;

COMPUTER ARCHITECTURE;

EID: 0035695448     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Partitioning and exploration strategies in the TOSCA design flow
2. A multi-level transformation approach to hardware/software co-design
3. A provable hardware implementation of occam
4. Specification, verification and prototyping of an optimised compiler
5. Provably correct systems
6. Laws of programming
7. Compiling occam into FPGAs
8. An algebraic approach to hardware/software partitioning
9. Laws of occam programming
10. An algebraic approach to compiler design
11. A normal form reduction strategy for hardware/software partitioning