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.ubc.ca.