Technical Reports

The ICICS/CS Reading Room


1999 UBC CS Technical Report Titles

TR-99-01
A Light-Weight Framework for Hardware Verification
Christoph Kern, Tarik Ono-Tesfaye and Mark R. Greenstreet

TR-99-02
Analyzing Exception Flow in Java Programs
Martin R. Robillard and Gail C. Murphy

TR-99-03 Revised
Characterizations of 1-Way Quantum Finite Automata
Alex Brodsky and Nicholas Pippenger

TR-99-04
Atlas: A Case Study in Building a Web-Based Learning Environment Using Aspect-oriented Programming
Mik A. Kersten and Gail C. Murphy

TR-99-06
Systematic vs. Local Search for SAT
Holger H. Hoos

TR-99-07
Using Embedded Network Processors to Implement Global Memory Management in a Workstation Cluster
Yvonne Coady, Joon Suan Ong and Michael J. Feeley

TR-99-08
Spirale Reversi: Reverse decoding of the Edgebreaker encoding
Martin Isenburg and Jack Snoeyink

TR-99-09
Computing Contour Trees in All Dimensions
Hamish Carr, Jack Snoeyink and Ulrike Axen

TR-99-10
Mesh Collapse Compression
Martin Isenburg and Jack Snoeyink

TR-99-11
Deciding When to Forget in the Elephant File System
Douglas S. Santry, Michael J. Feeley, Norman Hutchinson, Alistair C. Veitch, Ross W. Carton and Jacob Ofir

TR-99-12
Practical Point-in-Polygon Tests Using CSG Representations of Polygons
Robert J. Walker and Jack Snoeyink

TR-99-13
Using Implicit Context to Ease Software Evolution and Reuse
Robert J. Walker and Gail C. Murphy

TR-99-14
Regaining Control of Exception Handling
Martin P. Robillard and Gail C. Murphy

TR-99-15
The Virtual Hand Laboratory Architecture
Valerie A. Summers

TR-99-16
Heavy-Tailed Behaviour in Randomised Systematic Search Algorithms for SAT?
Holger H. Hoos


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