|
已选(0)清除
条数/页： 排序方式：
|
| 基于编译的相变存储器内存损耗均衡方法研究 学位论文
2016
作者: 吴炳廉
  收藏 | 浏览/下载：4/0 | 提交时间：2019/12/05
|
| 越界检查工具的研究 学位论文
北京: 中国科学院研究生院, 2014
作者: 陈亚男
收藏 | 浏览/下载：18/0 | 提交时间：2014/07/03
|
| 一种面向语义Web服务的语义程序变换方法 期刊论文
计算机科学, 2010, 卷号: 37, 期号: 3
作者: 王权于; 应时; 赵楷; 吕国斌
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 基于形式描述的编译优化自动测试方法与技术研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
-
收藏 | 浏览/下载：14/0 | 提交时间：2009/06/12
|
| 基于时序逻辑证明编译优化程序变换的保义性 期刊论文
软件学报, 2009, 卷号: 20, 期号: 8, 页码: 2074-2086
陶秋铭; 赵琛; 郭亮
收藏 | 浏览/下载：13/0 | 提交时间：2010/08/25
|
| 以体系结构为中心的分布式系统的程序变换 期刊论文
电脑知识与技术, 2009, 期号: 25, 页码: 7154-7156
作者: 王天宇
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/26
|
| 异佛尔酮合成产物的高效液相色谱法分析 期刊论文
分析仪器, 2008, 期号: 2008年06期, 页码: 30-33
作者: 范宗良; 董宇航; 李贵贤; 杨磊
收藏 | 浏览/下载：0/0 | 提交时间：2019/11/13
|
| 基于抽象解释的代码迷惑有效性比较框架 期刊论文
计算机学报, 2007, 卷号: 30, 期号: 5, 页码: 806-814
高鹰; 陈意云
收藏 | 浏览/下载：60/6 | 提交时间：2011/07/01
|
| 算法程序变换研究与进展 期刊论文
计算机科学, 2007, 卷号: 34, 期号: 11, 页码: 232-238
石海鹤; 石海鹏; 郑宇军; 薛锦云
收藏 | 浏览/下载：11/0 | 提交时间：2011/07/01
|
| ESPTSL 学位论文
2006, 1999
徐锋峰
收藏 | 浏览/下载：2/0 | 提交时间：2016/02/14
|
