CORC

在结果中检索

CORC

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

限定条件                    
已选(0)清除 条数/页：   排序方式：
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, 卷号: 36, 期号: 9, 页码: 2015151
王榕; 张敏; 冯登国; 李昊
收藏  |  浏览/下载：16/0  |  提交时间：2016/12/09
炼油生产中的原油多周期调度优化 期刊论文
计算机集成制造系统, 2015, 卷号: 21, 期号: 2, 页码: 503-509
李亚平; 刘伟; 张刘军; 韩永波
收藏  |  浏览/下载：22/0  |  提交时间：2016/12/09
认知无线电分簇子网频谱决策 期刊论文
计算机科学, 2014, 卷号: 41, 期号: 6, 页码: 27-30,68
赵俊; 廖名学; 何晓新; 郑昌文
收藏  |  浏览/下载：27/0  |  提交时间：2014/12/16
A constraint-weaving approach to points-to analysis for AspectJ 期刊论文
Frontiers of Computer Science, 2014, 卷号: 8, 期号: 1, 页码: 52-68
Sun, Qiang (1); Chen, Yuting (1); Zhao, Jianjun (1)
收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16
带时间和资源约束的实例化过程模型验证方法 期刊论文
计算机系统应用, 2014, 期号: 10, 页码: 172-177
李伟亨; 谢淼; 翟健; 杨秋松
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16

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