排序方式: 共有15条查询结果,搜索用时 15 毫秒
1.
2.
3.
4.
类型分析是面向对象程序分析中的重要环节,精确的类型分析能够提高其它程序分析的精度.由于传统精确分析方法固有的高复杂性,现有的类型分析大都使用粗糙的分析方法.提出了一种基于SAT求解的面向对象程序类型分析方法.该方法用命题逻辑表示类型在变量间的传递关系,将程序抽象成命题公式,并使用高效的SAT求解器求解,从而获得变量运行时的类型集合.该方法是流敏感的,并且具有良好的伸缩性,既可以进行快速但精度低的上下文不敏感分析,也可以进行较慢但精度高的上下文敏感分析. 相似文献
5.
软件服务外包作为一个新型的软件产业方兴未艾,这种贸易方式加强了国际间的合作与区域性产业的互补。作为中国的近邻日本,这种互补方式的优势显得尤为突出。但是,由于中国外包企业的竞争力较弱、技术力量不够雄厚、企业规模尚未形成等弱点存在,大大制约着中国软件服务外包业的进一步发展。特别是随着诸多新兴接包国家和地区的崛起,使得中国所面临的竞争进一步加大,从前的低成本优势将得到削弱。这些都严重地制约着中国软件服务外包行业的健康发展。有序地调整以低端为主的产业结构,提高自主创新能力,加大服务外包在国家IT(Information Technology)产业中的比重,从而增强核心竞争力。 相似文献
6.
从循环经济发展的角度,论述了PCB行业发展中所存在环境问题,通过环保角度、经济角度和管理角度的分析,强调了发展循环经济是PCB行业走可持续发展的必由之路。 相似文献
7.
8.
9.
Java本地调用接口(Java native interface,JNI)机制被广泛应用在移动应用开发领域.JNI机制中JNI接口函数被用于在本地代码中解析和转换Java端的数据类型和Java对象.然而,JNI接口函数的调用开销影响了程序运行的效率,其复杂的使用规范也是集成与复用第三方本地组件时的主要障碍.提出一种基于跨语言对象迁移策略的复合本地对象模型,能够实现有效减少本地调用程序中的JNI接口函数调用开销和有效利用已有本地组件的目的.详细讨论了复合本地对象的语言特性及其具体实现,并给出跨语言对象迁移规范以及开发实例.在Dalvik虚拟机中实现了该模型,通过实验证明该策略和模型能够有效改善JNI机制的不足. 相似文献
10.