CORC

在结果中检索

CORC

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

限定条件                    
已选(0)清除 条数/页：   排序方式：
Will This Bug-fixing Change Break Regression Testing? 会议论文
the International Symposium on Empirical Software Engineering and Measurement(ESEM), 中国北京友谊宾馆, 2015-10-25
Xinye Tang; Song Wang; Ke Mao
收藏  |  浏览/下载：18/0  |  提交时间：2016/06/04
Super-dense computation in verification of hybrid CSP processes 会议论文
10th International Symposium on Formal Aspects of Component Software, FACS 2013, Nanchang, China, October 27, 2013 - October 29, 2013
Guelev, Dimitar P. (1); Wang, Shuling (2); Zhan, Naijun (2); Zhou, Chaochen (2)
收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16
Formal verification of a descent guidance control program of a lunar lander 会议论文
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Zhao, Hengjun (1); Yang, Mengfei (2); Zhan, Naijun (1); Gu, Bin (3); Zou, Liang (1); Chen, Yao (3)
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16
Profile directed systematic testing of concurrent programs 会议论文
2013 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, United states, May 18, 2013 - May 19, 2013
Hu, Yan (1); Yan, Jun (2); Zhang, Jian (2); Jiang, He (1)
收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16
A linear-time complexity algorithm for solving the dyck-cfl reachability problem on bi-directed trees 会议论文
5th International Conference on Machine Vision: Computer Vision, Image Analysis and Processing, ICMV 2012, Wuhan, China, October 20, 2012 - October 21, 2012
Sun, Xiaoshan (1); Zhang, Yang (2); Cheng, Liang (2)
收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16
利用并行GPU对分层分布式狄利克雷分布算法加速 会议论文
2013年全国开放式分布与并行计算学术年会, 昆明, 2013
温腊; 芮建武; 何婷婷; 郭亮
收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16
mpfft: an auto-tuning fft library for opencl gpus 会议论文
Li Yan; Zhang Yun-Quan; Liu Yi-Qun; Long Guo-Ping; Jia Hai-Peng
收藏  |  浏览/下载：16/0  |  提交时间：2013/09/22
a peta-scalable cpu-gpu algorithm for global atmospheric simulations 会议论文
18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2013, Shenzhen, China, February 23, 2013 - February 27, 2013
Yang Chao; Xue Wei; Fu Haohuan; Gan Lin; Li Linfeng; Xu Yangtong; Lu Yutong; Sun Jiachang; Yang Guangwen; Zheng Weimin
收藏  |  浏览/下载：26/0  |  提交时间：2013/09/22
assumption generation for asynchronous systems by abstraction refinement 会议论文
9th International Symposium on Formal Aspects of Component Software, FACS 2012, Mountain View, CA, United states, September 12, 2012 - September 14, 2012
Yang Qiusong; Clarke Edmund M.; Komuravelli Anvesh; Li Mingshu
收藏  |  浏览/下载：14/0  |  提交时间：2013/09/22
DBIMAT: A runtime program monitoring and performance analysis tool based on dynamic program instrumentation frameworks 会议论文
2013 International Conference on Computer Sciences and Applications, CSA 2013, Wuhan, China, December 14, 2013 - December 15, 2013
Yao, Huazhuang (1); Shuai, Wang (1); Chao, Guo (1); Wang, Yongyan (1)
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16

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