(redirected from Scheduling theory)
Also found in: Dictionary, Thesaurus, Medical, Encyclopedia.
References in periodicals archive ?
This emphasis on the facilitation and implementation aspects of scheduling also provides an explanation of the gap between scheduling theory and practice.
The method in scheduling theory used for these tasks has been extended to deal with communicating tasks.
More importantly, the use of these devices makes it impossible to unify the methods and results from scheduling theory into the formal development and verification framework, especially as this does in fact make (informal) use of the accumulated execution time of tasks.
2) Our framework allows program development through refinement to be integrated with scheduling theory so that the methods and results from the latter can be formally interpreted, verified and then used correctly in individual systems.
Scheduling theory provides powerful techniques for determining the timing properties of a restricted class of real-time programs; however, it does not provide any means of verifying functional properties.
However, for accurate verification of timing properties it is necessary to have a fine level of granularity in the time bounds for each action and each deadline: this requires specifying actions at as low a level as possible, so that preemption can be precisely modeled and the timing properties related to those obtained from scheduling theory.
However, the use of a common framework in this article ensures that during formal verification, the test for schedulability can be defined as a theorem whose verification is not actually done within the proof theory but instead by invoking an oracle or decision procedure which uses scheduling theory for rapid analysis.
Numerous scientists and practitioners from different fields are engaged in research and applications relating to scheduling, but researchers in experimental and cognitive psychology know little of the methods of operations research and industrial engineering within which scheduling theory has developed.
To apply scheduling theory to strategic behavior requires that one match each of the italicized terms with some aspect of behavior or mental operations of the individual or crew involved in strategic behavior.
We believe that an accurate mapping can be made between the meaning of resources in scheduling theory and its common meaning in psychology.
Prior to the advent of computers and sophisticated scheduling theory, supervisors in work situations typically scheduled tasks either arbitrarily or by following some simple rule, such as first come, first served (FCFS); shortest processing time first (SPT); earliest due date (deadline) first (EDD); or a combination of these, such as applying FCFS to normal jobs but making an exception for a high-priority job with a tight due date.
The reader will find it an interesting exercise to consider fields of research of interest to him or her and to try to formulate aspects of those fields in scheduling theory language.