Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Synthesis of operation-centric hardware descriptions
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Hardware Synthesis from Term Rewriting Systems
VLSI '99 Proceedings of the IFIP TC10/WG10.5 Tenth International Conference on Very Large Scale Integration: Systems on a Chip
A data model for XML databases
Journal of Intelligent Information Systems - Special issue on web intelligence
International Journal of Intelligent Systems - Intelligent Technologies
Program synthesis based on the equivalent transformation computation model
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Program generation in the equivalent transformation computation model using the squeeze method
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Hi-index | 0.00 |
When solving problems efficiently by Hardware-Software cooperation, a lot of extra work such as circuit design, software design, Hardware/Software interface design, etc, has to be done. In order to reduce this workload, we propose a co-design framework using ET, and introduce a flexible cooperation system using HwModule Board. A problem can then be easily described by ET rules, the ET description can be safely divided into hardware and software descriptions, and the cooperation system can be flexibly adapted to them via the framework.