Publication Cycletrees: a Novel Class of Interconnection Graphs Margus Veanes January 1993 January 1993
Publication Fast Exponentiation with Precomputation: Algorithms and Lower Bounds David Wilson, Daniel M. Gordon, Ernest F. Brickell, Kevin S. McCurley January 1993
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
