共 7 条
[1]
Partitioning Methodology for Heterogeneous Reconfigurable Functional Units.[J] Michalis D. Galanis;Gregory Dimitroulakos;Costas E. Goutis The Journal of Supercomputing 2006,
[2]
Exploring optimal solution to hardware/software partitioning for synchronous model[J] Jifeng He;Dang Van Hung;Geguang Pu;Zongyan Qiu;Wang Yi Formal aspects of computing 2005,
[3]
From Statecharts to Verilog: a formal approach to hardware/software co-specification.[J] Shengchao Qin;Wei-Ngan Chin;Jifeng He;Zongyan Qiu ISSE 2006,
[4]
A Constructive Approach to Hardware/Software Partitioning.[J] Leila Silva;Augusto Sampaio;Edna Barros Formal Methods in System Design 2004,
[5]
Hardware/software Co-design of complex embedded systems - an approach using efficient process models; multiple formalism specification and validation via co-simulation[J] Nikolaos S. Voros;Luis Sánchez;Alejandro Alonso;Alexios N. Birbas;Michael Birbas;Ahmed Jerraya Design Automation for Embedded Systems 2003,
[6]
Improving Software Performance with Configurable Logic.[J] Jason Villarreal;Dinesh Suresh;Greg Stitt;Frank Vahid;Walid Najjar Design Automation for Embedded Systems 2002,
[7]
运筹学[M] 钱颂迪主编; 清华大学出版社 1990,