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

验证码:

换一张

忘记密码？记住我

取消登录

CORC

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

在结果中检索

科研机构

软件研究所 [9]

沈阳自动化研究所 [6]

清华大学 [2]

北京航空航天大学 [2]

兰州大学 [2]

长春光学精密机械与物... [1]

内容类型

期刊论文 [15]

会议论文 [6]

学位论文 [1]

发表日期

学科主题

Computer S... [2]

computer t... [1]

computer t... [1]

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

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

帮助

已选(0)清除条数/页：排序方式：
	时间敏感网络流量调度算法研究学位论文沈阳: 中国科学院沈阳自动化研究所, 2021 作者: 李庆收藏 \| 浏览/下载：16/0 \| 提交时间：2021/06/12 时间敏感网络流量调度基本周期可满足性模理论增量调度算法
	Queue assignment for fixed-priority real-time flows in time-sensitive networks: Hardness and algorithm 期刊论文 Journal of Systems Architecture, 2021, 卷号: 116, 页码: 1-11 作者: Lin YH(林宇晗); Jin X(金曦); Zhang TY(张天宇); Han ML(韩美灵); Guan N(关楠) 收藏 \| 浏览/下载：15/0 \| 提交时间：2021/05/15 Resource management Industrial internet of things Real-time scheduling Time-sensitive networks
	A Simple and Efficient Time-Sensitive Networking Traffic Scheduling Method for Industrial Scenarios 期刊论文 ELECTRONICS, 2020, 卷号: 9, 期号: 12, 页码: 1-19 作者: Li Q(李庆); Li D(李栋); Jin X(金曦); Wang QZ(王其朝); Zeng P(曾鹏) 收藏 \| 浏览/下载：3/0 \| 提交时间：2021/01/22 Time-Sensitive Networking (TSN) Satisfiability Modulo Theories (SMT) scheduling 802.1Qbv
	Real-time scheduling of massive data in time sensitive networks with a limited number of schedule entries 期刊论文 IEEE Access, 2020, 卷号: 8, 页码: 6751-6767 作者: Jin X(金曦); Xia CQ(夏长清); Guan N(关楠); Xu C(许驰); Li D(李栋) 收藏 \| 浏览/下载：37/0 \| 提交时间：2020/02/17 Industrial Internet of Things massive data real-time scheduling time sensitive networks
	Time-triggered scheduling table generation method based on schedulability ranking [基于可调度性排序的时间触发调度表生成方法] 期刊论文 Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 2018, 卷号: 44, 页码: 2388-2395 作者: Song, Z.; Li, Q.; Wang, J.; Xiong, H. 收藏 \| 浏览/下载：4/0 \| 提交时间：2019/12/30 Ethernet Growth rate Scheduling Set theory Constraint reduction Generation method Satisfiability modulo Theories Schedulability Scheduling methods Time triggered Time triggered Ethernet Time-triggered scheduling Scheduling algorithms
	Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method 期刊论文 Algorithms, 2018, 卷号: 11 作者: Gao, W.; Lv, H.; Zhang, Q.; Cai, D. 收藏 \| 浏览/下载：8/0 \| 提交时间：2019/12/30 Chains Formal logic Graphic methods Markov processes Approximate methods Flat histograms Flat-histogram methods Markov Chain Monte-Carlo Refinement strategy Sampling strategies Sat modulo theories Satisfiability modulo Theories Monte Carlo methods
	Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method 期刊论文 Algorithms, 2018, 卷号: 11, 期号: 9 作者: Gao, Wei; Lv, Hengyi; Zhang, Qiang; Cai, Dunbo 收藏 \| 浏览/下载：11/0 \| 提交时间：2019/09/17 Monte Carlo methods Chains Formal logic Graphic methods Markov processes
	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
	An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 5, 页码: 987-1011 Chen, L; Wu, JZ; Lv, YR; Wang, YJ 收藏 \| 浏览/下载：23/0 \| 提交时间：2016/12/09 constrained optimization Satisfiability Modulo Theories linear programming

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

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

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

中文简体

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