CORC

在结果中检索

CORC

浏览/检索结果: 共216条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
Wine兼容关键代码的检测及应用方法研究 学位论文
硕士, 北京: 中国科学院大学, 2019
作者:  黄译萱
收藏  |  浏览/下载：86/0  |  提交时间：2019/06/18
典型流式机器学习算法并行化设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2018
作者:  沈雯婷
收藏  |  浏览/下载：121/0  |  提交时间：2018/06/12
安卓应用的字节码插桩与资源泄漏修复 学位论文
硕士, 北京: 中国科学院大学, 2017
作者:  刘洁瑞
收藏  |  浏览/下载：30/0  |  提交时间：2017/07/08
大数据背景下集群取样调度关键技术研究 学位论文
博士, 北京: 中国科学院大学, 2017
作者:  郝春亮
收藏  |  浏览/下载：18/0  |  提交时间：2017/07/08
面向无穷数据的形式模型综述 期刊论文
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 682-690
宋富; 吴志林
收藏  |  浏览/下载：12/0  |  提交时间：2016/12/09
基于Pushdown系统证明的可视化 学位论文
硕士, 北京: 中国科学院研究生院, 2016
周青
收藏  |  浏览/下载：22/0  |  提交时间：2016/06/21
基于异构多核平台的同步数据流图帕累托优化与调度 期刊论文
计算机科学, 2015, 卷号: 42, 期号: 11, 页码: 43-47
顾玉磊; 朱雪阳; 晏荣杰; 张广泉
收藏  |  浏览/下载：19/0  |  提交时间：2016/12/09
ROS中XML-RPC协议实现的形式化验证 期刊论文
小型微型计算机系统, 2015, 卷号: 36, 期号: 12, 页码: 2629-2633
贾娟娟; 施智平; 关永; 李勇坚; 魏洪兴
收藏  |  浏览/下载：48/0  |  提交时间：2016/12/09
面向移动终端用户的服务组合关键技术研究 学位论文
博士, 北京: 中国科学院大学, 2014
白琳
收藏  |  浏览/下载：17/0  |  提交时间：2014/05/30
基于公式学习的循环不变式的推导 学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
收藏  |  浏览/下载：20/0  |  提交时间：2014/06/06

©版权所有 ©2017 CSpace - Powered by CSpace