Technical Reports
1986
The Bit Complexity of Randomized Leader Election on a Ring
Karl Abrahamson, Andrew Adler, Rachel Gelbart, Lisa Higham and David G. Kirkpatrick
Implementation of Microcomputers in Elementary Schools: A Survey and Evaluation --- don't reprint
Christine Chan
Implementation of Team Shoshin: An Exercise in Porting and Multiprocess Structuring of the Kernel
Huay-Yong Wang
Model & Solution Strategy for Placement of Rectangular Blocks in the Euclidean Plane
Amir Alon and Uri Ascher
Structuring Reliable Interactions in Distributed Server Architectures
K. Ravindran and Samuel T. Chanson
Reasoning with Incomplete Information Investigations of Non-Monotonic Reasoning
David W. Etherington
Addition Requirements for Matrix & Transposed Matrix Products
M. Kaminski, David G. Kirkpatrick and N. H. Bshouty
Conditioning of the Steady State Semiconductor Service Problem
Uri Ascher, P. A. Markowich, C. Schmeiser, H. Steinruck and R. Weiss
On Collocation Implementation for Singularly Perturbed Two-Point Problems
Uri Ascher and Simon Jacobs
A Semi-Automatic Approach to Protocol Implementation --- The ISO Class 2 Transport Protocol as an Example
Allen C. Lau
Handling Call Idempotency Issues in Replicated Distributed Programs
K. Ravindran and Samuel T. Chanson
Compiling Functional Programming Constructs to a Logic Engine
Harvey Abramson and Peter Lüdemann
Probabilistic Solitude Detection on Rings of Known Size
Karl Abrahamson, Andrew Adler, Lisa Higham and David G. Kirkpatrick