中国科学院机构知识库网格系统: 检索

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

帮助

条数/页：排序方式：
	Trace Abstraction Refinement for Solving Horn Clauses 期刊论文 OAI收割 COMPUTER JOURNAL, 2016, 卷号: 59, 期号: 8, 页码: 1236-1251 Wang, WF; Jiao, L \| 收藏 \|
	Symbolic termination analysis of solvable loops 期刊论文 OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2013, 卷号: 50, 页码: 28-49 Xu, Ming; Li, Zhi-Bin \| 收藏 \|
	a sentence generation algorithm for testing grammars 会议论文 OAI收割 IEEE 33rd International Computer Software and Applications Conference, Seattle, WA, JUL 20-24, Zheng Lixiao; Wu Duanyi \| 收藏 \|
	bounded model checking of actl formulae 会议论文 OAI收割 3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31, Chen Wei; Zhang Wenhui \| 收藏 \|
	generating algorithms plus loop invariants by formal derivation 会议论文 OAI收割 7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16, Shi Haihe; Du Dawei; Xue Jinyun \| 收藏 \|
	a mechanical approach for deriving algorithmic programs 会议论文 OAI收割 7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16, Shi Haihe; Xue Jinyun; Du Dawei \| 收藏 \|
	generating polynomial invariants with discoverer and qepcad 会议论文 OAI收割 Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen, Macao, PEOPLES R CHINA, SEP 24-25, Chen Yinghua; Xia Bican; Yang Lu; Zhan Naijun \| 收藏 \|
	computing invariants for parameter abstraction 会议论文 OAI收割 ACM/IEEE International Conference on Formal Methods and Models for Co-Design, Nice, FRANCE, MAY 30-JUN Lv Yi; Lin Huimin; Pan Hong \| 收藏 \|
	Average cost optimal policy for a stochastic two-machine flowshop with limited work-in-process 期刊论文 OAI收割 NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 2001, 卷号: 47, 期号: 8, 页码: 5671-5678 作者: Presman, EL; Sethi, SP; Zhang, H; Bisi, A; Bisi, D \| 收藏 \|