中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共4条，第1-4条

帮助

条数/页：排序方式：
	Reinvent Cloud Software Stacks for Resource Disaggregation 期刊论文 OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2023, 卷号: 38, 期号: 5, 页码: 949-969 作者: Wang, Chen-Xi; Shan, Yi-Zhou; Zuo, Peng-Fei; Cui, Hui-Min \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2024/05/20 cloud computing resource disaggregation datacenter program semantics
	depsim: a dependency-based malware similarity comparison system 会议论文 OAI收割 6th China International Conference on Information Security and Cryptology, Inscrypt 2010, Shanghai, China, 20-Oct Yi Yang; Lingyun Ying; Rui Wang; Purui Su; Dengguo Feng \| 收藏 \| 浏览/下载：55/0 \| 提交时间：2011/10/10 Behavioral research Computer crime Cryptography Dynamic analysis Network security Program processors Semantics
	an automatic testing approach for compiler based on metamorphic testing technique 会议论文 OAI收割 17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, Australia, 40850 Tao Qiuming; Wu Wei; Zhao Chen; Shen Wuwei \| 收藏 \| 浏览/下载：42/0 \| 提交时间：2011/03/31 Automation Errors Fault detection Program compilers Semantics Software design Testing
	基于抽象解释的代码迷惑有效性比较框架期刊论文 OAI收割计算机学报, 2007, 卷号: 30, 期号: 5, 页码: 806-814 高鹰; 陈意云收藏 \| 浏览/下载：112/6 \| 提交时间：2011/07/01 抽象解释程序变换程序分析代码迷惑压平算法抽象解释代码迷惑有效性证明比较框架非语义算法实例描述静态分析变换技术保护软件应用剖析逆向环境程序Algorithms Computer software Mobile agents Program diagnostics Security of data Semantics Static analysis