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