Technical Reports

1981

TM-81-26

SASL (St. Andrews Static Language) Reference Manual

D. A. Turner and Harvey Abramson

TR-81-01

Distributed I/O Using an Object-Based Protocol

David R. Cheriton

TR-81-02

Collocation for Singular Perturbation Problems I: First Order Systems with Constant Coefficients

Uri Ascher and R. Weiss

TR-81-03

On Pseudo-Similar Vertices in Trees

David G. Kirkpatrick, Maria M. Klawe and D. G. Corneil

TR-81-04

On Spline Basis Selection for Solving Differential Equations

Uri Ascher, S. Pruess and Robert D. Russell

TR-81-05

The Application of Optimal Stochastic Control Theory in Computer System Load Regulation

Samuel T. Chanson and Raymond Lo

TR-81-06

The Computer and the State

Richard S. Rosenberg

TR-81-07

On the Complexity of General Graph Factor Problems

David G. Kirkpatrick and P. Hell

TR-81-08

Solvable Cases of the Travelling Salesman Problem

Paul C. Gilmore

TR-81-09

Strategy-Independent Program Restructuring Based on Bounded Locality Intervals

Samuel T. Chanson and Bernard Law

TR-81-10

Pitfalls in the Numerical Solution of Linear Ill-Posed Problems

James M. Varah

TR-81-11

Optimal Macro-Scheduling

Samuel T. Chanson and Prem Swarup Sinha

TR-81-12

Upper Bounds for Sorting Integers on Random Access Machines

David G. Kirkpatrick and Stefan Reisch

TR-81-13

Optimal Search in Planar Subdivisions

David G. Kirkpatrick

TR-81-14

A Convex Hull Algorithm Optimal for Point Sets in Even Dimensions

Raimund Seidel

TR-81-15

On the Shape of a Set of Points in the Plane

H. Edelsbrunner, David G. Kirkpatrick and Raimund Seidel

TR-81-16

Optimization Techniques in Computer System Design & Load Control

Prem Swarup Sinha