Abstract is missing.
- A Logic of AuthenticationMichael Burrows, MartÃn Abadi, Roger M. Needham. 1-13
- Reducing Risks from Poorly Chosen KeysT. Mark A. Lomas, Li Gong, Jerome H. Saltzer, Roger M. Needham. 14-18
- Simple But Effective Techniques for NUMA Memory ManagementWilliam J. Bolosky, Robert P. Fitzgerald, Michael L. Scott. 19-31
- The Implementation of a Coherent Memory Abstraction on a NUMA Multiprocessor: Experiences with PLATINUMAlan L. Cox, Robert J. Fowler. 32-44
- Spritely NFS: Experiments with Cache-Consistency ProtocolsV. Srinivasan, Jeffrey C. Mogul. 45-57
- Exploiting Read-Mostly Workloads in The FileNet File SystemDavid A. Edwards, Martin S. McKendry. 58-70
- Performance of Firefly RPCMichael D. Schroeder, Michael Burrows. 83-90
- RPC in the x-Kernel: Evaluating New Design TechniquesNorman C. Hutchinson, Larry L. Peterson, Mark B. Abbott, Sean W. O Malley. 91-101
- Lightweight Remote Procedure CallBrian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy. 102-113
- The Portable Common Runtime Approach to InteroperabilityMark Weiser, Alan J. Demers, Carl Hauser. 114-122
- Generic Virtual Memory Management for Operating System KernelsVadim Abrossimov, Marc Rozier, Marc Shapiro. 123-136
- Low-Synchronization Translation Lookaside Buffer Consistency in Large-Scale Shared-Memory MultiprocessorsBryan S. Rosenburg. 137-146
- The Amber System: Parallel Programming on a Network of MultiprocessorsJeffrey S. Chase, Franz G. Amador, Edward D. Lazowska, Henry M. Levy, Richard J. Littlefield. 147-158
- Process Control and Scheduling Issues for Multiprogrammed Shared-Memory MultiprocessorsAndrew Tucker, Anoop Gupta. 159-166
- A Lazy Buddy System Bounded by Two Coalescing Delays per ClassRonald E. Barkley, T. Paul Lee. 167-176
- Analysis of Transaction Management PerformanceDan Duchamp. 177-190
- Threads and Input/Output in the Synthesis KernelHenry Massalin, Calton Pu. 191-201
- Leases: An Efficient Fault-Tolerant Mechanism for Distributed File Cache ConsistencyCary G. Gray, David R. Cheriton. 202-210