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
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
|
Printable version
