Garnet: an open-source, next-generation, faster cache-store for accelerating applications and services
Publication Engineering a Simple, Efficient Code Generator Generator David R. Hanson, Todd A. Proebsting, Christopher Fraser January 1992
Publication Algorithms for Arbitrary Precision Floating Point Arithmetic Douglas M. Priest Tenth Symposium on Computer Arithmetic | June 1991
Publication Generating Compiled Simulations Using Partial Evaluation Daniel Weise, Scott Seligman, Wing-Yee Au Partial Evaluation and Automatic Program Generation | Published by Institute of Electrical and Electronics Engineers, Inc. | 1991
Publication Sampled-Grating and Crossed-Grating Models of Moire Patterns from Digital Imaging John Krumm, Steven A. Shafer Optical Engineering | February 1991
Publication Granularity and semantic level of replication in the Echo distributed file system Andy Hisgen, Andrew Birrell, Chuck Jerian, Timothy Mann, Mike Schroeder, Garret Swart Proceedings of the IEEE Workshop on the Management of Replicated Data | November 1990
Publication Fault Tolerance Support in Distributed Systems Andrew Birrell Proceedings of the 4th ACM SIGOPS European Workshop | September 1990 Bologna
Publication Local Spatial Frequency Analysis for Computer Vision John Krumm, Steven A. Shafer May 1990 Carnegie Mellon University Robotics Institute Technical Report CMU-RI-TR-90-11
Publication Local Spatial Frequency Analysis of Image Texture John Krumm, Steven A. Shafer January 1990, pp. 354-358 Third International Conference on Computer Vision (ICCV 1990)
Publication Availability and Consistency Tradeoffs in the Echo Distributed File System Andy Hisgen, Andrew Birrell, Timothy Mann, Mike Schroeder, Garret Swart Proceeding of the 2nd IEEE Workshop on Workstation Operating Systems | September 1989
Publication The Existence of Refinement Mappings Martin Abadi, Leslie Lamport Proceedings of the 3rd Annual Symposium on Logic in Computer Science | July 1988 LICS 1988 Test of Time Award
