M. Stuart Lynn
Pages 65-68
The services received by a process from a time-sharing operating system can be characterized by a resource count ∑
wiRij where
Rij is the number of units of service received by process
j from resource
i and
wi is the cost per …
A. J. Bernstein, J. C. Sharp
Pages 74-78
The effectiveness of certain time-sharing techniques such as program relocation, disk rotational delay minimization, and swap volume minimization is investigated. Summary data is presented, and the findings are discussed. The …
Norman R. Nielsen
Pages 79-90
An automatic learning capability has been developed and implemented for use with the MULTIPLE (
MULTIpurpose
Program that
LEarns) heuristic tree-searching program, which is presently being applied to resolution theorem-proving …
James R. Slagle, Carl D. Farrell
Pages 91-99
An integral equation is derived for the generating function for binary tree values, the values reflecting sorting effort. The analysis does not assume uniformly distributed branching ratios, and therefore is applicable to a family …
H. Hurwitz
Pages 99-102
A sequential pattern recognition (SPR) procedure does not test all the features of a pattern at once. Instead, it selects a feature to be tested. After receiving the result of that test, the procedure either classifies the unknown …
James R. Slagle, Richard C. T. Lee
Pages 103-110
Complex interval arithmetic is defined using real interval arithmetic. Complex interval division is defined so as to assure smallest possible resulting intervals.
J. Rokne, P. Lancaster
Pages 111-112
* This work was supported by the US National Aeronautics and Space Administration, by the National Science Foundation under Grant GS-2703 to the University of Chicago, and by the US Office of Naval Research under Grant NONR 760 …
Alice M. Dell, Roman L. Weil, Gerald L. Thompson
Pages 113-117
Pages 121-122
Pollack has proposed an algorithm for converting decision tables into flowcharts which minimize subsequent execution time when compiled into a computer program. Two modifications
o this algorithm are proposed. The first relies …
Keith Shwayder
Pages 69-73