CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
Trace Abstraction Refinement for Solving Horn Clauses 期刊论文
COMPUTER JOURNAL, 2016, 卷号: 59, 期号: 8, 页码: 1236-1251
Wang, WF; Jiao, L
收藏  |  浏览/下载：17/0  |  提交时间：2016/12/09
Flow-insensitive type qualifier inference on programming languages allowing type casts 期刊论文
Computer Modelling and New Technologies, 2014, 卷号: 18, 期号: 2, 页码: 120-125
Li, Huisong (1)
收藏  |  浏览/下载：12/0  |  提交时间：2014/12/16
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
e-block: a tangible programming tool for children 会议论文
25th Annual ACM Symposium on User Interface Software and Technology, UIST 2012, Cambridge, MA, United states, October 7, 2012 - October 10, 2012
Wang Danli; Zhang Yang; Gu Tianyuan; He Liang; Wang Hongan
收藏  |  浏览/下载：20/0  |  提交时间：2013/09/22
a new matchmaking approach based on abductive conjunctive query answering 会议论文
Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4, 2011 - December 7, 2011
Du Jianfeng; Wang Shuai; Qi Guilin; Pan Jeff Z.; Hu Yong
收藏  |  浏览/下载：14/0  |  提交时间：2013/09/22
基于MST的优化技术：监督式编译 期刊论文
Computer Engineering and Design, 2011, 卷号: 32, 期号: 1
郑丽丽; 陈海明
收藏  |  浏览/下载：18/0  |  提交时间：2013/10/08
set-theoretic foundation of parametric polymorphism and subtyping 会议论文
16th ACM SIGPLAN International Conference on Functional Programming, ICFP'11, Tokyo, Japan, September
Castagna Giuseppe; Xu Zhiwu
收藏  |  浏览/下载：15/0  |  提交时间：2013/10/08
extending logic programs with description logic expressions for the semantic web 会议论文
10th International Semantic Web Conference, ISWC 2011, Bonn, Germany, October 23
Shen Yi-Dong; Wang Kewen
收藏  |  浏览/下载：13/0  |  提交时间：2013/10/08
a practical covert channel identification approach in source code based on directed information flow graph 会议论文
2011 5th International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, Jeju Island, Korea, Republic of, 27-Jun-02
Wu JingZheng; Ding Liping; Wang Yongji; Han Wei
收藏  |  浏览/下载：13/0  |  提交时间：2011/10/10
design and implementation of a graphical programming tool for children 会议论文
2011 IEEE International Conference on Computer Science and Automation Engineering, CSAE 2011, Shanghai, China, 10-Jun-02
Xiajian Chen; Danli Wang; Hongan Wang
收藏  |  浏览/下载：10/0  |  提交时间：2011/10/10

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