Technical Reports
2001
Proving Sequential Consistency by Model Checking
Tim Braun, Anne Condon, Alan J. Hu, Kai S. Juse, Marius Laza, Michael Leslie and Rita Sharma
Separating Crosscutting Concerns Across the Lifecycle: From Composition Patterns to AspectJ and Hyper/J
Siobhan Clarke and Robert J. Walker
Aspect-Oriented Incremental Customization of Middleware Services
Alex Brodsky, Dima Brodsky, Ida Chan, Yvonne Coady, Jody Pomkoski and Gregor Kiczales
Using Versioning to Simplify the Implementation of a Highly-Available File System
Dima Brodsky, Jody Pomkoski, Mike Feely, Norm Hutchinson and Alex Brodsky
Image-Based Measurement of Light Sources With Correct Filtering
Wolfgang Heidrich and Michael Goesele
Enumeration of Matchings in the Incidence Graphs of Complete and Complete Bipartite Graphs
Nicholas Pippenger
Concern Graphs: Finding and Describing Concerns Using Structural Program Dependencies
Martin P. Robillard and Gail C. Murphy
Loosely Coupled Optimistic Replication for Highly Available, Scalable Storage
Dima Brodsky, Jody Pomkoski, Michael J. Feeley, Norman Hutchinson and Alex Brodsky
Bayesian Latent Semantic Analysis of Multimedia Databases
Nando de Freitas and Kobus Barnard
The Optimized Segment Support Map for the Mining of Frequent Patterns
Carson Kai-Sang Leung, Raymond T. Ng and Heikki Mannila