Technical Reports

The ICICS/CS Reading Room


1986 UBC CS Technical Report Titles

TR-86-01
Retracts of Numerations --- out of print
Akira Kanda

TR-86-02 (Abstract not available on-line)
Choices in, \& Limitations of, Logic Programming
Paul J. Voda

TR-86-03
The Bit Complexity of Randomized Leader Election on a Ring
Karl Abrahamson, Andrew Adler, Rachel Gelbart, Lisa Higham and David G. Kirkpatrick

TR-86-04
A Distributed Kernel for Reliable Group Communication
Samuel T. Chanson and K. Ravindran

TR-86-05
Host Identification in Reliable Distributed Kernels
Samuel T. Chanson and K. Ravindran

TR-86-06
Semi-Automatic Implementation of Network Protocols
Daniel A. Ford

TR-86-07
Implementation of Microcomputers in Elementary Schools: A Survey and Evaluation --- don't reprint
Christine Chan

TR-86-08
Implementation of Team Shoshin: An Exercise in Porting and Multiprocess Structuring of the Kernel
Huay Wang and Yong

TR-86-09
Precomplete Negation \& Universal Quantification
Paul J. Voda

TR-86-11
Model \& Solution Strategy for Placement of Rectangular Blocks in the Euclidean Plane
Amir Alon and Uri Ascher

TR-86-12 (Abstract not available on-line)
Shape Analysis
Robert J. Woodham

TR-86-13 (Abstract not available on-line)
Structuring Reliable Interactions in Distributed Server Architectures
K. Ravindran and Samuel T. Chanson

TR-86-14 (Abstract not available on-line)
Reasoning with Incomplete Information Investigations of Non-Monotonic Reasoning
David W. Etherington

TR-86-15 (Abstract not available on-line)
Productive Sets and Constructively Nonpartial-Recursive Functions
Akira Kanda

TR-86-16
On the Visual Discrimination of Self-Similar Random Textures
R. Rensink

TR-86-17
Additional Requirements for Matrix \& Transposed Matrix Products
M. Kaminski, David G. Kirkpatrick and N. H. Bshouty

TR-86-18
Conditioning of the Steady State Semiconductor Service Problem
Uri Ascher, P. A. Markowich, C. Schmeiser, H. Steinruck and R. Weiss

TR-86-19
On Collocation Implementation for Singularly Perturbed Two-Point Problems
Uri Ascher and Simon Jacobs

TR-86-20
A Semi-Automatic Approach to Protocol Implementation --- The ISO Class 2 Transport Protocol as an Example
Allen C. Lau

TR-86-21 (Abstract not available on-line)
Handling Call Idempotency Issues in Replicated Distributed Programs
K. Ravindran and Samuel T. Chanson

TR-86-22 (Abstract not available on-line)
Factors and Flows
P. Hell and David G. Kirkpatrick

TR-86-23
An Environment Theory with Precomplete Negation over Pairs
James H. Andrews

TR-86-24
Compiling Functional Programming Constructs to a Logic Engine
Harvey Abramson and Peter Ludemann

TR-86-25
Efficiently Implementing Pure Prolog or: Not ``YAWAM''
Peter Ludemann

TR-86-26
Probabilistic Solitude Detection on Rings of Known Size
Karl Abrahamson, Andrew Adler, Lisa Higham and David G. Kirkpatrick


If you have any questions or comments regarding this page please send mail to help@cs.ubc.ca.