中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

西安交通大学 [4]

兰州大学 [4]

北京航空航天大学 [2]

湖南大学 [2]

清华大学 [1]

厦门大学 [1]

内容类型

期刊论文 [10]

会议论文 [6]

学位论文 [1]

发表日期

2016 [17]

学科主题

computer s... [2]

computer t... [1]

computer t... [1]

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

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

帮助

限定条件

发表日期：2016

已选(0)清除条数/页：排序方式：
	SMT-based scheduling for multiprocessor real-time systems 会议论文 15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016, Okayama, Japan, June 26, 2016 - June 29, 2016 作者: Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto 收藏 \| 浏览/下载：3/0 \| 提交时间：2017/01/18 Real time systems Computational complexity Formal logic Information science Interactive computer systems Multiprocessing systems Problem solving Scheduling Surface mount technology First-order language Multiple processors multiprocessor Real time scheduling Satisfiability modulo Theories Satisfiability problems Scheduling constraints Scheduling methods
	Scheduling overload for real-time systems using SMT solver 会议论文 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2016, Shanghai, China, May 30, 2016 - June 1, 2016 作者: Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto 收藏 \| 浏览/下载：3/0 \| 提交时间：2017/01/18 Real time systems Artificial intelligence Computation theory Formal logic Interactive computer systems Problem solving Scheduling Software engineering Surface mount technology First-order language overload Overload condition Real time scheduling Satisfiability modulo Theories Satisfiability problems Scheduling methods System performance degradation
	传统媒体的移动化:媒体客户端的现状与问题期刊论文 2016, 2016 陈昌凤; 王宇琦收藏 \| 浏览/下载：4/0
	火电厂生产实时调度系统设计与实现学位论文 2016, 2015 戴喆收藏 \| 浏览/下载：132/0 \| 提交时间：2017/06/20 火电厂生产实时调度系统生产过程监视 Thermal power plants real-time production scheduling systems production process monitoring
	Preference-oriented fixed-priority scheduling for periodic real-time tasks 期刊论文 JOURNAL OF SYSTEMS ARCHITECTURE, 2016, 卷号: 69, 期号: [db:dc_citation_issue], 页码: 1-14 作者: Begam, Rehana; Xia, Qin; Zhu, Dakai; Aydin, Hakan 收藏 \| 浏览/下载：3/0 \| 提交时间：2019/12/02 Preference-oriented executions Real-time systems Fixed-priority scheduling Periodic tasks
	Optimal scheduling of power systems considering demand response 期刊论文 JOURNAL OF MODERN POWER SYSTEMS AND CLEAN ENERGY, 2016, 卷号: 4, 期号: [db:dc_citation_issue], 页码: 180-187 作者: Bie, Zhaohong; Xie, Haipeng; Hu, Guowei; Li, Gengfeng 收藏 \| 浏览/下载：4/0 \| 提交时间：2019/12/02 Real-time pricing Wind power Optimal scheduling Customer satisfaction
	Rollout strategies for real-time multi-energy scheduling in microgrid with storage system 期刊论文 IET GENERATION TRANSMISSION & DISTRIBUTION, 2016, 卷号: 10, 期号: [db:dc_citation_issue], 页码: 688-696 作者: Lan, Yu; Guan, Xiaohong; Wu, Jiang 收藏 \| 浏览/下载：8/0 \| 提交时间：2019/12/02 renewable energy wind power generation microgrid distributed power generation Markov processes greedy algorithm battery scheduling multienergy systems storage system rollout strategies rolling horizon Markov decision process battery storage plants greedy algorithms wind power scheduling power system utilisation gas emission minimisation electricity load load management wind power plants real-time multienergy scheduling problem rising climatic concerns cogeneration combined heating-and-power generation scheduling power generation scheduling heat loads power grid scheduling
	Design of disaster relief infrastructure network under disruption 期刊论文 Xitong Gongcheng Lilun yu Shijian/System Engineering Theory and Practice, 2016, 卷号: 36, 页码: 1453-1461 作者: Pu, Guoli; Su, Qin; Liu, Chenguang 收藏 \| 浏览/下载：6/0 \| 提交时间：2019/11/26 Disaster relief Effective inequality Effective infrastructures Heuristic scheduling Infrastructure networks Integrating networks Real time decisions Scheduling variable
	Designing robust schedule coordination scheme for transit networks with safety control margins (EI收录) 期刊论文 Transportation Research Part B: Methodological, 2016, 卷号: 93, 页码: 495-519 作者: Wu, Weitiao[1,2]; Liu, Ronghui[2]; Jin, Wenzhou[1] 收藏 \| 浏览/下载：6/0 \| 提交时间：2019/04/24 Algorithms Branch and bound method Cost functions Integer programming Real time control Safety engineering Scheduling Stochastic models Travel time
	SMT-based Scheduling for Multiprocessor Real-Time Systems 会议论文 15th IEEE/ACIS International Conference on Computer and Information Science (ICIS), Okayama, JAPAN, JUN 26-29, 2016 作者: Cheng, Z; Zhang, HT; Tan, YS; Lim, YT 收藏 \| 浏览/下载：5/0 \| 提交时间：2017/05/11 real-time scheduling SMT multiprocessor

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace