Flexible hardware-software cooperation system with HwModule board and co-design framework by ET
暂无分享,去创建一个
[1] Kiyoshi Akama,et al. Program Synthesis Based on the Equivalent Transformation Computation Model , 2002, LOPSTR.
[2] James C. Hoe,et al. Synthesis of operation-centric hardware descriptions , 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).
[3] Chutiporn Anutariya,et al. A Data Model for XML Databases , 2001, Journal of Intelligent Information Systems.
[4] Chutiporn Anutariya,et al. Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory , 2004 .
[5] Kenji Kudo,et al. Hardware Object Model and Its Application to the Image Processing(Video/Image Coding)( Applications and Implementations of Digital Signal Processing) , 2004 .
[6] Kiyoshi Akama,et al. Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method , 2006, Ershov Memorial Conference.
[7] H. Yoshikawa,et al. Logic circuit synthesis preserving correctness using ET rules , 2007 .
[8] James C. Hoe,et al. Hardware Synthesis from Term Rewriting Systems , 1999, VLSI.
[9] K. Akama,et al. A programming language interpreter system based on equivalent transformation , 2005, 2005 IEEE International Conference on Intelligent Engineering Systems, 2005. INES '05..
[10] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .
[11] Chutiporn Anutariya,et al. RDF Declarative Description (RDD): A Language for Metadata , 2001, J. Digit. Inf..