Technical Reports


Retracts of Numerations --- out of print
Akira Kanda
Choices in, & Limitations of, Logic Programming
Paul J. Voda
The Bit Complexity of Randomized Leader Election on a Ring
Karl Abrahamson, Andrew Adler, Rachel Gelbart, Lisa Higham and David G. Kirkpatrick
A Distributed Kernel for Reliable Group Communication
Samuel T. Chanson and K. Ravindran
Host Identification in Reliable Distributed Kernels
Samuel T. Chanson and K. Ravindran
Semi-Automatic Implementation of Network Protocols
Daniel A. Ford
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
Precomplete Negation & Universal Quantification
Paul J. Voda
Model & Solution Strategy for Placement of Rectangular Blocks in the Euclidean Plane
Amir Alon and Uri Ascher
Shape Analysis
Robert J. Woodham
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
Productive Sets and Constructively Nonpartial-Recursive Functions
Akira Kanda
On the Visual Discrimination of Self-Similar Random Textures
R. Rensink
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
Factors and Flows
P. Hell and David G. Kirkpatrick
An Environment Theory with Precomplete Negation over Pairs
James H. Andrews
Compiling Functional Programming Constructs to a Logic Engine
Harvey Abramson and Peter Lüdemann
Efficiently Implementing Pure Prolog or: Not "YAWAM"
Peter Lüdemann
Probabilistic Solitude Detection on Rings of Known Size
Karl Abrahamson, Andrew Adler, Lisa Higham and David G. Kirkpatrick