CORC

在结果中检索

CORC

浏览/检索结果: 共15条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
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(关楠)
收藏  |  浏览/下载：16/0  |  提交时间：2021/05/15
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
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(李栋)
收藏  |  浏览/下载：39/0  |  提交时间：2020/02/17
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
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
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
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
收藏  |  浏览/下载：25/0  |  提交时间：2016/12/09
Deciding probabilistic automata weak bisimulation: theory and practice 期刊论文
FORMAL ASPECTS OF COMPUTING, 2016, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A
收藏  |  浏览/下载：20/0  |  提交时间：2016/12/09
基于树状线性规划搜索的单调速率优化设计 期刊论文
软件学报, 2015, 卷号: 26, 期号: 12, 页码: 3223-3241
陈力; 王永吉; 吴敬征; 吕荫润
收藏  |  浏览/下载：22/0  |  提交时间：2016/12/09
一种基于单条程序执行路径的错误定位方法 期刊论文
计算机系统应用, 2014, 期号: 10, 页码: 112-118
周艺; 易秋萍; 刘剑; 淮晓永
收藏  |  浏览/下载：20/0  |  提交时间：2014/12/16

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