SCHEDULER

作品数：57被引量：40H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：姜海燕高跃明杜民陈建国贺阳更多>>
相关机构：福州大学中国民航大学国防科学技术大学中国恩菲工程技术有限公司更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划广西壮族自治区自然科学基金中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=Chinese Journal of Electronicsx
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Model Checking Computation Tree Logic over Multi-Valued Decision Processes and Its Reduction Techniques
《Chinese Journal of Electronics》2024年第6期1399-1411,共13页Wuniu LIU Junmei WANG Qing HE Yongming LI 
supported by the National Natural Science Foundation of China(Grant Nos.12071271 and 11671244);the Fundamental Research Funds for the C entral Universities(Grant No.2020CSLY016)。
Model checking computation tree logic based on multi-valued possibility measures has been studied by Li et al.on Information Sciences in 2019.However,the previous work did not consider the nondeterministic choices inh...
关键词：Multi-valued decision processes Multi-valued computation tree logic SCHEDULER Reduction techniques Model checking 
Credit-HC： An I/O-friendly CPU Scheduler for Xen
《Chinese Journal of Electronics》2010年第3期409-413,共5页XIA Yubin YANG Chun NIU Yan CHENG Xu 
Recent advances in virtualization technologies make the VM （Virtual machine） based server consolidation attractive for reducing cost and improving efficiency in enterprise computing. However, on a Xen-based platform...
关键词：Server consolidation I/O performance Virtual machine monitor Virtual machine scheduling. 
PFQ-OS： A Packet Fair Queueing Based Opportunistic Scheduler in Wireless Networks
《Chinese Journal of Electronics》2008年第2期333-339,共7页WU Yu XI Yong KIM Byungseo WEI Jibo 
In this paper, we investigate the issues of extending the Packet fair queueing （PFQ） algorithms into continuous channel model. We present a PFQ-based Opportunistic scheduler （PFQ-OS）, which can improve user throug...
关键词：Opportunistic scheduling FAIRNESS QoS （Quality of service） Wireless networks 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部