CORC

在结果中检索

CORC

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

限定条件                
已选(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
收藏  |  浏览/下载：25/0  |  提交时间：2016/12/09
Deciding probabilistic automata weak bisimulation: theory and practice 期刊论文
FORMAL ASPECTS OF COMPUTING, 2016, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A
收藏  |  浏览/下载：20/0  |  提交时间：2016/12/09
基于树状线性规划搜索的单调速率优化设计 期刊论文
软件学报, 2015, 卷号: 26, 期号: 12, 页码: 3223-3241
陈力; 王永吉; 吴敬征; 吕荫润
收藏  |  浏览/下载：22/0  |  提交时间：2016/12/09
一种基于单条程序执行路径的错误定位方法 期刊论文
计算机系统应用, 2014, 期号: 10, 页码: 112-118
周艺; 易秋萍; 刘剑; 淮晓永
收藏  |  浏览/下载：20/0  |  提交时间：2014/12/16
solving generalized optimization problems subject to smt constraints 会议论文
6th International Frontiers of Algorithmics Workshop, FAW 2012 and 8th International Conference on Algorithmic Aspects of Information and Management, AAIM 2012, Beijing, China, May 14, 2012 - May 16, 2012
Ma Feifei; Yan Jun; Zhang Jian
收藏  |  浏览/下载：15/0  |  提交时间：2013/09/22
a method for detecting mismatch of time-aware web services based on smt 会议论文
6th International Conference on Computer Science and Education, ICCSE 2011, Singapore, Singapore, August 3,
Xiyan Wang; Chen Shenbiao; Zhang Guangquan; Zhu Jihan; Wu Jianfeng
收藏  |  浏览/下载：22/0  |  提交时间：2013/10/08
基于Yices对时间自动机的有界模型检测 期刊论文
计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 126-129
王晓亮
收藏  |  浏览/下载：28/0  |  提交时间：2011/05/23
改进的以SMT为基础的实时系统限界模型检测 期刊论文
软件学报, 2010, 卷号: 21, 期号: 7, 页码: 1491-1502
徐亮
收藏  |  浏览/下载：15/0  |  提交时间：2011/05/23
volume computation for boolean combination of linear arithmetic constraints 会议论文
22nd International Conference on Automated Deduction (CADE-22), Montreal, CANADA, AUG 02-07,
Ma Feifei; Liu Sheng; Zhang Jian
收藏  |  浏览/下载：16/0  |  提交时间：2011/03/20

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