×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
大连理工大学 [22]
内容类型
会议论文 [14]
期刊论文 [8]
发表日期
2019 [1]
2018 [1]
2017 [5]
2016 [1]
2015 [2]
2014 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共22条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Analysis of Interrupt Behavior Based on Probabilistic Model Checking
会议论文
7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, 2018-07-08
作者:
Hou, Gang
;
Kong, Weiqiang
;
Zhou, Kuanjiu
;
Wang, Jie
;
Cao, Xun
收藏
  |  
浏览/下载:41/0
  |  
提交时间:2019/12/02
Computer circuits
Embedded systems
Petri nets
Real time systems
Stochastic models
Stochastic systems, Automated driving systems
Continuous stochastic logic
Deterministic and stochastic Petri nets
Deterministic behavior
Interrupt behavior
Markov regenerative process
Probabilistic model checking
Real-time embedded systems, Model checking
Multi-core parallel complex system task scheduling method based on multi label constraint
期刊论文
Journal of Applied Science and Engineering, 2018, 卷号: 21, 页码: 59-68
作者:
Wang, Yingjie
;
Zhou, Kuanjiu
;
Li, Mingchu
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/02
A hierarchical combinatorial testing method for smart phone software in wearable IoT systems
期刊论文
COMPUTERS & ELECTRICAL ENGINEERING, 2017, 卷号: 61, 页码: 250-265
作者:
Cui, Kai
;
Zhou, Kuanjiu
;
Qiu, Tie
;
Li, Mingchu
;
Yan, Leiming
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2019/12/02
Hierarchical combinatorial testing
User manipulation model
Semantic tree
Group state
Effective hybrid load scheduling of online and offline clusters for e-health service
期刊论文
NEUROCOMPUTING, 2017, 卷号: 220, 页码: 60-66
作者:
Cui, Kai
;
Wang, Jie
;
Song, Houbing
;
Lin, Chi
;
Zhou, Kuanjiu
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2019/12/02
Hybrid load
Online e-health service
Compression index
Storm platform
Automated Software Testing Based on Hierarchical State Transition Matrix for Smart TV
期刊论文
IEEE ACCESS, 2017, 卷号: 5, 页码: 6492-6501
作者:
Cui, Kai
;
Zhou, Kuanjiu
;
Song, Houbing
;
Li, Mingchu
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/02
Hierarchical state transition matrix
Cyclomatic complexity
expanded regular expressions
group state
Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN
期刊论文
IEEE ACCESS, 2017, 卷号: 5, 页码: 5178-5189
作者:
Hou, Gang
;
Zhou, Kuanjiu
;
Qiu, Tie
;
Kong, Weiqiang
;
Li, Mingchu
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/02
Performance evaluation
embedded software
Markov regenerative theory
interrupt handling behaviors
A novel green software evaluation model for cloud robotics
期刊论文
COMPUTERS & ELECTRICAL ENGINEERING, 2017, 卷号: 63, 页码: 139-156
作者:
Hou, Gang
;
Zhou, Kuanjiu
;
Qiu, Tie
;
Cao, Xun
;
Li, Mingchu
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2019/12/03
Cloud robotics
Energy consumption
Green software modeling method
State transition matrix
Bounded model checking
ETSTM: A New Green Software Model
会议论文
15th IEEE Int Conf on Trust, Security and Privacy in Comp and Commun / 10th IEEE Int Conf on Big Data Science and Engineering / 14th IEEE Int Symposium on Parallel and Distributed Proc with Applicat (IEEE Trustcom/BigDataSE/ISPA), Tianjin, PEOPLES R CHINA, 2016-08-23
作者:
Hou, Gang
;
Zhou, Kuanjiu
;
Wu, Yanran
;
Chi, Zongzheng
;
Wang, Jie
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/12/09
green evaluation
ETSTM
energy consumption analysis
green software model
Energy Consumption Analysis Method of CPS Software Based on Architecture Modeling
会议论文
Ninth International Conference on Frontier of Computer Science and Technology, Dalian, PEOPLES R CHINA, 2015-08-26
作者:
Hou Gang
;
Ban Yinfeng
;
Zhou Kuanjiu
;
Wang Jie
;
Li Mingchu
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/09
energy consumption modeling
cyber physical systems
time state transition matrix
software architecture
bounded model checking
Lightweight Order-based Deterministic Replay of Java Multithread Program
会议论文
2nd International Symposium on Dependable Computing and Internet of Things (DCIT), Wuhan, PEOPLES R CHINA
作者:
Wang, Zhaomiao
;
Zhou, Kuanjiu
;
Zhao, Guoliang
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/09
multicore processor
parallel prgram
deterministic replay
execution sequence
multithread program
shared memory
©版权所有 ©2017 CSpace - Powered by
CSpace