Architectural Support for Single Address Space Operating Systems (1992)

Cached

Download Links

by Eric J. Koldinger , Eric J. Koldinger , Jeffrey S. Chase , Jeffrey S. Chase , Susan J. Eggers , Susan J. Eggers
Citations:66 - 5 self

Documents Related by Co-Citation

179 Capability-based Computer Systems – H M Levy - 1984
88 Capability-Based Addressing – R S Fabry - 1974
253 Lightweight remote procedure call – Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy - 1990
210 Structure and encapsulation in distributed systems: the proxy principle – Marc Shapiro - 1986
23 A Programmer's View of the Intel 432 System – E I Organick - 1983
88 Mondrian Memory Protection – Emmett Witchel, Josh Cates, Krste Asanovic - 2002
240 RacerX: Effective, Static Detection of Race Conditions and Deadlocks – Dawson Engler, Ken Ashcraft - 2003
182 Cmc: A pragmatic approach to model checking real code – Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill - 2002
15 R.: Ibm System/38 Support for Capability-based Addressing – M Houdek, F Soltis, Hoffman - 1981
145 The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System – Michael Young, Avadis Tevanian, Richard Rashid, David Golub, Jeffrey Eppinger, Jonathan Chew, William Bolosky, David Black, Robert Baron - 1987
172 Fine-grain Access Control for Distributed Shared Memory – Ioannis Schoinas, Steven K. Reinhardt, James R. Larus, David A. Wood - 1994
45 Virtual memory, processes, and sharing in MULTICS – R C Daley, J B Dennis - 1968
15 The design of a capabilitybased operating system – Sape J Mullender, Andrew S Tanenbaum - 1986
66 Precision Architecture – R B Lee - 1989
38 Multi-model parallel programming in Psyche – Michael L. Scott, Thomas J. Leblanc, Brian D. Marsh - 1990
112 A structural view of the Cedar programming environment – Daniel C. Swinehart, Polle T. Zellweger, Richard J. Beach, Robert B. Hagmann - 1986
298 Why Aren't Operating Systems Getting Faster As Fast as Hardware? – John K. Ousterhout, John K - 1990
127 ProfileMe: Hardware Support for Instruction-Level Profiling on Out-of-Order Processors – Jeffrey Dean, James E. Hicks, Carl A. Waldspurger, William E. Weihl, George Chrysos - 1997
324 CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott McPeak, Westley Weimer - 2002