CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
一个基于 Linux 的 Android 兼容层的设计与实现 学位论文
硕士, 北京: 中国科学院大学, 2017
作者:  江帆
收藏  |  浏览/下载：52/0  |  提交时间：2017/07/08
The Sunway TaihuLight supercomputer: system and applications 期刊论文
Science China-Information Sciences, 2016, 卷号: 59, 期号: 7
Fu, HH; Liao, JF; Yang, JZ; Wang, LN; Song, ZY; Huang, XM; Yang, C; Xue, W; Liu, FF; Qiao, FL; Zhao, W; Yin, XQ; Hou, CF; Zhang, CL; Ge, W; Zhang, J; Wang, YG; Zhou, CB; Yang, GW
收藏  |  浏览/下载：52/0  |  提交时间：2016/12/09
FCA-CIA: An approach of using FCA to support cross-level change impact analysis for object oriented Java programs 期刊论文
INFORMATION AND SOFTWARE TECHNOLOGY, 2013, 卷号: 55, 期号: 8, 页码: 1437-1449
Li, Bixin; Sun, Xiaobing; Keung, Jacky
收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16
Radl 形式规格说明相对正确性研究 期刊论文
Journal of Software, 2013, 卷号: 24, 期号: 4
Wang Changjing; Xue Jinyun
收藏  |  浏览/下载：13/0  |  提交时间：2013/09/17
constraint-based locality analysis for x10 programs 会议论文
ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013 - Co-located with POPL 2013, Rome, Italy, January 21, 2013 - January 22, 2013
Sun Qiang; Chen Yuting; Zhao Jianjun
收藏  |  浏览/下载：10/0  |  提交时间：2013/09/22
HyperVerify: A VM-assisted Architecture for Monitoring Hypervisor Non-control Data 会议论文
7th IEEE International Conference on Software Security and Reliability (SERE), Gaithersburg, MD, JUN 18-20, 2013
Ding, Baozeng; He, Yeping; Wu, Yanjun; Lin, Yuqi
收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16
debug concurrent programs with visualization and inference of event structure 会议论文
19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4, 2012 - December 7, 2012
Wu Xiaoquan; Wei Jun; Wang Xu
收藏  |  浏览/下载：9/0  |  提交时间：2013/09/22
constructing a data accessing layer for in-memory data grid 会议论文
4th Asia-Pacific Symposium on Internetware, Internetware 2012, Qingdao, China, October 30, 2012 - October 31, 2012
Ji Shuping; Wang Wei; Ye Chunyang; Wei Jun; Liu Zhaohui
收藏  |  浏览/下载：58/0  |  提交时间：2013/09/22
a concurrent temporal programming model with atomic blocks 会议论文
14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12, 2012 - November 16, 2012
Yang Xiaoxiao; Zhang Yu; Fu Ming; Feng Xinyu
收藏  |  浏览/下载：17/0  |  提交时间：2013/09/22
specifying and building a formal secure virtual monitor machine prototype 会议论文
2010 3rd IEEE International Conference on Broadband Network and Multimedia Technology, IC-BNMT2010, Beijing, China, 40842
Liang Hongliang; Ye Qiuping; Tian Shuo
收藏  |  浏览/下载：9/0  |  提交时间：2011/03/31

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