CORC

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

限定条件                
已选(0)清除 条数/页:   排序方式:
一种基于组件的信息物理系统描述语言 学位论文
硕士, 北京: 中国科学院大学, 2017
作者:  时雨霖
收藏  |  浏览/下载:19/0  |  提交时间:2017/07/08
美式期权定价的分数阶偏微分方程组及其数值离散方法 期刊论文
数值计算与计算机应用, 2014, 卷号: 35, 期号: 3, 页码: 229-240
席钧; 曹建文
收藏  |  浏览/下载:18/0  |  提交时间:2014/12/16
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)
收藏  |  浏览/下载:14/0  |  提交时间:2014/12/16
The Application of the Combinatorial Relaxation Theory on the Structural Index Reduction of DAE 会议论文
12th International Symposium on Distributed Computing and Applications to Business, Engineering and Science (DCABES), London, ENGLAND, SEP 02-04, 2012
Wu, Xuesong; Zeng, Yan; Cao, Jianwen
收藏  |  浏览/下载:14/0  |  提交时间:2014/12/16
Modeling and simulations of drop pinch-off from liquid crystal filaments and the leaky liquid crystal faucet immersed in viscous fluids 期刊论文
JOURNAL OF COMPUTATIONAL PHYSICS, 2013, 卷号: 236, 页码: 1-14
Yang, Xiaofeng; Forest, M. Gregory; Li, Huiyuan; Liu, Chun; Shen, Jie; Wang, Qi; Chen, Falai
收藏  |  浏览/下载:12/0  |  提交时间:2014/12/16
CPU/GPU集群上求解偏微分方程的可扩展混合算法 期刊论文
集成技术, 2012, 卷号: 1, 期号: 1, 页码: 84-88
罗力; 杨超; 赵宇波; 蔡小川
收藏  |  浏览/下载:9/0  |  提交时间:2013/09/17
known-key distinguisher on round-reduced 3d block cipher 会议论文
12th International Workshop on Information Security Applications, WISA 2011, Jeju Island, Korea, Republic of, August 22, 2011 - August 24, 2011
Dong Le; Wu Wenling; Wu Shuang; Zou Jian
收藏  |  浏览/下载:10/0  |  提交时间:2013/09/22
an assume/guarantee based compositional calculus for hybrid csp 会议论文
9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012, Beijing, China, May 16, 2012 - May 21, 2012
Wang Shuling; Zhan Naijun; Guelev Dimitar
收藏  |  浏览/下载:9/0  |  提交时间:2013/09/22
impossible differential cryptanalysis of spn ciphers 期刊论文
IET Information Security, 2011, 卷号: 5, 期号: 2, 页码: 111-120
Li R.; Sun B.; Li C.
收藏  |  浏览/下载:7/0  |  提交时间:2011/10/10
parallel computation of continuous petri nets based on hypergraph partitioning 期刊论文
Journal of Supercomputing, 2011, 卷号: 62, 期号: 1, 页码: 1-33
Ding Zuohua; Shen Hui; Cao Jianwen
收藏  |  浏览/下载:16/0  |  提交时间:2013/10/08


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