In this paper, we study a real-world problem arising from the operations of a hospital service provider, which we term the master physician scheduling problem. It is a tactical planning problem of assigning physician duties to the defined time slots/shifts over a time horizon incorporating a large number of constraints and complex physician preferences. The goals are to satisfy as many physicia...

Bouclettes is a source to source loop nest parallelizer. It takes as input Fortran uniform, perfectly nested loops and gives as output a HPF (High Performance Fortran) program with data distribution and parallel ($HPF! INDEPENDENT) loops. This paper explains how the HPF program is built from some scheduling and allocation functions automatically generated by Bouclettes.

This paper considers a timetabling problem and describes a mathematical programming model for solving it. The proposed model combines both teacher assignment and course scheduling problems simultaneously, which causes the entire model to be more complex. However, we are able to solve the model for several randomly generated data sets of sizes comparable to that encountered in an institution. Th...

In this paper, we present an approach to determine scheduling functions suitable for the design of processor arrays. The considered scheduling functions support a followed LSGP-partitioning of the processor array by allowing to execute the tasks of processors of the full-size array mapped into one processor of the partitioned processor array in an arbitrary order. Several constraints are derive...

T he infrastructure required to govern Internet traffic volume, which doubles every six months, consists of two complementary elements: fast point-to-point links and high-capacity switches and routers. Dense wavelength division mul-tiplexing (DWDM) technology, which permits transmission of several wavelengths over the same optical media, will enable optical point-to-point links to achieve an es...

A high-level test generation algorithm SWIFT is proposed which incorporates a symbolic scheduling procedure, derived from high-level synthesis applications, to resolve decision conflicts during test generation. SWIFT uses the induced fault model to generate functional tests that guarantee detection of low-level structural faults. When applied to functional models of representative 74Xseries, IS...

A new approach to the solution of the optimal thermal generation scheduling problem is presented. The problem is solved in two steps. As a first step, the optimal production schedule for the next day is obtained based on a daily load forecast, reserve capacity requirements, and present status of generating units. The second-step algorithm uses the results of the first step and adjusts the previ...

A promising approach for an effective shop scheduling that synergizes the benefits of the combinatorial optimization, supervised learning and discrete-event simulation is presented. Though dispatching rules are in widely used by shop scheduling practitioners, only ordinary performance rules are known; hence, dynamic generation of dispatching rules is desired to make them more effective in chang...