×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
兰州大学 [3]
内容类型
会议论文 [2]
期刊论文 [1]
发表日期
2013 [1]
2012 [1]
2009 [1]
学科主题
computer s... [1]
mathematic... [1]
optimizati... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共3条,第1-3条
帮助
限定条件
专题:兰州大学
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Automata-Based Analysis of Stage Suspended Boom Systems
期刊论文
JOURNAL OF APPLIED MATHEMATICS, 2013, 页码: -
作者:
He, AP
;
Wu, JZ
;
Yang, SH
;
Zhou, YQ
;
Wang, J
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2015/12/15
A Formal Analysis of Stage Stunt System with Hybrid Automata
会议论文
7th International Conference on Computing and Convergence Technology (ICCCT), Seoul, SOUTH KOREA, DEC 03-05, 2012
作者:
He, AP
;
Wang, J
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2017/01/18
Stage stunt system
hybrid automata
forward analysis
A hybrid branch-and-bound strategy for hardware/software partitioning
会议论文
8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009, Shanghai, China, June 1, 2009 - June 3, 2009
作者:
Jigang, Wu
;
Chang, Baofang
;
Srikanthan, Thambipillai
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2017/01/18
Computational efficiency
Algorithms
Combinatorial mathematics
Computational complexity
Computer aided logic design
Data structures
Information science
Linear programming
Branch and bound search
Branch and bounds
Branch-and-bound
Branch-and-bound algorithms
Combinatorial search
Computational experiment
Elimination rules
Hardware/software co-design
Hardware/software partitioning
Hybrid algorithm
Hybrid algorithms
Hybrid approach
Hybrid framework
Initial stages
NP-hard
Search spaces
Selection Rules
©版权所有 ©2017 CSpace - Powered by
CSpace