Technical Reports

Compaq & DEC

The Technical Reports appearing on this page were published by Compaq & DEC from 1981-2002. If you have any questions regarding these reports contact: HP Labs Technical Report Department

Jump to:	CRL	-- Cambridge Research Laboratory
	NSL	-- Network Systems Laboratory
	PRL	-- Paris Research Laboratory
	SRC	-- Systems Research Center
	WRL	-- Western Research Laboratory

Cambridge Research Laboratory

• CRL-90-1 Speculative computation in Multilisp. - Osborne, Randy B.
• CRL-90-2 Validated retrieval in case-based reasoning. - Simoudis, Evangelos; Miller, James.
• CRL-90-3 Consistent timestamping for transactions in distributed systems. - Lomet, David.
• CRL-90-4 Recovery for shared disk systems using multiple redo logs. - Lomet, David B.
• CRL-90-5 Acquiring knowledge for validation models. - Simoudis, Evangelos; Miller, James.
• CRL-90-6 A replay mechanism for mostly functional parallel programs. - Halstead, Robert H. Jr.; Kranz, David A.
• CRL-90-7 Lazy task creation : a technique for increasing the granularity of parallel programs. - Mohr, Eric; Kranz, David A; Halstead, Robert H. Jr.
• CRL-90-8 The X Window System, Version 11. - Gettys, James; Karlton, Philip L.; McGregor, Scott.
• CRL-90-9 Non-blocking garbage collection for multiprocessors. - Herlihy, Maurice; Moss, J. Eliot B.
• CRL-90-10 Analyzing distributed commitment by reasoning about knowledge. - Mazer, Murray S; Lochovsky, Frederick H.
• CRL-90-11 Counting networks and multi-processor coordination. - Aspnes, James; Herlihy, Maurice; Shavit, Nir.
• CRL-90-12 Real-time octree generation from rotating objects. - Szeliski, Richard.
• CRL-90-13 Shape from rotation. - Szeliski, Richard.
• CRL-90-14 Reconstructing and visualizing models of neuronal dendrites. - Carlbom, Ingrid; Harris, Kristen M.; Terzopoulos, Demetri.
• CRL-91-1 Typechecking polymorphism in Emerald. - Black, Andrew P.; Hutchinson, Norman.
• CRL-91-2 VDI - a visual debugging interface for image interpretation and other applications. - Klinker, Gudrun.
• CRL-91-3 A transactional model for long-running activities. - Dayal, Umeshwar; Hsu, Meichun; Ladin, Rivka.
• CRL-91-4 Providing high availability using lazy replication. - Ladin, Rivka; Liskov, Barbara; Shrira, Liuba; Ghemawat, Sanjay.
• CRL-91-5 Randomized wait-free concurrent objects (extended abstract). - Herlihy, Maurice.
• CRL-91-6 Impossibility results for asynchronous PRAM - Herlihy, Maurice.
• CRL-91-7 MLR : a recovery method for multi-level systems. - Lomet, David B.
• CRL-91-8 Concurrency and recovery for index trees. - Lomet, David; Salzberg, Betty.
• CRL-91-9 Media recovery with time-split B-trees. - Lomet, David; Salzberg Betty.
• CRL-91-10 A methodology for implementing highly concurrent data objects. - Herlihy, Maurice.
• CRL-91-12 Linearizable counting networks. - Herlihy, Maurice; Shavit, Nir; Waarts, Orli.
• CRL-91-14 Surface modeling with oriented particle systems. - Szeliski, Richard; Tonnesen, David.
• CRL-92-1 Rollback databases. - Lomet, David; Salzberg, Betty.
• CRL-92-3 The organization engine : virtual data integration. - Miller, James S; Niedner, Carl; London, Jack.
• CRL-92-4 How the Rdb/VMS data sharing system became fast. - Lomet, David; Anderson, Rick; Rengarajan, T.K.; Spiro, Peter.
• CRL-92-7 Transactional memory : architectural support for lock-free data structures. - Herlihy, Maurice; Moss, J. Eliot B.
• CRL-92-9 Private lock management. - Lomet, David.
• CRL-92-10 Are DSP chips obsolete? - Stewart, Lawrence C; Payne, Andrew C.; Levergood, Thomas M.
• CRL-92-12 Encapsulating plurality. - Black, Andrew P.; Immel, Mark P.
• CRL-93-1 A new presumed commit optimization for two phase commit. - Lampson, Butler; Lomet, David.
• CRL-93-2 Key range locking strategies for improved concurrency. - Lomet, David.
• CRL-93-3 Recovering 3D shape and motion from image streams using non-linear least squares - Szeliski, Richard; Kang, Sing Bing
• CRL-93-4 DECface: An automatic lip-synchronization algorithm for synthetic faces - Waters, Keith; Levergood, Thomas M.
• CRL-93-5 STDL : a portable language for transaction processing. - Bernstein, Philip A.; Gyllstrom, Per O.; Wimberg, Tom.
• CRL-93-6 Middleware : an architecture for distributed system services. - Bernstein, Philip A.
• CRL-93-7 Robust shape recovery from occluding contours using a linear smoother. - Szeliski, Richard; Weiss, Richard.
• CRL-93-8 AudioFile : a network-transparent system for distributed audio applications. - Levergood, Thomas M.; Payne, Andrew C.; Gettys, James; Treese, G. Winfield; Stewart, Lawrence C.
• CRL-93-9 LoFi: A TURBOchannel audio module - Levergood, Thomas M.
• CRL-93-10 X through the firewall, and other application relays. - Treese, G. Winfield; Wolman, Alec.
• CRL-93-11 Counting networks. - Aspnes, James; Herlihy, Maurice; Shavit, Nir.
• CRL-93-12 Contention in shared memory algorithms. - Dwork, Cynthia; Herlihy, Maurice; Waarts, Orli.
• CRL-94-1 Spline-based image registration - Szeliski, Richard; Coughlin, James.
• CRL-94-2 Image mosaicing for tele-reality applications - Szeliski, Richard.
• CRL-94-3 Order preserving key compression. - Antoshenkov, Gennady; Lomet, David B.; Murray, James.
• CRL-94-4 PerfVisS : a performance visualizer for high performance Fortran programs on workstation farms. - Klinker, Gudrun J; Chen, I-Yu.
• CRL-94-5 The hB*-tree: A Concurrent and Recoverable Multi-attribute Access Method - Evangelidis, Georgios; Lomet, David; Salzberg; Betty
• CRL-94-6 Scientific data exploration meets telecollaboration. - Klinker, Gudrun J.; Carlbom, Ingrid; Hsu, William; Terzopoulos, Demetri.
• CRL-94-7 Echo Cancelation - Hans, Mathieu C.; Levergood, Thomas M.
• CRL-95-1 Motion estimation with quadtree splines - Szeliski, Richard; Shum, Heung-Yeung
• CRL-95-2 A parallel feature tracker for extended image sequences - Kang, Sing Bing; Szeliski, Richard; Shum, Heung-Yeung.
• CRL-95-6 3-D scene data recovery using omnidirectional multibaseline stereo - Kang, Sing Bing; Szeliski, Richard.
• CRL-95-7 Extracting concise and realistic 3-D models from real data - Kang, Sing Bing; Johnson, Andrew; Szeliski, Richard.
• CRL-96-1 Shape ambiguities in structure from motion - Szeliski, Richard; Kang, Sing Bing.
• CRL-96-2 Characterization of errors in compositing panoramic images - Kang, Sing Bing; Weiss, Richard.
• CRL-96-4 Registration and integration of textured 3-D data - Johnson, Andrew; Kang, Sing Bing.
• CRL-96-5 Visual sensing of humans for active public interfaces - Waters, K.; Rehg, J. ; Loughlin, M.; Kang, S. B. ; Terzopoulos, D.
• CRL-97-1 Hands-free navigation in VR environments by tracking the head. - Kang, Sing Bing.
• CRL-97-2 Space-time memory : a parallel programming abstraction for dynamic vision applications. - Rehg, James M; Ramachandran, Umakishore; Halstead, Robert H.; Jr.; Joerg, Christopher F.; Kontothanassis, Leonidas; Nikhil, Rishiyur S.; Kang, Sing Bing.
• CRL-97-3 Semiautomatic methods for recovering radial distortion parameters from a single image. - Kang, Sing Bing.
• CRL-97-4 A survey of image-based rendering techniques. - Kang, Sing Bing.
• CRL-97-5 Virtual navigation of complex scenes using clusters of cylindrical panoramic images. - Kang, Sing Bing; Desikan, Pavan K.
• CRL-97-6 A structure from motion approach using constrained deformable models and appearance prediction. - Kang, Sing Bing.
• CRL-97-7 Factorial hidden Markov models for speech recognition : preliminary experiments. - Logan, Beth; Moreno, Pedro J.
• CRL-97-8 Singularities in articulated object tracking with 2-D and 3-D. - Rehg, James M; Morris, Daniel D.
• CRL-97-9 Bit-replication method for up-multiplying. - Ulichney, Robert A.; Cheung, Shiufun.
• CRL-97-10 Quasi-Euclidean recovery from unknown but complete orbital motion. - Kang, Sing Bing.
• CRL-98-1 Stampede : a programming system for emerging scalable interactive multimedia applications. - Nikhil, Rishiyur S; Ramachandran, Umakishore; Rehg, James. M.; Halstead, Robert. H., Jr. ; Joerg, Christopher F.; Kontothanassis, Leonidas.
• CRL-98-2 One-dimensional dithering. - Ulichney, Robert A.
• CRL-98-4 Tight bounds for k-set agreement. - Chaudhuri, Soma; Herlihy, Maurice; Lynch, Nancy A.; Tuttle, Mark R.
• CRL-98-5 Wait-free implementations in message-passing systems. - Chaudhuri, Soma; Herlihy, Maurice; Tuttle, Mark R.
• CRL-98-6 Comparative evaluation of fine- and coarse-grain software distributed shared memory. - Dwarkadas, S.; Ghatachorloo, K.; Kontothanassis, L.; Scales, D.; Scott, M. L.; Stets, R.
• CRL-98-8 A multiple hypothesis approach to figure tracking - Cham, Tat-Jen; Rehg, James M.
• CRL-98-11 Statistical Color Models with Applications to Skin Detection - Jones, Michael J. ; Rehg, James M.
• CRL-99-1 Searching for Multimedia on the World Wide Web - Swain, Michael J.
• CRL-99-2 Indexing Multimedia for the Internet - Eberman, Brian; Fidler, Blair; Iannucci, Robert A.; Joerg, Chris; Kontothanassis, Leonidas; Kovalcin, David E.; Moreno, Pedro; Swain, Michael J.; Van Thong, Jean-Manuel.
• CRL-99-4 A Study of Musical Instrument Classification using Gaussian Mixture Models and Support Vector Machines - Marques, Janet; Moreno, Pedro J.
• CRL-99-5 Design Implementation and Analysis of a Multimedia Indexing and Delivery Server - Kontothanassis, Leonidas; Joerg, Chris; Swain, Michael J.; Eberman, Brian; Iannucci, Robert A.
• CRL-99-6 A Wallable Macrodevice - Waters, Keith; Iannucci, Robert A.
• CRL-99-7 Recovery of 3D Articulated Motion from 2D Correspondences - DiFranco, David E.; Cham, Tat-Jen; Rehg, James M.
• CRL-99-8 Video Editing Using Figure Tracking and Image-Based Rendering - Rehg, James M.; Kang, Sing Bing; Cham, Tat-Jen
• CRL-2000-1 Music Summary Using Key Phrases - Chu, Stephen; Logan, Beth.
• CRL-2001-1 Robust Real-time Object Detection - Michael J. Jones; Paul Viola
• CRL-2001-2 A Content-based Music Similarity Function - Logan, Beth; Salomon, Ariel.
• CRL-2001-4 Dynamic Shadow Elimination for Multi-Projector Displays - Sukthankar, Rahul; Cham, Tat-Jen; Sukthankar, Gita
• CRL-2001-5 A Study of Remote Homology Detection - Logan, Beth; Moreno, Pedro; Suzek, Baris; Weng, Zhiping; Kasif, Simon.
• CRL-2001-6 SPEECHBOT: An Experimental Speech-Based Search Engine for Multimedia Content on the Web - Van Thong, Jean-Manuel; Moreno, Pedro J.; Logan, Beth; Fidler,Blair; Maffey, Katrina; Moores, Matthew.
• CRL-2001-7 Topic Segmentation with an Aspect Hidden Markov Model - Blei, David M.; Moreno, Pedro J.
• CRL-2001-8 A Boosting Approach for Confidence Scoring - Moreno, Pedro J. ; Logan, Beth; Raj, Bhiksha.
• CRL-2002-2 From Multimedia Retrieval to Knowledge Management - Moreno, Pedro J.; Van Thong, JM; Logan, Beth
• CRL-2002-4 Decision-theoretic Image Retrieval with Embedded Multi-resolution Mixtures - Vasconcelos, Nuno
• CRL-2002-5 What is the Role of Independence for Visual Recognition? - Vasconcelos, Nuno; Carneiro, Gustavo

