×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [7]
内容类型
期刊论文 [5]
会议论文 [2]
发表日期
2010 [1]
2007 [4]
2005 [1]
2004 [1]
学科主题
Computer S... [2]
Electrical... [2]
Automation... [1]
Engineerin... [1]
Hardware &... [1]
Informatio... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共7条,第1-7条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
utilization bound for periodic task set with composite deadline
期刊论文
Computers and Electrical Engineering, 2010, 卷号: 36, 期号: 6, 页码: 1101-1109
Min-Allah Nasro
;
Ali Ishtiaq
;
Xing Jiansheng
;
Wang Yongji
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2011/05/24
Online systems
Polynomial approximation
Response time (computer systems)
Scheduling
Testing
generating polynomial invariants with discoverer and qepcad
会议论文
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
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2011/06/29
program verification
invariant generation
polynomial programs
semi-algebraic systems
quantifier elimination
DISCOVERER
QEPCAD
on factor prime factorizations for n-d polynomial matrices
期刊论文
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2007, 卷号: 54, 期号: 6, 页码: 1398-1405
Wang Mingsheng
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2011/07/01
农业工程
棉秆气化炉
试验研究
气化性能factor prime matrix
matrix factorization
multidimensional systems
n-D polynomial matrices
polynomial ring
a polynomial dynamic system approach to software design for attractivity requirement
期刊论文
INFORMATION SCIENCES, 2007, 卷号: 177, 期号: 13, 页码: 2712-2725
Wang Xiang-Yun
;
Zhang Wenhui
;
Li Yong-Chao
;
Cai Kai-Yuan
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2011/07/01
reactive software
discrete event dynamic systems
supervisory control theory
polynomial dynamic systems
software cybernetics
online feasibility analysis with composite-deadline
会议论文
4th International Conference on Innovations in Information Technology, Dubai, U ARAB EMIRATES, NOV 18-20,
Min-Allah Nasro
;
Ali Imran
;
Jian-Sheng Xing
;
Yong-Ji Wang
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2011/06/29
Chlorine compounds
Information technology
Innovation
Polynomial approximation
Real time systems
Response time (computer systems)
on multivariate polynomial matrix factorization problems
期刊论文
MATHEMATICS OF CONTROL SIGNALS AND SYSTEMS, 2005, 卷号: 17, 期号: 4, 页码: 297-311
Wang MS
;
Kwong CP
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2011/07/28
multidimensional systems
multivariate polynomial matrices
zero left prime
minor left prime
reduced minors
matrix factorizations
on lin-bose problem
期刊论文
Linear Algebra and Its Applications, 2004, 卷号: 390, 期号: 1-3
Wang MS
;
Feng Dengguo
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2010/03/11
Polynomial ring
Multivariate polynomial matrix
Lin–Bose problem
Matrix factorization
Multidimensional systems
©版权所有 ©2017 CSpace - Powered by
CSpace