Publication Okapi at TREC Stephen Robertson, S. Walker, M. Hancock-Beaulieu, A. Gull, M. Lau The First Text REtrieval Conference (TREC-1) | January 1993
Publication A TMS320C25-based telephone scrambler using fast-computable filter banks Henrique S. Malvar, Henrique S. Malvar International Conference on Signal Processing Applications and Technology | November 1992
Publication Inheritance in Unlikely Places: Using Objects to Build Derived Implementations of Flat Interfaces Michael B. Jones Proceedings of the Second International Workshop on Object Orientation in Operating Systems | September 1992
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