Network Systems Laboratory

• NSL-NN-6 The DECWRL Mail Gateway - Reid, Brian
• NSL-NN-11 Internet Address Space Management in Digital - Reid, Brian K.
• NSL-RR-1 Local-Area Internetworks: Measurements and Analysis - Trewitt, Glenn
• NSL-TN-2 Using screend to Implement IP/TCP Security Policies - Mogul, Jeffrey
• NSL-TN-10 MECCA: A Message-Enabled Communication and Information System - Borg, Anita
• NSL-TN-12 Producing HTML Documents with Scribe - Trewitt, Glenn
• NSL-TN-14 Using Tcl to Process HTML Forms - Trewitt, Glenn

Paris Research Laboratory

• PRL-RR-1 Incremental Computation of Planar Maps. - Gangnet, Michel; Hervé, Jean-Claude; Pudet, Thierry; Van Thong, Jean-Manuel
• PRL-RR-2 BigNum: A Portable and Efficient Package for Arbitrary-Precision Arithmetic. - Hervé, Jean-Claude; Serpette, Bernard; Vuillemin, Jean.
• PRL-RR-3 Introduction to Programmable Active Memories. - Bertin, Patrice; Roncin, Didier; Vuillemin, Jean.
• PRL-RR-4 Compiling Pattern Matching by Term Decomposition. - Puel, Laurence; Suárez, Ascánder.
• PRL-RR-6 Binary Periodic Synchronizing Sequences. - Skubiszewski, Marcin.
• PRL-RR-7 The Siphon: Managing Distant Replicated Repositories. - Prusker, Francis J.; Wobber, Edward P.
• PRL-RR-8 Constructive Logics. Part 1. A Tutorial on Proof Systems and Typed λ-Calculi. - Gallier, Jean.
• PRL-RR-9 Constructive Logics. Part II. Linear Logic and Proof Nets. - Gallier, Jean.
• PRL-RR-10 Pattern Matching in Order-Sorted Languages. - Kesner, Delia.
• PRL-RR-11 Towards a Meaning of LIFE. - Aït-Kaci, Hassan;Podelski, Andreas.
• PRL-RR-12 Residuation and Guarded Rules for Constraint Logic Programming. - Smolka, Gert.
• PRL-RR-13 Functions as Passive Constraints in LIFE. - Aït-Kaci, Hassan;Podelski, Andreas.
• PRL-RR-14 Automatic Motion Planning for Complex Articulated Bodies. - Barraquand, Jérôme.
• PRL-RR-15 Hardware Implementation of Pure ESTEREL. - Berry, Gérard.
• PRL-RR-16 Contribution à la Résolution Numérique des Équations de Laplace. - Vuillemin, Jean.
• PRL-RR-17 Graphical Constraints with Rockit. - Karsenty, Solange; Landay, James; Weikart, Chris.
• PRL-RR-18 Abstract Interpretation by Dynamic Partitioning. - Bourdoncle, François.
• PRL-RR-19 Measuring Unix Kernel Performance with Reprogammable Hardware. - Shand, Mark
• PRL-RR-20 A Feature Constraint System for Logic Programming with Entailment. - Aït-Kaci, Hassan; Podelski, Andreas; Smolka, Gert.
• PRL-RR-21 The Genericity Theorem and the Notion of Parametricity in the Polymorphic λ-calculus. - Longo, Giuseppe; Milsted, Kathleen; Soloviev, Sergei.
• PRL-RR-22 Sémantiques des langages impératifs d'ordre supérieur et interprétation abstraite. - Bourdoncle, Frangois.
• PRL-RR-24 Programmable Active Memories: a Performance Assessment. - Bertin, Patrice; Roncin, Didier; Vuillemin, Jean.
• PRL-RR-25 On Circuits and Numbers. - Vuillemin, Jean.
• PRL-RR-26 Numerical Valuation of High Dimensional Multivariate European Securities. - Barraquand, Jérôme.
• PRL-RR-27 A Database Interface for Complex Objects. - Holsheimer, Marcel; de By, Rolf A.; Aït-Kaci, Hassan.
• PRL-RR-28 Feature Automata and Sets of Feature Trees. - Niehren, Joachim; Podelski, Andreas.
• PRL-RR-29 Real Time Fitting of Pressure Brushstrokes. - Pudet, Thierry.
• PRL-RR-31 Label-Selective λ-Calculus. - Aït-Kaci, Hassan; Garrigue, Jacques.
• PRL-RR-32 Order-Sorted Feature Theory Unification. - Aït-Kaci, Hassan; Andreas, Podelski; Goldstein, Seth Copen.
• PRL-RR-33 Path Planning through Variational Dynamic Programming. - Ferbach, Pierre; Barraquand, Jérôme.
• PRL-RR-34 A Penalty Function Method for Constrained Motion Planning. - Ferbach, Pierre; Barraquand, Jérôme.
• PRL-RR-35 The Typed Polymorphic Label-Selective λ-Calculus. - Garrigue, Jacques; Aït-Kaci, Hassan.
• PRL-RR-36 1983-1993: The Wonder Years of Sequential Prolog Implementation. - Van Roy, Peter.
• PRL-RR-37 Pricing of American Path-Dependent Contingent Claims. - Barraquand, Jérôme; Pudet, Thierry.
• PRL-RR-38 Numerical Valuation of High Dimensional Multivariate American Securities. - Barraquand, Jérôme; Martineau, Didier
• PRL-RR-39 On Computing Power. - Vuillemin, Jean.

