论文部分内容阅读
通过对比分析静态与动态二进制翻译系统，描述了基于机器状态的二进制翻译形式化模型。该形式化模型在实践上对于二进制翻译工程具有理论指导作用，并且可为保证翻译过程及结果的正确性提供理论基础。
二进制翻译形式化模型
【摘 要】
：
通过对比分析静态与动态二进制翻译系统，描述了基于机器状态的二进制翻译形式化模型。该形式化模型在实践上对于二进制翻译工程具有理论指导作用，并且可为保证翻译过程及结果的
【机 构】
：
河南财经学院计算机科学系
【出 处】
：
电脑与电信
【发表日期】
：
2007年9期
其他文献
中国农药工业协会第八届二次理事会于2009年6月11日至12日在西宁召开,来自全国各地150余个常务理事、理事单位以及相关媒体共约200位代表参加了此次会议。在11日晚上召开的常
<正> 通用汽车公司——奥兹莫比尔部 奥兹莫比尔(OLDSMOBILE)是美国通用汽车公司的一个分部。 奥兹莫比尔轿车具有浓厚的美国特色,在造型上给人一种稳重大方和气度不凡的感觉
PKI是一种公共密钥证书标准，它提供了一种安全的网上支付方式。本文分析了PKI的模型和结构，基于PKI的网上支付过程，最后还分析了基于PKI网上支付的性能。
今年以来,对山东农药市场关注的人越来越多,山东是我国著名的农资市场,有人不完全统计,每年山东市场消费的农资产品至少是以亿元计算,其中农药消费量在4万吨左右。山东农药市
基于无线局域网与CDMA网络的技术系统，是一种基于CDMA网络的移动数据信息系统的应用。具有广泛的应用前景和很好的推广价值。本文将探讨其中的WCDMA，TD-CDMA，S-CDMA等技术。