CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
一种基于组件的信息物理系统描述语言 学位论文
硕士, 北京: 中国科学院大学, 2017
作者:  时雨霖
收藏  |  浏览/下载：19/0  |  提交时间：2017/07/08
An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 5, 页码: 987-1011
Chen, L; Wu, JZ; Lv, YR; Wang, YJ
收藏  |  浏览/下载：23/0  |  提交时间：2016/12/09
Dynamic Testing for Deadlocks via Constraints 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 9, 页码: 825-842
Cai, Y; Lu, Q
收藏  |  浏览/下载：23/0  |  提交时间：2016/12/09
Multiconstraint Static Scheduling of Synchronous Dataflow Graphs Via Retiming and Unfolding 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2016, 卷号: 35, 期号: 6, 页码: 905-918
Zhu, XY; Geilen, M; Basten, T; Stuijk, S
收藏  |  浏览/下载：31/0  |  提交时间：2016/12/09
An Approach to Checking Consistency between UML Class Model and Its Java Implementation 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 4, 页码: 322-344
Chavez, HM; Shen, WW; France, RB; Mechling, BA; Li, GY
收藏  |  浏览/下载：14/0  |  提交时间：2016/12/09
Multiphase until formulas over Markov reward models: An algebraic approach 期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 611, 页码: 116-135
Xu, M; Zhang, LJ; Jansen, DN; Zhu, HB; Yang, ZY
收藏  |  浏览/下载：12/0  |  提交时间：2016/12/13
组合测试：测试生成、错误定位与应用 学位论文
博士, 北京: 中国科学院大学, 2015
张智强
收藏  |  浏览/下载：18/0  |  提交时间：2015/06/30
数据库形式化安全策略模型建模及分析方法 期刊论文
通信学报, 2015, 卷号: 36, 期号: 9, 页码: 2015151
王榕; 张敏; 冯登国; 李昊
收藏  |  浏览/下载：16/0  |  提交时间：2016/12/09
炼油生产中的原油多周期调度优化 期刊论文
计算机集成制造系统, 2015, 卷号: 21, 期号: 2, 页码: 503-509
李亚平; 刘伟; 张刘军; 韩永波
收藏  |  浏览/下载：22/0  |  提交时间：2016/12/09
格子Boltzmann 方程组的高可扩展隐式方法 研究报告
2014
黄记祖
收藏  |  浏览/下载：17/0  |  提交时间：2015/10/16

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