Systems Research Center

• SRC-RR-1 A kernel language for modules and abstract data types. - Burstall, R.; Lampson, B.
• SRC-RR-2 Optimal point location in a monotone subdivision. - Edelsbrunner, Herbert; Guibas, Leo J.; Stolfi, Jorge.
• SRC-RR-3 On extending Modula-2 for building large, integrated systems. - Rovner, Paul; Levin, Roy; Wick, John.
• SRC-RR-4 Eliminating go to's while preserving program structure. - Ramshaw, Lyle.
• SRC-RR-5 Larch in five easy pieces. - Guttag, John V.; Horning, Jim; Wing, Jeannette M. (Jeannette M.)
• SRC-RR-6 A caching file system for a programmer's workstation. - Schroeder, Michael D.; Gifford, David K.; Needham, Roger. M.
• SRC-RR-7 A fast mutual exclusion algorithm. - Lamport, Leslie.
• SRC-RR-8 On interprocess communication. - Lamport, Leslie.
• SRC-RR-9 Topologically sweeping an arrangement. - Edelsbrunner, Herbert; Guibas, Leonidas J.
• SRC-RR-10 A polymorphic [lambda]-calculus with Type:Type. - Cardelli, Luca.
• SRC-RR-11 Control predicates are better than dummy variables for reasoning about program control. - Lamport, Leslie.
• SRC-RR-12 Fractional cascading. - Chazelle, Bernard; Guibas, Leonidas J.
• SRC-RR-13 Retiming synchronous circuitry. - Leiserson, Charles E.; Saxe, James B.
• SRC-RR-14 An O(n*) shortest path algorithm for a non-rotating convex body. - Hershberger, John; Guibas, Leonidas J.
• SRC-RR-15 A simple approach to specifying concurrent systems. - Lamport, Leslie.
• SRC-RR-16 A generalization of Dijkstra's calculus. - Nelson, Greg.
• SRC-RR-17 Win and sin : predicate transformers for concurrency. - Lamport, Leslie.
• SRC-RR-19 Blossoming : a connect-the-dots approach to splines. - Ramshaw, Lyle.
• SRC-RR-20 Synchronization primitives for a multiprocessor : a formal specification. - Birrell, A. D.; Guttag, J. V.; Horning, J. J.; Levin, R.
• SRC-RR-21 Evolving the UNIX system interface to support multithreaded programs. - McJones, Paul R.; Swart, Garret F.
• SRC-RR-23 Firefly : a multiprocessor workstation. - Thacker, Charles P.; Stewart, Lawrence C.; Satterthwaite, Edwin H. Jr.
• SRC-RR-24 A Simple and efficient implementation for small databases. - Birrell, Andrew D.; Jones, Michael B.; Wobber, Edward P.
• SRC-RR-25 Real-time concurrent collection on stock multiprocessors / by John R. Ellis, Kai Li and Adrew W. Appel. - Ellis, John R.; Li, Kai; Appel, Andrew W.
• SRC-RR-26 Parallel compilation on a tightly coupled multiprocessor. - Vandevoorde, Mark Thierry.
• SRC-RR-27 Concurrent reading and writing of clocks. - Lamport, Leslie.
• SRC-RR-28 Theorem on atomicity in distributed algorithms. - Lamport, Leslie.
• SRC-RR-29 The existence of refinement mappings. - Abadi, Martin; Lamport, Leslie.
• SRC-RR-30 The Power of temporal proofs. - Abadi, Martin.
• SRC-RR-31 Modula-3 report. - Cardelli, Luca; Donahue, James; Glassman, Lucille; Jordan, Mick; Kalsow, Bill; Nelson, Greg.
• SRC-RR-32 Bounds on the cover time. - Broder, Andrei Z.; Karlin, Anna R.
• SRC-RR-33 A Two-view document editor with user-definable document structure. - Brooks, Kenneth P.
• SRC-RR-34 Blossoms are polar forms. - Ramshaw, Lyle.
• SRC-RR-35 An Introduction to programming with threads. - Birrell, Andrew D.
• SRC-RR-36 Primitives for computational geometry / by Jorge Stolfi. - Stolfi, Jorge.
• SRC-RR-37 Ruler, compass, and computer : the design and analysis of geometric algorithms. - Guibas, Leonidas J.; Stolfi, Jorge.
• SRC-RR-38 Can fair choice be added to Dijkstra's calculus? - Broy, Manfred; Nelson, Greg.
• SRC-RR-39 A Logic of authentication. - Burrows, Michael; Abadi, Martin; Needham, Roger.
• SRC-RR-40 Implementing exceptions in C. - Roberts, Eric S.
• SRC-RR-41 Evaluating the performance of software cache coherence. - Owicki, Susan; Agarwal, Anant.
• SRC-RR-42 WorkCrews : an abstraction for controlling parallelism. - Roberts, Eric S.; Vandevoorde, Mark T.
• SRC-RR-43 Performance of firefly RPC. - Schroeder, Michael D.; Burrows, Michael.
• SRC-RR-44 Pretending atomicity. - Lamport, Leslie; Schneider, Fred B.
• SRC-RR-45 Typeful programming. - Cardelli, Luca.
• SRC-RR-46 An Algorithm for data replication. - Mann, Timothy; Hisgen, Andy; Swart, Garret.
• SRC-RR-47 Dynamic typing in a statically typed language - Abadi, Martin; Cardelli, Luca; Pierce, Benjamin C.; Plotkin, Gordon D.
• SRC-RR-48 Operations on records. - Cardelli, Luca; Mitchell, John C.
• SRC-RR-49 The part-time parliament. - Lamport, Leslie.
• SRC-RR-51 Experience with the firefly multiprocessor workstation. - Owicki, Susan.
• SRC-RR-52 Modula-3 report (revised). - Cardelli, Luca; Donahue, James; Glassman, Lucille.
• SRC-RR-53 IO streams: abstract types, real programs. - Brown, Mark R.; Nelson, Greg. science);
• SRC-RR-54 Explicit substitutions. - Abadi, Martin; Cardelli, Luca; Curien, Pierre-Louis; Levy, Jean-Jacques.
• SRC-RR-55 A semantic basis for Quest. - Cardelli, Luca; Longo, Giuseppe.
• SRC-RR-56 Abstract types and the dot notation. - Cardelli, Luca; Leroy, Xavierr.
• SRC-RR-57 A temporal logic of actions. - Lamport, Leslie.
• SRC-RR-58 Report on the Larch Shared Language : version 2.3. - Guttag, John V.; Horning, James J.; Modet, Andres.
• SRC-RR-59 Autonet: a high-speed, self-configuring local area network using point-to-point links. - Schroeder, Michael D.; Birrell, Andrew D.; Burrows, Michael; Murray, Hal; Needham, Roger M.; Rodeheffer, Thomas L.; Satterthwaite, Edwin H.; Thacker, Charles P.
• SRC-RR-60 Debugging Larch Shared Language specifications. - Garland, Stephen J.; Guttag, John V.; Horning, James J.
• SRC-RR-61 In memoriam: J.C.R. Licklider, 1915-1990. -
• SRC-RR-62 Subtyping recursive types. - Amadio, Roberto M.; Cardelli, Luca.
• SRC-RR-63 Heap usage in the Topaz environment. - DeTreville, John.
• SRC-RR-64 Experience with concurrent garbage collectors for Modula-2+. - DeTreville, John.
• SRC-RR-65 An axiomatization of Lamport's temporal logic of actions. - Abadi, Martin.
• SRC-RR-66 Composing specifications. - Abadi, Martin; Lamport, Leslie.
• SRC-RR-67 Authentication and delegation with smart-cards. - Abadi, M.; Burrows, M.; Kaufman, C.; Lampson, B.
• SRC-RR-68 Trestle reference manual. - Manasse, Mark S.; Nelson, Greg.
• SRC-RR-69 Trestle tutorial. - Manasse, Mark S.; Nelson, Gregr.
• SRC-RR-70 A calculus for access control in distributed systems. - Abadi, Martin; Burrows, M.; Lampson, B.; Plotkin, G.
• SRC-RR-71 Trading space for time in undirected s-t connectivity. - Broder, Andrei Z.; Karlin, Anna R.; Raghavan, Prabhakar; Upfal, Eli.
• SRC-RR-72 LM3 : a Larch interface language for Modula-3 : a definition and introduction, version 1.0. - Jones, Kevin D.
• SRC-RR-73 Decidability and expressiveness for first-order logics of probability. - Abadi, Martin; Halpern, Joseph Y.
• SRC-RR-74 Introduction to LCL, a Larch/C interface language. - Guttag, J. V.; Horning, J. J.;
• SRC-RR-75 Zeus : a system for algorithm animation and multi-view editing. - Brown, Marc H.
• SRC-RR-76A Color and sound in algorithm animation. - Brown, Marc H.; Hershberger, John.
• SRC-RR-77 Automatic reconfiguration in Autonet. - Rodeheffer, Thomas L.; Schroeder, Michael D.
• SRC-RR-78 Using transformations and verification in circuit design. - Saxe, James B.; Garland, Stephen J.; Guttag, John V.; Horning, James J.
• SRC-RR-79 The temporal logic of actions. - Lamport, Leslie.
• SRC-RR-80 An Extension of System F with subtyping. - Cardelli, Luca; Martini, Simone; Mitchell, John C.; Scedrov, Andre.
• SRC-RR-81 Extensible records in a pure calculus of subtyping. - Cardelli, Luca.
• SRC-RR-82 A guide to LP, the Larch prover. - Garland, Stephen J.; Guttag, John V.
• SRC-RR-83 Authentication in distributed systems : theory and practice. - Lampson, Butler; Abadi, Martin; Burrows, Michael; Wobber, Edward.
• SRC-RR-84A Graphical fisheye views of graphs. - Sarkar, Manojit; Brown, Marc H.
• SRC-RR-85 On-line data compression in a log-structured file system. - Burrows, Michael; Jerian, Charles; Lampson, Butler; Mann, Timothy.
• SRC-RR-86 A logical view of composition. - Abadi, Martin; Plotkin, Gordon D.
• SRC-RR-87A Animation of geometric algorithms : a video review. - Brown, Marc H.; Hershberger, John.
• SRC-RR-88 Factors in the performance of the AN1 computer network. - Owicki, Susan S.; Karlin, Anna R.
• SRC-RR-89 Compositional refinement of interactive systems. - Broy, Manfred.
• SRC-RR-90 A high-speed DES implementation for network applications. - Eberle, Hans.
• SRC-RR-91 An old-fashioned recipe for real time. - Abadi, Martin; Lamport, Leslie.
• SRC-RR-92A Hector : connecting words with definitions. - Glassman, Lucille; Grinberg, Dennis; Hibbard, Cynthia; Meehan, James;Reid, Loretta Guarino; van Leunen, Mary-Claire.
• SRC-RR-93 Experiences with software specification and verification using LP, the Larch proof assistant. - Broy, Manfred.
• SRC-RR-94 How to write a proof. - Lamport, Leslie.
• SRC-RR-95 Baby Modula-3 and a theory of objects. - Abadi, Martin.
• SRC-RR-96 How to make a correct multiprocess program execute correctly on a multiprocessor. - Lamport, Leslie.
• SRC-RR-97 An implementation of F<: - Cardelli, Luca.
• SRC-RR-98 The 1992 SRC algorithm animation festival. - Brown, Marc H.
• SRC-RR-99 High speed switch scheduling for local area networks. - Anderson, Thomas E.; Owicki, Susan S.; Saxe, James B.; Thacker, Charles P.
• SRC-RR-100 The first 99 reports. - Mason, James.
• SRC-RR-101A The Second annual video review of computational geometry. - Brown, Marc H.; Hershberger, John.
• SRC-RR-102 Safe, efficient garbage collection for C++. - Ellis, John R.; Detlefs, David L.
• SRC-RR-103 A coherent distributed file cache with directory write-behind. - Mann, Timothy; Birrell, Andrew; Hisgen, Andy; Jerian, Charles; Swart,Garret.
• SRC-RR-104 New-value logging in the Echo replicated file system. - Hisgen, Andy; Birrell, Andrew; Jerian, Charles; Mann, Timothy; Swart, Garret.
• SRC-RR-105 The Vesta approach to precise configuration of large software systems. - Levin, Roy; McJones, Paul R.
• SRC-RR-106 The Vesta repository : a file system extension for software development. - Chiu, Sheng-Yang; Levin, Roy.
• SRC-RR-107 The Vesta language for configuration management. - Hanna, Christine B.; Levin, Roy.
• SRC-RR-108 Bridges : tools to extend the Vesta configuration management system. - Brown, Mark R.; Ellis, John R.
• SRC-RR-109 Formal parametric polymorphism. - Abadi, Martin; Cardelli, Luca; Curien, Pierre-Louis.
• SRC-RR-110A Algorithm animation using 3D interactive graphics. - Brown, Marc H.; Najork, Marc A.
• SRC-RR-111 The Echo distributed file system. - Birrell, Andrew D.; Hisgen, Andy; Jerian, Chuck; Mann, Timothy; Swart, Garret.
• SRC-RR-112 Availability in the Echo file system. - Swart, Garret; Birrell, Andrew; Hisgen, Andy; Mann, Timothy.
• SRC-RR-113 Some useful Modula-3 interface. - Horning, Jim; Kalsow, Bill; McJones, Paul; Nelson, Greg.
• SRC-RR-114 Automated proofs of object code for a widely used microprocessor. - Yu, Yuan.
• SRC-RR-115 Network objects. - Birrell, Andrew; Nelson, Greg; Owicki, Susan; Wobber, Edward.
• SRC-RR-116 Distributed garbage collection for network objects. - Birrell, Andrew; Evers,David; Nelson, Greg; Owicki, Susan; Wobber, Edward.
• SRC-RR-117 Authentication in the Taos operating system. - Wobber, Edward; Abadi, Martin; Burrows, Mike; Lampson, Butler.
• SRC-RR-118 Conjoining specifications. - Abadi, Martin; Lamport, Leslie.
• SRC-RR-119 How to write a long formula. - Lamport, Leslie.
• SRC-RR-120 Dynamic typing in polymorphic languages. - Abadi, Martin; Cardelli, Luca; Pierce, Benjamin; Remy, Didier.
• SRC-RR-121 Extensible syntax with lexical scoping. - Cardelli, Luca; Matthes, Florian; Abadi, Martin.
• SRC-RR-122 Obliq, a language with distributed scope. - Cardelli, Luca.
• SRC-RR-123 Inside Hector : the systems view. - Reid, Loretta Guarino; Meehan, James R.
• SRC-RR-124 A block-sorting lossless data compression algorithm. - Burrows, M.; Wheeler, David J.
• SRC-RR-125 Prudent engineering practice for cryptographic protocols. - Abadi, Martin; Needham, Roger.
• SRC-RR-126 The 1993 SRC algorithm animation festival. - Brown, Marc H.
• SRC-RR-127 TLA in pictures. - Lamport, Leslie.
• SRC-RR-128A A library for visualizing combinatorial structures. - Najork, Marc A.; Brown, Marc H.
• SRC-RR-129 Obliq-3D tutorial and reference manual. - Najork, Marc A.
• SRC-RR-130A Visual Obliq : a system for building distributed, multi-user applications by direct manipulation. - Bharat, Krishna; Brown, Marc H.
• SRC-RR-131A The Juno-2 constraint-based drawing editor. - Heydon, Allan; Nelson, Greg.
• SRC-RR-132 Processes are in the eye of the beholder. - Lamport, Leslie.
• SRC-RR-133A The Third annual video review of computational geometry. - Brown, Marc H.; Hershberger, John.
• SRC-RR-134A From quadrangular sets to the budget matroids. - Ramshaw, Lyle; Saxe, James B.
• SRC-RR-135A DeckScape : an experimental Web browser. - Brown, Marc H.; Shillner, Robert A.
• SRC-RR-136 A functional specification of the Alpha AXP shared memory model. - Broy, Manfred.
• SRC-RR-137 Proving possibility properties. - Lamport, Leslie.
• SRC-RR-138 Migratory applications. - Bharat, Krishna A.; Cardelli, Luca.
• SRC-RR-139A WebCard : integrated and uniform access to mail, news, and the Web. - Brown, Marc H.
• SRC-RR-140 Zippers : a focus+context display of Web pages. - Brown, Marc H.; Weihl, William E.
• SRC-RR-141A Distributed active objects. - Brown, Marc H.; Najork, Marc A.
• SRC-RR-142 Collaborative active textbooks : a web-based algorithm animation system for an electronic classroom. - Brown, Marc H.; Najork, Marc A.
• SRC-RR-143 To provide or to bound : sampling in fully dynamic graph algorithms. - Henzinger, Monika R.; Thorup, Mikkel.
• SRC-RR-144 Program fragments, linking, and modularization. - Cardelli, Luca.
• SRC-RR-145 Modularity in the presence of subclassing. - Stata, Raymie.
• SRC-RR-146 Studies of Windows NT performance using dynamic execution traces. - Perl, Sharon E.; Sites, Richard L.
• SRC-RR-147 Should your specification language be typed? - Lamport, Leslie; Paulson, Lawrence C.
• SRC-RR-148 Service combinators for Web computing. - Cardelli, Luca; Davies, Rowan.
• SRC-RR-149 A calculus for cryptographic protocols : the spi calculus. - Abadi, Martin; Gordon, Andrew D.
• SRC-RR-150 Smooth scheduling in a cell-based switching network. - Rodeheffer, Thomas L.; Saxe, James B.
• SRC-RR-151 Reports 100-150-- the abstracts. - Mason, James.
• SRC-RR-152 Fairness and hyperfairness. - Lamport, Leslie.
• SRC-RR-153 Continuous monitoring and performce specification. - Perl, Sharon E; Weihl, William E.; Noble, Brian.
• SRC-RR-154 Protection in programming-language translations. - Abadi, Martin.
• SRC-RR-155 A comparison of two distributed disk systems. - Lee, Edward K; Thekkath, Chandramohan A.; Whitaker, Chris; Hogg, Jim.
• SRC-RR-156 Wrestling with rep exposure. - Detlefs, David L; Leino, K. Rustan M.; Nelson, Greg.
• SRC-RR-157 The virtual book. - Chaiken, David; Hayter, Mark; Kistler, Jay; Redell, Dave.
• SRC-RR-158 A type system for Java bytecode subroutines. - Stata, Raymie; Abadi, Martin.
• SRC-RR-159 Extended static checking. - Detlefs, David L.; Leino, K. Rustan M.; Nelson, Greg; Saxe, James B.
• SRC-RR-160 Data abstraction and information hiding - Leino, K. Rustan M. ; Nelson, Greg
• SRC-RR-161 A logic of object-oriented programs. - Abadi, Martin; Leino, K. Rustan M.
• SRC-RR-162 An efficient matching algorithm for a high-throughput, low-latency data switch. - Rodeheffer, Thomas L.; Saxe, James B.
• SRC-RR-163 Disk Paxos - Gafni, Eli ; Lamport, Leslie
• SRC-RR-164 Key Instructions: Solving the Code Location Problem for Optimized - Tice, Caroline; Graham, Susan L.
• SRC-RR-165 A Practical Robust Method for Generating Variable Range Tables - Tice, Caroline; Graham, Susan L.
• SRC-RR-166 Efficient and Flexible Value Sampling - Burrows, Mike; Erlingson, Ulfar; Leung, Shun-Tak A.; Vandevoorde, Mark T.; Waldspurger, Carl A.; Walker, Kevin; Weihl, William E.
• SRC-RR-167 A Practical Approach for Recovery of Evicted Variables - Tice, Caroline; Graham, Susan L.
• SRC-RR-168 The Vesta Approach to Software Configuration Management - Heydon, Allan ; Levin, Roy; Mann, Timothy; Yu, Yuan.
• SRC-RR-169 On multiplying points: the paired algebras of forms and sites - Ramshaw, Lyle.
• SRC-RR-170 Three-Dimensional Web-Based Algorithm Animations - Najork, Marc A.; Brown, Marc H.
• SRC-RR-171 Denali: a goal-directed superoptimizer - Joshi, Rajeev ; Nelson, Greg; Randall, Keith.
• SRC-RR-172 Partial Replication in the Vesta Software Repository - Mann, Timothy
• SRC-RR-173 High-Performance Web Crawling - Najork, Marc ; Heydon, Allan.
• SRC-RR-174 Towards Web-scale Web Archaeology - Leung, Shun-Tak A.; Perl, Sharon E.; Stata, Raymie; Wiener, Janet L.
• SRC-RR-175 The Link Database: Fast Access to Graphs of the Web - Randall, Keith H.; Stata, Raymie ; Wickremesinghe, Rajiv G. ; Wiener, Janet L.
• SRC-RR-176 Verifying Sequential Consistency on Shared-Memory Multiprocessors by Mo - Qadeer, Shaz
• SRC-RR-177 The Vesta Software Configuration Management System - Heydon, Allan; Levin, Roy; Mann, Timothy; Yu, Yuan
• SRC-TN-1994-001 Introduction to TLA - Lamport, Leslie
• SRC-TN-1996-001 Refinement in State-Based Formalisms - Lamport, Leslie
• SRC-TN-1996-002A The Module Structure of TLA+ - Lamport, Leslie
• SRC-TN-1997-001 Virginity: A contribution to the specification of - Leino, K. Rustan M.; Stata, Raymie
• SRC-TN-1997-002 Average-Case Analysis of First Fit and Random Fit Bin Packing - Albers, Susanne; Mitzenmacher, Michael
• SRC-TN-1997-003 Hypermedia Presentation and Authoring System - Yu, Jin; Xiang, Yuanyuan
• SRC-TN-1997-004A Fully Dynamic 2-Edge Connectivity Algorithm in Polygarithmic Time per Operation - Henzinger, Monika Henzinger; King, Valerie
• SRC-TN-1997-005C The Vesta-2 Software Description Language - Heydon, Allan; Horning, Jim; Levin, Roy; Mann, Tim; Yu, Yuan
• SRC-TN-1997-006A The Operators of TLA+ - Lamport, Leslie
• SRC-TN-1997-007 Checking object invariants - Leino, K. Rustan M.; Stata, Raymie
• SRC-TN-1997-008 A small dual-automorphic lattice with no involutory dual automorphism - Leino, K. Rustan M.; Ramshaw, Lyle
• SRC-TN-1997-009 Juno-2 Language Definition - Nelson, Greg; Heydon, Allan
• SRC-TN-1997-010 Focus+Context Displays of Web Pages: Implementation Alternatives - Brown, Marc; Marais, Johannes; Najork, Marc; Weihl, Bill
• SRC-TN-1997-011 Tight Thresholds for The Pure Literal Rule - Mitzenmacher, Michael
• SRC-TN-1997-012 Online Throughput-Competitive Algorithm for Multicast Routing and Admission Control - Goel, Ashish; Henzinger, Monika; Plotkin, Serge
• SRC-TN-1997-013 Mobile Ambient Synchronization - Cardelli, Luca
• SRC-TN-1997-014 Exploring Unknown Environments - Albers, Susanne; Henzinger, Monika
• SRC-TN-1997-015 Syntactic Clustering of the Web - Broder, Andrei; Glassman, Steve; Manasse, Mark; Zweig, Geoffrey
• SRC-TN-1997-016A Continuous Profiling: Where Have All the Cycles Gone? - Anderson, Jennifer M.; Berc, Lance; Dean, Jeffrey; Ghemawat, Sanjay; Henzinger, Monika; Leung, Shun-Tak; Sites, Dick; Vandevoorde, Mark; Waldspurger, Carl; Weihl, Bill
• SRC-TN-1997-017 Dynamic Coscheduling on Workstation Clusters - Sobalvarro, Patrick; Pakin, Scott; Weihl, Bill; Chien, Andrew A.
• SRC-TN-1997-018 The 1995 SQL Reunion: People, Projects, and Politics - McJones, Paul
• SRC-TN-1997-019 Maintaining Minimum Spanning Trees in Dynamic Graphs - Henzinger, Monika; King, Valerie
• SRC-TN-1997-020 Improved Data Structures for Fully Dynamic Biconnectivity - Henzinger, Monika
• SRC-TN-1997-021 Certificates and Fast Algorithms for Biconnectivity in Fully-Dynamic Graphs - Henzinger, Monika; La Poutre, Han
• SRC-TN-1997-022 Short-Length Menger Theorems - Henzinger, Monika; Kleinberg, Jon; Rao, Satish
• SRC-TN-1997-023 Each to Each Programmer's Reference Manual - McJones, Paul; DeTreville, John
• SRC-TN-1997-024 Studying Balanced Allocations with Differential Equations - Mitzenmacher, Michael
• SRC-TN-1997-025A Recursive object types in a logic of object-oriented programs - Leino, K. Rustan M.
• SRC-TN-1997-026 Specifying the Modification of Extended State - Leino, K. Rustan M.
• SRC-TN-1997-027 A Simple, Intuitive Hypermedia Synchronization Model and its Realization in the Browser/Java Environment - Yu, Jin
• SRC-TN-1997-028 1997 SRC Intern Projects - Mason, James
• SRC-TN-1997-029 WebL - A programming language for the Web - Kistler, Thomas; Marais, Johannes.
• SRC-TN-1997-030A Composition: A Way to Make Proofs Harder - Lamport, Leslie
• SRC-TN-1997-031 Fast Integrated Tools for Circuit Design with FPGAs - Gehring, Stephan W.; Ludwig, Stefan
• SRC-TN-1997-032 A Semantic Approach to Secure Information Flow - Leino, K. Rustan M.; Joshi, Rajeev
• SRC-TN-1997-033 Strengthening Passwords - Abadi, Martin; Lomas, T. Mark A.; Needham, Roger
• SRC-TN-1998-001 On the Analysis of Randomized Load Balancing Schemes - Mitzenmacher, Michael
• SRC-TN-1998-002 How Useful is Old Information? - Mitzenmacher, Michael
• SRC-TN-1998-003 A Digital Fountain Approach to Reliable Distribution of Bulk Data - Byers, John W.; Luby, Michael; Mitzenmacher, Michael; Rege, Ashutosh
• SRC-TN-1998-004 Substitution: Syntactic versus Semantic - Lamport, Leslie
• SRC-TN-1998-005 Reduction in TLA - Cohen, Ernie; Lamport, Leslie
• SRC-TN-1998-006 Abstracts of SRC Technical Notes - Mason, James
• SRC-TN-1998-007 Two Facets of Authentication - Abadi, Martin
• SRC-TN-1998-008 An Efficient Matching Algorithm for a High-Throughput, Low-Latency Data Switch - Rodeheffer, Thomas; Saxe, James B.
• SRC-TN-1998-009 Improved Low-Density Parity-check Codes Using Irregular Graphs and Belief Propagation - Luby, Michael; Mitzenmacher, Michael; Shokrollahi, Amin; Spielman, Dan
• SRC-TN-1998-010 Scheduling Multicasts on Unit-Capacity Trees and Meshes - Henzinger, Monika; Leonardi, Stefano
• SRC-TN-1998-011 Computing on Data Streams - Henzinger, Monika; Raghavan, Prabhakar; Rajagopalan, Sridar
• SRC-TN-1998-012 Firelink: A Reconfigurable Firewire Testbed - Mencer, Oskar; Shand, Mark; Flynn, Michael J.
• SRC-TN-1998-013 PixelVision Architecture - Kelleher, Brian
• SRC-TN-1998-014 Analysis of a Very Large AltaVista Query Log - Silverstein, Craig; Henzinger, Monika; Marais, Johannes; Michael Moricz
• SRC-TN-1998-015 Scheduling Data Transfers in a Network and the Set Scheduling Problem - Goel, Ashish; Henzinger, Monika; Plotkin, Serge; Tardos, Eva
• SRC-TN-1998-016 Selected 1998 SRC Summer Intern Reports - Mason, James
• SRC-TN-1998-017 A Note on Low Density Parity Check Codes for Erasures and Errors - Mitzenmacher, Michael
• SRC-TN-1999-001 The Vesta Approach to Software Configuration Management - Heydon, Allan; Levin, Roy; Mann, Tim; Yu, Yuan
• SRC-TN-1999-002 Checking Java programs via guarded commands - Leino, K. Rustan M.; Saxe, James B.; Stata, Raymie
• SRC-TN-1999-003 Selected 1999 SRC Summer Intern Reports - Mason, James
• SRC-TN-2000-001 Variations on a theme by Chuck Thacker: Hypercube routing with limited interconnections - Broder, Andrei; Manasse, Mark; Saxe, James B.
• SRC-TN-2000-002 ESC/Java User's Manual - Leino, K. Rustan M.; Nelson, Greg; Saxe, James B.
• SRC-TN-2000-003 Houdini, an Annotation Assistant for ESC/Java - Flanagan, Cormac; Leino, K. Rustan M.
• SRC-TN-2000-004 ESC/Java Quick Reference - Seres, Silvija; Leino, K. Rustan M.; Saxe, James B.
• SRC-TN-2000-005 On variants of block-sorting compression using context from both the - Burrows, Mike; Zhang, Li
• SRC-TN-2000-006 Selected 2000 SRC Summer Intern Reports - Miller, Cathy
• SRC-TN-2001-001 Cloudburst: A Compressing, Log-Structured Virtual Disk for Flash Memory - Bartels, Gretta; Mann, Tim
• SRC-TN-2001-002 Why Digital Rights Management is Wrong - Manasse, Mark
• SRC-TN-2001-003 Thread-Modular Verification For Shared-Memory Programs - Flanagan, Cormac; Freund, Stephen; Qadeer, Shaz
• SRC-TN-2001-004 Selected 2001 SRC Summer Intern Reports - Miller, Cathy
• SRC-TN-2002-003 Averaging on a quotient of a sphere - Ramshaw, Lyle
• SRC-TN-2002-004 Finding stale-value errors in concurrent programs - Burrows, Michael; Leino, K. Rustan M.

