Specialization and optimization of constraint programs with dynamic scheduling

In this report we discuss some of the issues involved in the specialization and optimization of constraint logic programs with dynamic scheduling. Dynamic scheduling, as any other form of concurrency, increases the expressive power of constraint logic programs, but also introduces run-time overhead. The objective of the specialization and optimization is to reduce as much as possible such overhead automatically, while preserving the semantics of the original programs. This is done by program transformation based on global analysis. We present implementation techniques for this purpose and report on experimental results obtained from an implementation of the techniques in the context of the CIAO compiler.

A proposal for a flexible scheduling and memory management scheme for non-deterministic, andparallel execution of logic programs

In this paper, we examine the issue of memory management in the parallel execution of logic programs. We concentrate on non-deterministic and-parallel schemes which we believe present a relatively general set of problems to be solved, including most of those encountered in the memory management of or-parallel systems. We present a distributed stack memory management model which allows flexible scheduling of goals. Previously proposed models (based on the "Marker model") are lacking in that they impose restrictions on the selection of goals to be executed or they may require consume a large amount of virtual memory. This paper first presents results which imply that the above mentioned shortcomings can have significant performance impacts. An extension of the Marker Model is then proposed which allows flexible scheduling of goals while keeping (virtual) memory consumption down. Measurements are presented which show the advantage of this solution. Methods for handling forward and backward execution, cut and roll back are discussed in the context of the proposed scheme. In addition, the paper shows how the same mechanism for flexible scheduling can be applied to allow the efficient handling of the very general form of suspension that can occur in systems which combine several types of and-parallelism and more sophisticated methods of executing logic programs. We believe that the results are applicable to many and- and or-parallel systems.

Modeling the Real-Time Use of Reserves in the Joint Energy and Reserve Hourly Scheduling of a Pumped Storage Plant

This paper studies the impact that different approaches of modeling the real-time use of the secondary regulation reserves have in the joint energy and reserve hourly scheduling of a price-taker pumped-storage hydropower plant. The unexpected imbalance costs due to the error between the forecasted real-time use of the reserves and the actual value are also studied and evaluated for the different approaches. The proposed methodology is applied to a daily-cycle and closed-loop pumped-storage hydropower plant. Preliminary results show that the deviations in the water volume at the end of the day are important when the percentage of the real-time use of reserves is unknown in advance, and also that the total income in all approaches after correcting these deviations is significantly lower than the maximum theoretical income.

Plan of College buildings and lot from Mr. Bulfinch, [ca. 1814]

Known as the Bulfinch view, this proposed site plan of the College grounds by Charles Bulfinch depicts University Hall at the center of the drawing surrounded by Massachusetts, Harvard, Hollis, Stoughton, and Holworthy Halls. Several unlabeled buildings are displayed in the plan.

Records scheduling and disposition in the National Mediation Board : a NARA evaluation.

"July 1995."

Scheduling and simulation of computation graphs for multiple resource computers /

"UILU Eng 79 1709."

Scheduling periodic-time-critical jobs on single processor and multiprocessor computing systems /

Vita.

Sizing distributed systems : overview and recommendations /

"Issued May 1980."

Seventy-five years in old Virginia; with some account of the life of the author and some history of the people amongst whom his lot was cast,--their character, their condition, and their conduct before the war, during the war and after the war,

Mode of access: Internet.

Children's body measurements for sizing garments and patterns : a proposed standard system based on height and girth of hips /

Published by the Dept. of Agriculture as a part of a study of children's body measurements, a Works Progress Administration project, sponsored and supervised by the Bureau of Home Economics. cf 2d p. of cover.

Topographical survey of lots 3 and 4 in the subdivision of lot 121 South Highland addition to Highland Park in sec. 36 T. 43 N. R. 12 E. of the 3rd P. M. [at bottom] Survey for Harold Florsheim

Blueprint; topo lines, elevations; survey by "Windes and Marsh, Engineers and Surveyors, Winnetka, Illinois"; note on reverse, "H. M. Florsheim, 541 W. Adams St., Chicago, Illinois"; unsigned. [from photographic copy by Lance Burgharrdt]

On the scheduling of training conditions for the acquisition and transfer of perceptual-motor skills.

Includes bibliography.