Publication On-line Data Compression in a Log-structured File System Michael Burrows, Charles Jerian, Butler Lampson, Timothy Mann Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, (ASPLOS-V) | September 1992 ACM Sigplan Notices 27, 9 (Sept. 1992)
Publication Critique of the Lake Arrowhead Three Leslie Lamport Distributed Computing | August 1992, pp. 65-71
Publication Generative Modeling: A Symbolic System for Geometric Modeling John Snyder, James T. Kajiya ACM SIGGRAPH | August 1992
Publication Mechanical Verification of Concurrent Systems with TLA Urban Engberg, Peter Gronning, Leslie Lamport Computer-Aided Verification, G. v. Bochmann and D. K. Probst editors. (Proceedings of the Fourth International Conference, CAV’92.) Lecture Notes in Computer Science, number 663, Springer-Verlag, (June, 1992) 44-55. | June 1992
Publication Fast Radiosity Using a Data Parallel Architecture Steven Drucker, Peter Schroder May 1992
Publication Crossover-Finite-Size Scaling at First Order Transitions Christian Borgs, John Z. Imbrie J. Stat. Phys. | April 1992
Publication Efficient Joint Compensation of Speech for the Effects of Additive Noise and Linear System Alex Acero Proc. of the Sixth ARPA Workshop on Human Language Technology | March 1992
Publication Finite-Size Scaling for Potts Models in Long Cylinders Christian Borgs Nucl. Phys. | February 1992
