云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(60773093)

国家自然科学基金(60773093): 作品数：14被引量：44H指数：3; 导出分析报告; 相关作者：梁阿磊管海兵李小勇戚正伟姜玲燕更多>>; 相关机构：上海交通大学更多>>; 相关期刊：《计算机应用与软件》《计算机工程》《China Communications》《计算机应用》更多>>; 相关主题：动态二进制翻译虚拟机XENGIS环境多边形更多>>; 相关领域：自动化与计算机技术自然科学总论电子电信交通运输工程更多>>

Enhance Information Flow Tracking with Function Recognition: 《China Communications》2010年第6期24-29,共6页Zhou Kan Huang Shiqiu Huang Shan Qi Zhengwei Gu Jian Guan Haibing; This work is supported by National Natural Science Foundation of China （Grant No.60773093, 60873209, and 60970107）, the Key Program for Basic Research of Shanghai （Grant No. 09JC1407900, 09510701600, 10511500100）, IBM SUR Funding and IBM Research-China JP Funding, and Key Lab of Information Network Security, Ministry of Public Security.; With the spread use of the computers, a new crime space and method are presented for criminals. Thus computer evidence plays a key part in criminal cases. Traditional computer evidence searches require that the comput...; 关键词：function recognition information flow tracking program behavior e-evidence.

一种基于动态二进制翻译的硬件支持Profile技术: 《微型电脑应用》2010年第5期56-58,74,共4页杨辉兵管海兵梁阿磊; 国家自然科学基金(项目编号:60773093;60873209); 传统的基于动态二进制翻译器的profiling策略分为3种:基于基本块、基于跳转边、基于路径跟踪。使用纯软件的profiling系统一般地说会带来平均30%的性能开销。如果在动态优化中得到硬件的支持,系统的整体性能将得到显著的提高。其中,软...; 关键词：动态二进制翻译 profile信息软硬件协同设计

GIS环境中一种高效的多边形剪裁方法被引量：2: 《计算机应用与软件》2010年第3期40-42,共3页蔡松露戚正伟梁阿磊; 国家973计划前期研究专项(2007CB316506);国家自然科学基金(60773093); 在Weiler算法的基础上提出一种在GIS环境中计算非凸多边形之间的剪裁区域的新算法。该算法前提是多边形已根据梯形分解法被分解成若干个梯形,首先计算两个多边形之间的交叉点,并在计算的过程中按Weiler算法中的出点和入点来标示它们,然...; 关键词：Weiler 梯形分割多边形剪裁

SA-YAFFS:支持交换系统的YAFFS闪存文件系统被引量：1: 《计算机应用与软件》2010年第2期1-5,共5页马捷昱梁阿磊; 国家自然科学基金项目(60773093); LINUX交换系统不支持在闪存(NAND flash)上直接建立交换区域。虽然可以使用NFTL/FTL层或者FASS闪存交换系统实现在闪存上建立交换分区。然而,这两种方法都采用静态分配交换区域,将交换系统的读写磨损限制在了闪存固定的某个区域,可能会...; 关键词：NAND FLASH YAFFS文件系统交换系统

嵌入式三维场景漫游系统的设计与实现被引量：1: 《计算机工程》2009年第18期257-259,262,共4页冯立男戚正伟; 国家"973"计划基金资助项目(2007CB316506);国家自然科学基金资助项目(60773093); 针对移动用户对空间信息可视化及基于位置服务的需求,提出JSR-184规范下与嵌入式软硬件环境相关的三维场景漫游系统框架,设计实现一个原型系统,其中包括场景模型设计、场景树构建、灯光摄影机布置、用户交互实现,采用保留模式和立即模...; 关键词：嵌入式3D 场景漫游系统 JSR-184规范

面向瘦客户端的分布式动态二进制翻译系统: 《计算机工程》2009年第22期272-274,共3页林凌管海兵梁阿磊; 国家"973"计划前期研究专项课题基金资助项目(2007CB316506);国家"863"计划基金资助项目(2006AA01Z169);国家自然科学基金资助项目(60773093); 传统的动态二进制翻译系统不适合直接用于瘦客户端,因为瘦客户端(如手机等)大多存在资源受限的问题,而动态二进制翻译过程会消耗较多的计算和内存资源。针对上述问题,提出一个适用于瘦客户端的分布式动态二进制翻译系统,用远程服务器完...; 关键词：动态二进制翻译分布式系统瘦客户端 Crossbit虚拟机

动态二进制翻译中的中间表示被引量：4: 《计算机工程》2009年第9期283-284,F0003,共3页姜玲燕梁阿磊管海兵; 国家"863"计划基金资助项目(2006AA01Z169);国家"973"计划前期研究专项基金资助项目(2007CB316506);国家自然科学基金资助项目(60773093); 在二进制翻译中采用中间表示,可以适当隔离不同机器平台的特点,便于二进制翻译系统的移植。提出一种VINST中间表示方法,介绍其指令集与特点,运用SSA形式化和冗余指令删除等方法对VINST进行初步优化。优化前后的性能比较结果表明,相对简...; 关键词：动态二进制翻译中间表示二进制翻译器CrossBit

跳转链接技术在动态二进制翻译中的应用被引量：1: 《微型电脑应用》2009年第6期48-50,6,共3页潘丽君姜玲燕; 国家重大基础研究(973)前期研究专项课题(2007CB16506);863计划项目(2006AA01Z169);国家自然科学基金(60773093); 动态二进制翻译中,翻译和执行的基本单元是基本块。一个基本块执行完毕,程序的控制权必须回到执行引擎,开始下一个基本块的查询,这导致频繁的控制权切换。对基本块应用跳转链接技术能够减少这种频繁的控制权切换。该文总结了二进制翻译...; 关键词：跳转链接动态二进制翻译 CrossBit

GIS环境中一种高效的多边形剪裁方法: 《微型电脑应用》2009年第4期10-12,4,共4页蔡松露戚正伟梁阿磊; 国家973计划前期研究专项(2007CB316506);国家自然科学基金(60773093); 论文在Weiler算法的基础上提出了一种在GIS环境中计算非凸多边形之间的剪裁区域的新算法。该算法前提是多边形已根据梯形分解法被分解成若干个梯形,计算过程与Weiler算法类似。该算法主要通过减少交点的计算时间来提高Weiler算法的效率...; 关键词：Weiler算法梯形分割多边形剪裁

动态二进制翻译系统的调试器框架被引量：1: 《计算机工程》2009年第2期283-284,F0003,共3页郑举育管海兵梁阿磊; 国家自然科学基金资助项目(60773093);国家"973"计划基金资助项目(2007CB316506);国家"863"计划基金资助项目(2006AA01Z169); 传统的动态二进制翻译系统缺少调试器支持或者调试功能有限,随着开发规模的扩大,调试手段成为制约设计开发进度的瓶颈。该文提出一种针对动态二进制翻译系统的调试器框架,引入观察点、回退执行与调试脚本3个功能,通过在Crossbit平台上...; 关键词：动态二进制翻译 Crossbit虚拟机调试器

国家自然科学基金(60773093)