Technical Reports
1999
A Light-Weight Framework for Hardware Verification
Analyzing Exception Flow in Java Programs
Characterizations of 1-Way Quantum Finite Automata
Atlas: A Case Study in Building a Web-Based Learning Environment Using Aspect-oriented Programming
Systematic vs. Local Search for SAT
Using Embedded Network Processors to Implement Global Memory Management in a Workstation Cluster
Spirale Reversi: Reverse decoding of the Edgebreaker encoding
Computing Contour Trees in All Dimensions
Mesh Collapse Compression
Deciding When to Forget in the Elephant File System
Practical Point-in-Polygon Tests Using CSG Representations of Polygons
Using Implicit Context to Ease Software Evolution and Reuse
Regaining Control of Exception Handling
The Virtual Hand Laboratory Architecture
Heavy-Tailed Behaviour in Randomised Systematic Search Algorithms for SAT?