http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Zhiwei Zhang,Jinzhao Wu,HouWen Liu 보안공학연구지원센터 2015 International Journal of Hybrid Information Techno Vol.8 No.10
In the paper, approximate ready trace equivalence for differential semi-algebraic hybrid system is proposed. The equivalence can be used to optimize differential semialgebraic hybrid system. The Concept is proposed on the basis of concrete process algebra and numerical analysis theory. In the approximate ready trace equivalence definition, we consider a cut operator for a polynomial and partial approximation for polynomial. Then we get a strict equivalence between two polynomials. Its advantage is that the new polynomial approximation method overcomes the drawback that traditional approximation method is not transitive, which can be used for automatic reasoning. In order to judge the two differential semi-algebraic hybrid system is equivalent, the axiom system for the approximate ready trace equivalence of differential semi-algebraic hybrid system is presented. This axiom system is a complete axiom system.
Register Allocation for QEMU Dynamic Binary Translation Systems
Yi Liang,Yuanhua Shao,Guowu Yang,Jinzhao Wu 보안공학연구지원센터 2015 International Journal of Hybrid Information Techno Vol.8 No.2
Binary translation is an important step to solve the code migration, QEMU is more advanced and efficient binary translation system. It uses lighter TCG technology to achieve dynamic binary translation but analysis of the TCG internal process, we found that the excessive use of temporary variables meaningless in the TCG intermediate code, the backend generates host code does not take into account the efficient use of registers. Through these two aspects of improvement, especially increased a linear scan register allocation algorithm in the back-end, can be in an acceptable translation time, generates efficient host code. The experimental results show that the optimized program run time significantly reduced and the amount of generated host code reduced by an average of 8%.