×
验证码:
换一张
忘记密码？
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [7]
北京大学 [5]
西安交通大学 [2]
计算技术研究所 [1]
湖南大学 [1]
中南林业科技大学 [1]
更多...
内容类型
期刊论文 [8]
其他 [4]
会议论文 [3]
学位论文 [2]
发表日期
2017 [2]
2016 [1]
2015 [1]
2014 [1]
2011 [2]
2010 [2]
更多...
学科主题
Computer S... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共17条，第1-10条
帮助
已选(
0
)
清除
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Generating test case for algebraic specification based on Tabu search and genetic algorithm
期刊论文
CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2017, 卷号: Vol.20 No.1, 页码: 277-289
作者:
Yu, Bo
;
Qin, Yemei
收藏
|
浏览/下载：3/0
|
提交时间：2019/12/31
Algebraic specification
Algebraic testing
Test case
Tabu search
Genetic algorithm
Generating test case for algebraic specification based on Tabu search and genetic algorithm
期刊论文
Cluster Computing, 2017, 卷号: 20, 期号: 1, 页码: 277-289
作者:
Yu, Bo*
;
Qin, Yemei
收藏
|
浏览/下载：3/0
|
提交时间：2019/12/28
Algebraic specification
Algebraic testing
Test case
Tabu search
Genetic algorithm
Model checking computation tree logic over finite lattices
期刊论文
THEORETICAL COMPUTER SCIENCE, 2016
Pan, Haiyu
;
Li, Yongming
;
Cao, Yongzhi
;
Ma, Zhanyou
收藏
|
浏览/下载：3/0
|
提交时间：2017/12/03
Model checking
Computation tree logic
Lattice
Weighted automata
QUANTUM LOGIC
MULTIVALUED LOGICS
AUTOMATA
TIME
Verifying Interaction between Methods in Classes
其他
2015-01-01
Hu, Tingting
;
Wang, Shuling
;
Qiu, Zongyan
收藏
|
浏览/下载：4/0
|
提交时间：2017/12/03
Object-orientation
Algebraic specification
Abstract predicates
Verification
Behavioral subtyping
SPECIFICATIONS
CHECKING
Specification and analysis of Null Convention Logic (NCL) circuits using PAFSV
会议论文
作者:
Man, Ka Lok
;
Zhang, Nan
;
Lei, Chi-Un
;
Lim, Eng Gee
;
Ting, T.O.
收藏
|
浏览/下载：3/0
|
提交时间：2019/12/02
Algebraic framework
Bisimilarity
Deduction rule
Formal Semantics
Formal specification and analysis
Null convention logic
SystemVerilog
Time transition
combinatorial optimization problem reduction and algorithm derivation
期刊论文
Ruan Jian Xue Bao/Journal of Software, 2011, 卷号: 22, 期号: 9, 页码: 1985-1993
Zheng Yu-Jun
;
Xue Jin-Yun
;
Ling Hai-Feng
收藏
|
浏览/下载：10/0
|
提交时间：2011/10/10
Algorithms
Combinatorial optimization
Optimization
组合优化问题简约与算法推演
期刊论文
Journal of Software, 2011, 卷号: 22, 期号: 9, 页码: 1985-1993
郑宇军
;
薛锦云
;
凌海风
收藏
|
浏览/下载：12/0
|
提交时间：2013/10/08
组合优化问题
问题简约
算法推演
正确性证明
an algebraic approach to mechanical tabu search algorithm generation
会议论文
2010 1st IEEE International Conference on Progress in Informatics and Computing, PIC 2010, Shanghai, China, 40878
Zheng Yujun
;
Shi Haihe
;
Xue Jinyun
收藏
|
浏览/下载：9/0
|
提交时间：2011/03/31
Algebra
Automatic programming
Combinatorial optimization
Information science
Learning algorithms
Machinery
Specifications
Process algebraic specification of DI circuits
会议论文
作者:
Man, Ka Lok
;
Asthana, Abhinav
;
Kapoor, Hemangee K.
;
Krilavicˇius, Tomas
;
Chang, Jian
收藏
|
浏览/下载：7/0
|
提交时间：2019/12/18
Algebraic languages
Algebraic specifications
Alternative synthesis
Asynchronous control
Asynchronous control circuits
Sequential process
Modeling language and tools for the semantic link network
期刊论文
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2008, 卷号: 20, 期号: 7, 页码: 885-902
作者:
Zhuge, Hai
;
Yuan, Kehua
;
Liu, Jin
;
Zhang, Junsheng
;
Wang, Xiaofeng
收藏
|
浏览/下载：15/0
|
提交时间：2019/12/16
browser
metamodel
modeling language
semantic link network
UML
©版权所有 ©2017 CSpace - Powered by
CSpace
