SCHEDULER

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=Journal of Computer Science & Technologyx
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Model Checking for Probabilistic Multiagent Systems
《Journal of Computer Science & Technology》2023年第5期1162-1186,共25页付辰 Andrea Turrini 黄小炜 宋磊 冯元 张立军 
supported by the National Natural Science Foundation of China under Grant No.61836005;the Australian Research Council under Grant Nos.DP220102059 and DP180100691。
In multiagent systems,agents usually do not have complete information of the whole system,which makes the analysis of such systems hard.The incompleteness of information is normally modelled by means of accessibility ...
关键词：probabilistic multiagent system model checking uniform scheduler probabilistic epistemic temporal logic 
An Energy-Efficient Instruction Scheduler Design with Two-Level Shelving and Adaptive Banking被引量：3
《Journal of Computer Science & Technology》2007年第1期15-24,共10页赵雨来 李险峰 佟冬 程旭 
Mainstream processors implement the instruction scheduler using a monolithic CAM-based issue queue （IQ）, which consumes increasingly high energy as its size scales. In particular, its instruction wakeup logic accoun...
关键词：content associative memory （CAM） energy-efficient architecture  instruction scheduler  tag elimination  waiting instruction buffer 
An Intuitive Formal Prooffor Deadline Driven Scheduler
《Journal of Computer Science & Technology》2001年第2期146-158,共13页詹乃军 
UNU/IIST, and was done during the author's stay at UNU/IIST(July 1998 to August 1999), and partially supported by the National
This paper presents another formal proof for the correctness of the Deadline Driven Scheduler (DDS). This proof is given in terms of Duration Calculus which provides abstraction for random preemption of processor. Com...
关键词：duration calculus deadline driven scheduler REAL-TIME 
MADET-A Machine-Description Table Based Instruction Scheduler in TH-RISC for Exploiting Instruction Level Parallelism
《Journal of Computer Science & Technology》1994年第2期153-159,共7页李三立 付兴钢 
This paper presents a parameterized instruction scheduling algorithm based on machine description table for TH-RISC system, having a (3-5) stages pipeline structure.It would provide considerable fiexibility for instru...
关键词：Instruction level parallelism machine description table instruction scheduler TH-RISC 
A Conservative Multiversion Locking-Graph Scheduler Algorithm
《Journal of Computer Science & Technology》1991年第2期161-166,共6页陈昉 施伯乐 
In order to improve the concurrency of multiversion database systems,a conservative MV locking-graph scheduler algorithm is proposed,which takes the power of MVS as a target.The algorithm combines the advantages of lo...
关键词：node cycle SG A Conservative Multiversion Locking-Graph Scheduler Algorithm 
A Feedback Macro- Scheduler
《Journal of Computer Science & Technology》1989年第3期255-274,共20页SamuelT.Chanson PromS.Sinha 
A multi-class macro-scheduler is described in this paper. The scheduler periodicaily determines the number of jobs from each class that should be activated to minircdze a weighted som of the mean system residence time...
关键词：计算机 调度程序 反馈系统 评估系统 数学模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部