Western Research Laboratory

• WRL-86-1 Titan System Manual - Nielsen, Michael J. K.
• WRL-86-3 Global Register Allocation at Link Time - Wall, David W.
• WRL-86-4 Optimal Finned Heat Sinks - Hamburgen, William R.
• WRL-87-1 The Mahler Experience: Using an Intermediate Language as the Machine Description - Wall, David W.; Powell, Michael L.
• WRL-87-2 The Packet Filter: An Efficient Mechanism for User-Level Network Code - Mogul, Jeffrey C.; Rashid, Richard F.; Accetta, Michael J.
• WRL-87-3 Fragmentation Considered Harmful - Kent, Christopher A.; Mogul, Jeffrey C.
• WRL-87-4 Cache Coherence in Distributed Systems - Kent, Christopher A.
• WRL-87-5 Register Windows vs. Register Allocation - Wall, David W.
• WRL-87-6 Editing Graphical Objects Using Procedural Representations - Asente, Paul J.
• WRL-87-7 USENET Cookbook An Experiment in Electronic Publication - Reid, Brian K.
• WRL-87-8 The Multititan: Four Architecture Papers - Jouppi, Norman P. ; Dion, Jeremy; Boggs, David; Nielsen, Michael J.K.
• WRL-88-1 Fast Printed Circuit Board Routing - Dion, Jeremy
• WRL-88-2 Compacting Garbage Collection with Ambiguous Roots - Bartlett, Joel F.
• WRL-88-3 The Experimental Literature of The Internet: An Annotated Bibliography - Mogul, Jeffrey C.
• WRL-88-4 Measured Capacity of an Ethernet: Myths and Reality - David R. Boggs; Jeff Mogul; Christopher A. Kent
• WRL-88-5 Visa Protocols for Controlling Inter-Organization Datagram Flow - Estrin, Deborah; Mogul, Jeffrey C.; Tsudik, Gene; Anand, Kamaljit.
• WRL-89-1 Scheme->C a Portable Scheme-to-C Compiler - Bartlett, Joel F.
• WRL-89-2 Optimal Group Distribution in Carry-Skip Adders - Turrini, Silvio
• WRL-89-3 Precise Robotic Paste Dot Dispensing - Hamburgen, William R.
• WRL-89-4 Simple and Flexible Datagram Access Controls for UNIX-based Gateways - Mogul, Jeffrey C.
• WRL-89-5 Spritely NFS: Experiments with and Implementation of Cache-Consistency Protocols - Srinivasan, V.; Mogul, Jeffrey C.
• WRL-89-7 Available Instruction-Level Parallelism for Superscalar and Superpipelined Machines - Jouppi, Norman P.; Wall, David W.
• WRL-89-8 A Unified Vector/Scalar Floating-Point Architecture - Jouppi, Norman P.; Bertoni, Jonathan ; Wall, David W.
• WRL-89-9 Architectural and Organizational Tradeoffs in the Design of the MultiTitan CPU - Jouppi, Norman P.
• WRL-89-10 Integration and Packaging Plateaus of Processor Performance - Jouppi, Norman P.
• WRL-89-11 A 20-MIPS Sustained 32-bit CMOS Microprocessor with High Ratio of Sustained to Peak Performance - Jouppi, Norman P.; Tang, Jeffrey Y. F.
• WRL-89-13 The Distribution of Instruction-Level and Machine Parallelism and Its Effect on Performance. - Jouppi, Norman P.
• WRL-89-14 Long Address Traces from RISC Machines: Generation and Analysis - Borg, Anita; Kessler, R. E.; Lazana, Georgia; Wall, David W.
• WRL-89-17 Link-Time Code Modification - Wall, David W.
• WRL-90-1 Noise Issues in the ECL Circuit Family - Tang, Jeffrey Y. F.; Yang, Leon J.
• WRL-90-2 Efficient Generation of Test Patterns Using Boolean Satisfiability - Larrabee, Tracy
• WRL-90-3 Two Papers on Test Pattern Generation - Larrabee, Tracy
• WRL-90-4 Virtual Memory vs. The File System - Nelson, Michael N.
• WRL-90-5 Efficient Use Of Workstations for Passive Monitoring of Local Area Networks - Mogul, Jeffrey C.
• WRL-90-6 One-Dimensional Thermal Model for the VAX 9000 Multi Chip Units - Fitch, John S.
• WRL-90-7 1990 DECWRL/Livermore Magic Release - Mayo, Robert N. ; Arnold, Michael H.; Scott, Walter S.; Stark, Don; Hamachi, Gordon T.
• WRL-90-9 Pool Boiling Enhancement Techniques for Water at Low Pressure - McGillis, Wade R.; Fitch, John S.; Hamburgen, William R.; Carey, Van P.
• WRL-91-1 Writing Fast X Servers for Dumb Color Frame Buffers - McCormack, Joel.
• WRL-91-2 A simulation-based study of TLB performance. - Chen, J. Bradley; Borg, Anita; Jouppi, Norman P.
• WRL-91-3 Analysis of Power Supply Networks in VLSI Circuits - Stark, Don
• WRL-91-4 TurboChannel T1 Adapter - Boggs, David
• WRL-91-5 Procedure Merging with Instruction Caches - McFarling, Scott
• WRL-91-6 Don't Fidget with Widgets Draw! - Bartlett, Joel F.
• WRL-91-7 Pool Boiling on Small Heat Dissipating Elements in Water at Subatmospheric Pressure - McGillis, Wade R.; Fitch, John S.; Hamburgen, William R.; Carey, Van P.
• WRL-91-8 Incremental, Generational Mostly-Copying Garbage Collection in Uncooperative Environments - Yip, May G.
• WRL-91-9 Interleaved Fin Thermal Connectors for Multichip Modules - Hamburgen, William R.
• WRL-91-10 Experience with a Software-Defined Machine Architecture - Wall, David W.
• WRL-91-11 Network Locality at the Scale of Processes - Mogul, Jeffrey C.
• WRL-91-12 Cache Write Policies and Performance - Jouppi, Norman P.
• WRL-92-1 Packaging a 150W bipolar ECL microprocessor. - Hamburgen, William R.; Fitch, John S.
• WRL-92-2 Observing TCP dynamics in real networks. - Mogul, Jeffrey C.
• WRL-92-3 Systems for late code modification. - Wall, David W.
• WRL-92-5 Piecewise linear models for switch-level simulation. - Kao, Russell.
• WRL-92-6 A practical system for intermodule code optimization at link-time. - Srivastava, Amitabh; Wall, David W.
• WRL-93-1 A smart frame buffer. - McCormack, Joel; McNamara, Bob.
• WRL-93-2 Recovery in Spritely NFS - Mogul, Jeffrey C.
• WRL-93-3 Tradeoffs in Two-Level On-Chip Caching. - Jouppi, Norman P.; Wilton, Steven J.E.
• WRL-93-4 Unreachable procedures in object-oriented programming. - Srivastava, Amitabh.
• WRL-93-5 An Enhanced Access and Cycle Time Model for On-Chip Caches - Wilton, Steven J.E; Jouppi, Norman P.
• WRL-93-6 Limits of instruction-level parallelism. - Wall, David W.
• WRL-93-7 Fluoroelastomer Pressure Pad Design for Microelectronic Applications - Makino, Alberto; Hamburgen, William R.; Fitch, John S.
• WRL-93-8 A 300MHz 115W 32b bipolar ECL microprocessor. - Jouppi, Norman P.; Boyle, Patrick; Dion, Jeremy; Doherty, Mary Jo ; Eustace, Alan; Haddad, Ramsey; Mayo, Robert; Menon, Suresh; Monier, Louis; Stark, Don; Turrini, Silvio; Yang, Leon; Fitch, John; Hamburgen, William; Kao, Russell; Swan, Richard.
• WRL-94-1 Link-time optimization of address calculation on a 64-bit architecture. - Srivastava, Amitabh; Wall, David W.
• WRL-94-2 ATOM : a system for building customized program analysis tools. - Srivastava, Amitabh; Eustace, Alan.
• WRL-94-3 Complexity/performance tradeoffs with non-blocking loads. - Farkas, Keith I.; Jouppi, Norman P.
• WRL-94-4 A better update policy. - Mogul, Jeffrey C.
• WRL-94-5 Boolean matching for full-custom ECL gates. - Mayo, Robert N.; Touati, Herve.
• WRL-94-6 Software methods for system address tracing : implementation and validation. - Chen, J. Bradley; Wall, David W.; Borg, Anita.
• WRL-94-7 Performance implications of multiple pointer sizes. - Mogul, Jeffrey C.; Bartlett, Joel F. ; Mayo, Robert N. ; Srivastava, Amitabh.
• WRL-94-8 How useful are non-blocking loads, stream buffers, and speculative execution in multiple issue processors. - Farkas, Keith I.; Jouppi, Norman P.; Chow, Paul.
• WRL-95-1 Drip : a schematic drawing interpreter. - Haddad, Ramsey W.
• WRL-95-2 Recursive layout generation. - Monier, Louis M.; Dion, Jeremy.
• WRL-95-3 Contour : a tile-based gridless router. - Dion, Jeremy; Monier, Louis M.
• WRL-95-4 The case for persistent-connection HTTP. - Mogul, Jeffrey C.
• WRL-95-5 Network Behavior of a Busy Web Server and its Clients - Mogul, Jeffrey C.
• WRL-95-6 The Predictability of Branches in Libraries - Calder, Brad; Grunwald, Dirk; Srivastava, Amitabh
• WRL-95-7 Shared Memory Consistency Models: A Tutorial - Adve, Sarita V.; Gharachorloo, Kourosh
• WRL-95-8 Eliminating Receive Livelock in an Interrupt-driven Kernel - Mogul, Jeffrey C.; Ramakrishnan, K. K.
• WRL-95-9 Memory Consistency Models for Shared-Memory Multiprocessors - Gharachorloo, Kourosh
• WRL-95-10 Register File Design Considerations in Dynamically Scheduled Processors - Farkas, Keith I.; Jouppi, Norman P.; Chow, Paul
• WRL-96-1 Optimization in Permutation Spaces - Turrini, Silvio
• WRL-96-2 Shasta: A Low Overhead, Software-Only Approach for Supporting Fine-Grain Shared Memory - Scales, Daniel J.; Gharachorloo, Kourosh; Thekkath, Chandramohan
• WRL-96-3 Efficient Procedure Mapping using Cache Line Coloring - Hashemi, Amir H.; Kaeli, David R.; Calder, Brad
• WRL-96-4 Optimizations and Placement with the Genetic Workbench - Turrini, Silvio
• WRL-97-1 Memory-system Design Considerations for Dynamically-scheduled Processors. - Farkas, Keith I.; Chow, Paul ; Jouppi, Norman P.; Vranesic, Zvonko.
• WRL-97-2 Performance of the Shasta Distributed Shared Memory Protocol - Scales, Daniel J.; Gharachorloo, Kourosh
• WRL-97-3 Fine-Grain Software Distributed Shared Memory on SMP Clusters - Scales, Daniel J.; Gharachorloo, Kourosh; Aggarwal, Anshu
• WRL-97-4 Potential benefits of delta encoding and data compression for HTTP - Mogul, Jeffrey C.; Douglis, Fred; Feldmann, Anja; Krishnamurthy, Balachander.
• WRL-98-1 Neon: A (Big)(Fast) Single-Chip 3D Workstation Graphics Accelerator - McCormack, Joel; McNamara, Robert; Gianos, Christopher; Seiler, Larry; Jouppi, Norman P.; Correll, Ken; Dutton, Todd; Zurawski, John.
• WRL-98-2 Prefiltered Antialiased Lines Using Half-Plane Distance Functions - McNamara, Robert ; McCormack, Joel ; Jouppi, Norman P.
• WRL-98-5 Efficient Dynamic Procedure Placement - Scales, Daniel J.
• WRL-98-6 Scalable kernel performance for Internet servers under realistic loads - Banga, Gaurav; Mogul, Jeffrey C.
• WRL-98-7 Comparative Evaluation of Fine- and Coarse-Grain Approaches for Software Distributed Shared Memory - Dwarkadas, Sandhya; Gharachorloo, Kourosh; Kontothanassis, Leonidas; Scales, Daniel J.; Scott, Michael L.; Stets, Robert
• WRL-98-8 The multicluster architecture: Reducing processor cycle time through partitioning - Farkas, Keith I.; Chow, Paul; Jouppi, Norman P.; Vranesic, Zvonko
• WRL-98-9 Memory System Characterization of Commercial Workloads - Barroso, Luiz Andre; Gharachorloo, Kourosh; Bugnion, Edouard
• WRL-98-10 An Analysis of Database Workload Performance on Simultaneous Multithreaded Processors - Lo, Jack L.; Barroso, Luiz Andre; Eggers, Susan; Gharachorloo, Kourosh; Levy, Henry M.; Parekh, Sujay
• WRL-98-11 Performance of Database Workloads on Shared-Memory Systems with Out-of-Order Processors - Ranganathan, Parthasarathy; Gharachorloo, Kourosh; Adve, Sarita; Barroso, Luiz Andre
• WRL-99-1 Simple and Table Feline: Fast Elliptical Lines for Anisotropic Texture Mapping - McCormack, Joel; Farkas, Keith I.; Perry, Ronald; Jouppi, Norman P.
• WRL-99-2 A trace-based analysis of duplicate suppression in HTTP - Mogul, Jeffrey C.
• WRL-99-3 Errors in timestamp-based HTTP header values - Mogul, Jeffrey C.
• WRL-2000-2 The Swift Java Compiler: Design and Implementation - Scales, Daniel J.; Randall, Keith H.; Ghemawat, Sanjay; Dean, Jeff
• WRL-2000-3 Rock 'n' Scroll is Here to Stay - Bartlett, Joel F.
• WRL-2000-5 Quantifying the Energy Consumption of a Pocket Computer and a Java Virtual Machine - Farkas, Keith I.; Flinn, Jason; Grunwald, Dirk; Anderson, Jennifer M.
• WRL-2000-6 The Itsy Pocket Computer - Bartlett, Joel F.; Brakmo, Lawrence S.; Farkas, Keith I.; Hamburgen, William R. ; Mann, Timothy ; Viredaz, Marc A.; Waldspurger, Carl A. ; Wallach, Deborah A.
• WRL-2000-7 CACTI 2.0: An Integrated Cache Timing and Power Model - Reinman, Glen; Jouppi, Norman P.
• WRL-2001-1 Power Evaluation of a Handheld Computer: A Case Study - Viredaz, Marc A.; Wallach, Deborah A.
• WRL-2001-2 CACTI 3.0: An Integrated Cache Timing, Power, and Area Model - Shivakumar, Premkishore; Jouppi, Norman P.
• WRL-2002-1 Energy-driven Statistical Sampling: Detecting Software Hotspots - Chang, Fay; Farkas, Keith I.; Ranganathan, Parthasarathy.
• WRL-TN-4 TCP/IP PrintServer: Print Server Protocol - Reid, Brian K.; Kent, Christopher A.
• WRL-TN-7 TCP/IP Printserver: Server Architecture and Implementation - Kent, Christopher A.
• WRL-TN-9 Smart Code, Stupid Memory A Fast X Server for a Dumb Color Frame Buffer - McCormack, Joel
• WRL-TN-11 Why Aren't Operating Systems Getting Faster As Fast As Hardware? - Ousterhout, John
• WRL-TN-12 Mostly-Copying Garbage Collection Picks Up Generations and C++ - Bartlett, Joel F.
• WRL-TN-13 Characterization of Organic Illumination Systems - Hamburgen, Bill; Mogul, Jeff; Reid, Brian; Eustace, Alan; Swan, Richard; Doherty, Mary Jo; Bartlett, Joel
• WRL-TN-14 Improving Direct-Mapped Cache Performance by the Addition of a Small Fully-Associative Cache and Prefetch Buffers - Jouppi, Norman P.
• WRL-TN-15 Limits of Instruction-Level Parallelism - Wall, David W.
• WRL-TN-16 The Effect of Context Switches on Cache Performance - Mogul, Jeffrey C.; Borg, Anita
• WRL-TN-17 - Goldberg, Aaron; Hennessy, John
• WRL-TN-18 Predicting Program Behavior Using Real or Estimated Profiles - Goldberg, Aaron; Hennessy, John
• WRL-TN-19 Systems for Late Code Modification - Wall, David
• WRL-TN-22 Cache Replacement with Dynamic Exclusion - McFarling, Scott
• WRL-TN-23 Boiling Binary Mixtures at Subatmospheric Pressures - McGillis, Wade R. ; Fitch, John S.; Hamburgen, William R. ; Carey, Van P.
• WRL-TN-24 A Comparison of Acoustic and Infrared Inspection Techniques for Die Attach - Fitch, John S.
• WRL-TN-26 TurboChannel Versatec Adapter - Boggs, David
• WRL-TN-27 A Recovery Protocol for Spritely NFS - Mogul, Jeffrey C.
• WRL-TN-29 Electrical evaluation of the BIPS-0 package - Boyle, Patrick D.
• WRL-TN-30 Transparent Controls for Interactive Graphics - Bartlett, Joel F.
• WRL-TN-32 Design Tools for BIPS-0 - Dion, Jeremy; Monier, Louis
• WRL-TN-36 Combining Branch Predictors - McFarling, Scott
• WRL-TN-37 Boolean Matching for Full-Custom ECL Gates - Mayo, Robert N.; Touati, Herve
• WRL-TN-40 Piecewise Linear Models for Rsim - Kao, Russell; Horowitz, Mark
• WRL-TN-42 Speculative Execution and Instruction-Level Parallelism - Wall, David W.
• WRL-TN-43 Ramonamap - An Example of Graphical Groupware - Bartlett, Joel F.
• WRL-TN-44 ATOM: A Flexible Interface for Building High Performance Program Analysis Tools - Eustace, Alan; Srivastava, Amitabh
• WRL-TN-45 Circuit and Process Directions for Low-Voltage Swing Submicron BiCMOS - Jouppi, Norman P.; Menon, Suresh; Sidiropoulos, Stefanos
• WRL-TN-46 Experience with a Wireless World Wide Web Client - Bartlett, Joel F.
• WRL-TN-47 I/O Component Characterization for I/O Cache Designs - Richardson, Kathy J.
• WRL-TN-48 Attribute caches - Richardson, Kathy J.; Flynn, Michael J.
• WRL-TN-49 Operating Systems Support for Busy Internet Servers - Mogul, Jeffrey C.
• WRL-TN-50 The Predictability of Libraries - Calder, Brad; Grunwald, Dirk; Srivastava, Amitabh
• WRL-TN-53 Reducing Compulsory and Capacity Misses - Jouppi, Norman P.
• WRL-TN-54 The Itsy Pocket Computer Version 1.5: User's Manual - Viredaz, Marc A.
• WRL-TN-55 The Memory Daughter-Card Version 1.5: User's Manual - Viredaz, Marc A.
• WRL-TN-56 Power and Energy Characterization of the Itsy Pocket Computer (Version 1.5) - Flinn, Jason; Farkas, Keith I.; Anderson, Jennifer
• WRL-TN-57 Power Evaluation of Itsy Version 2.3 - Viredaz, Marc A.; Wallach, Deborah A.
• WRL-TN-58 A Simple CMOS Camera for Itsy - Bartlett, Joel F.
• WRL-TN-59 Power Evaluation of Itsy Version 2.4 - Viredaz, Marc A.; Wallach, Deborah A
• WRL-TN-60 Reprint of the Factoid Web Page - Mayo, Robert N.
• WRL-TN-61 Interpreting the Battery Lifetime of the Itsy Version 2.4 - Wallach, Deborah A.
• WRL-TN-62 Detecting Energy Hot Spots: Experiences with the iPAQ Pocket PC - Chang, Fay; Farkas, Keith; Ranganathan, Parthasarathy