查询词典 scheduling problem

Based on these periodic models, this paper also creates aperiodic scheduling algorithm models of BS and DS which take account of the load distribution of high priority periodic tasks.

基于这些周期性调度模型，在不修改任务源码的条件下，通过在目标嵌入式系统中利用来自宿主桌面计算机的营养资源调节周期性任务的启动时延改善系统的整体实时性能。

Existing methods of scheduling both periodic and aperiodic tasks are all based on RM scheme. Among them, stealing slack time from periodic tasks has been proved to be an optimal method.

已有的解决混合任务调度问题的方法都是基于速率单调策略的，其中从周期任务"挪用时间"的算法被证明优于其他所有算法。

Processor scheduler:achieve processor schedule with priority number scheduling arithmetic.

处理器调度设计一个按优先数调度算法实现处理器调度的程序。

Since 1983 Asgard Systems has been producing employee scheduling software.

自1983年以来， Asgard系统已生产调度软件的雇员。

Production plan and scheduling system is the core of steel enterprise manufacturing execution system, which is the important part of whole colligation autoimmunization integrated system.

生产计划与调度系统是钢铁企业制造执行系统的核心，亦是整个综合自动化集成系统的重要组成部分。

AMS is an easy-to-use autoimmunization mouse and keyboard utility and an essential tool for scheduling programs with easy.

医疗辅助队是一个易于使用的autoimmunization鼠标和键盘公用事业及不可或缺的工具调度程序与容易。

The method of information integrated in GT is studied and a software of automatic coding,classification and optimum proeess scheduling for FMS of sheet metal parts is developed.

应用成组技术的原理分析了电器仪表行业中板金零件的设计和工艺特点，研制出一种适用于板金柔性加工系统的冲压零件的分类编码系统，并对其信息集成方法进行研究，同时开发出相应的自动编码，自动分组和优化作业计划的计算机软件包。

A general model supporting the most commonly used scheduling algorithms for multi-core CPU is constructed by a PTL formula S, and the desired property of the system is described by a PTL formula F, then whether the system possesses the property can be identified by proving whether or not S implying P is a theorem based on the axiomatization of PTL.

使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S，并将系统期望的性质描述为PTL公式P，在PTL公理系统的基础上，通过证明S蕴含P是否为一个定理来验证系统是否具备该性质。

The BACKFILL algorithm is not efficient for the CPU utilization of job scheduling in parallel system.

BACKFILL方法在并行作业调度时并不能有效地的利用CPU资源。

When the batch number is large, a cyclic scheduling model can be used.

这些模型可以用本文提出的模拟退火算法求解。

When this condition occurs, inbound replication with the source partner is stopped on the destination domain controller and event ID 2042 is logged in the Directory Services event log.

计算机密码学是研究计算机信息加密、解密及其变换的科学，是数学和计算机的交义学科，也是一门新兴的学科。

Instructions: click on the thumbnails to see a larger image, then use the left-right arrow keys to scroll through the slideshow.

使用说明：滑鼠点在小图上即可放大观赏。开启后键盘左右键可用来换照片。