![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Gerald J. Popek 60 An-I Wang , Peter L. Reiher , Gerald J. Popek, Geoffrey H. Kuenning : Conquest: Better Performance Through a Disk/Persistent-RAM Hybrid File System. USENIX Annual Technical Conference, General Track 2002 : 15-28 59 Todd Ekenstam , Charles Matheny , Peter L. Reiher , Gerald J. Popek: The Bengal Database Replication System. Distributed and Parallel Databases 9 (3): 187-210 (2001) 58 David Ratner , Peter L. Reiher , Gerald J. Popek, Geoffrey H. Kuenning : Replication Requirements in Mobile Environments. MONET 6 (6): 525-533 (2001) 57 B. R. Badrinath , Armando Fox , Leonard Kleinrock , Gerald J. Popek, Peter L. Reiher , Mahadev Satyanarayanan : A conceptual framework for network and client adaptation. MONET 5 (4): 221-231 (2000) 56 David Ratner , Peter L. Reiher , Gerald J. Popek: Roam: A Scalable Replication System for Mobile Computing. DEXA Workshop 1999 : 96-104 55 David Ratner , Peter L. Reiher , Gerald J. Popek, Richard G. Guy : Peer Replication with Selective Control. MDA 1999 : 169-181 54 Alexey Rudenko , Peter L. Reiher , Gerald J. Popek, Geoffrey H. Kuenning : The Remote Processing Framework for Portable Computer Power Saving. SAC 1999 : 365-372 53 Mitchell Tsai , Peter L. Reiher , Gerald J. Popek: Command Management System for Next-Generation User Input. Workshop on Hot Topics in Operating Systems 1999 : 179-184 52 Mark Yarvis , Peter L. Reiher , Gerald J. Popek: Conductor: A Framework for Distributed Adaptation. Workshop on Hot Topics in Operating Systems 1999 : 44- 51 Geoffrey H. Kuenning , Rajive Bagrodia , Richard G. Guy , Gerald J. Popek, Peter L. Reiher , An-I Wang : Measuring the Quality of Service of Optimistic Replication. ECOOP Workshops 1998 : 319-320 50 Richard G. Guy , Peter L. Reiher , David Ratner , Michial Gunter , Wilkie Ma , Gerald J. Popek: Rumor: Mobile Data Access Through Optimistic Peer-to-Peer Replication. ER Workshops 1998 : 254-265 49 Ashvin Goel , Calton Pu , Gerald J. Popek: View Consistency for Optimistic Replication. Symposium on Reliable Distributed Systems 1998 : 36-42 48 Thomas W. Page Jr. , Richard G. Guy , John S. Heidemann , David Ratner , Peter L. Reiher , A. Goel , Geoffrey H. Kuenning , Gerald J. Popek: Perspectives on Optimistically Replicated, Peer-to-Peer Filing. Software - Practice and Experience 28 (2): 155-180 (1998) 47 Geoffrey H. Kuenning , Gerald J. Popek: Automated Hoarding for Mobile Computers. SOSP 1997 : 264-275 46 John S. Heidemann , Gerald J. Popek: Performance of Cache Coherence in Stackable Filing. SOSP 1995 : 127-142 45 Peter L. Reiher , John S. Heidemann , David Ratner , Gregory Skinner , Gerald J. Popek: Resolving File Conflicts in the Ficus File System. USENIX Summer 1994 : 183-195 44 Geoffrey H. Kuenning , Gerald J. Popek, Peter L. Reiher : An Analysis of Trace Data for Predictive File Caching in Mobile Computing. USENIX Summer 1994 : 291-303 43 John S. Heidemann , Gerald J. Popek: File-System Development with Stackable Layers. TOCS 12 (1): 58-89 (1994) 42 Yuguang Wu , Gerald J. Popek, Richard R. Muntz : Efficient Evaluation of Arbitrary Set-Associative Caches on Multiprocessors. SPDP 1992 : 507-514 41 John S. Heidemann , Thomas W. Page Jr. , Richard G. Guy , Gerald J. Popek: Primarily Disconnected Operation: Experiences with Ficus. Workshop on the Management of Replicated Data 1992 : 2-5 40 Richard G. Guy , John S. Heidemann , Thomas W. Page Jr. , Gerald J. Popek: The Ficus Replicated File System (Abstract). Operating Systems Review 26 (2): 26 (1992) 39 Thomas W. Page , Richard G. Guy , John S. Heidemann , Gerald J. Popek, Wai Mak , Dieter Rothmeier : Management of Replicated Volume Location Data in the Ficus Replicated File System. USENIX Summer 1991 : 17-30 38 Richard G. Guy , John S. Heidemann , Wai-Kei Mak , Thomas W. Page Jr. , Gerald J. Popek, Dieter Rothmeier : Implementation of the Ficus Replicated File System. USENIX Summer 1990 : 63-72 37 Gerald J. Popek, Richard G. Guy , Thomas W. Page Jr. , John S. Heidemann : Replication in Ficus Distributed File Systems. Workshop on the Management of Replicated Data 1990 : 5-10 36 Brett D. Fleisch , Gerald J. Popek: Mirage: A Coherent Distributed Shared Memory Design. SOSP 1989 : 211-223 35 Peter L. Reiher , Gerald J. Popek: Locus Naming in a Large Scale Environment. Kommunikation in Verteilten Systemen 1987 : 167-177 34 Alan B. Sheltzer , Robert Lindell , Gerald J. Popek: Name Service Locality and Cache Design in a Distributed Operating System. ICDCS 1986 : 515-522 33 Alan B. Sheltzer , Gerald J. Popek: Internet Locus: Extending Transparency to an Internet Environment. TSE 12 (11): 1067-1075 (1986) 32 Thomas W. Page Jr. , Gerald J. Popek: Distributed Management in Local Area Networks. PODS 1985 : 135-142 31 Thomas W. Page Jr. , Matthew J. Weinstein , Gerald J. Popek: Genesis: A Distributed Database Operating System. SIGMOD Conference 1985 : 374-387 30 Matthew J. Weinstein , Thomas W. Page Jr. , Brian Livezey , Gerald J. Popek: Transactions and Synchronization in a Distributed Operating System. SOSP 1985 : 115-126 29 Joseph Betser , Mario Gerla , Gerald J. Popek: A Dual Priority MVA Model for a Large Distributed System: LOCUS. Performance 1984 : 51-66 28 Arthur P. Goldberg , Gerald J. Popek, Stephen S. Lavenberg : A Validated Distributed System Performance Model. Performance 1983 : 251-268 27 Bruce J. Walker , Gerald J. Popek, Robert English , Charles S. Kline , Greg Thiel : The LOCUS Distributed Operating System. SOSP 1983 : 49-70 26 Erik T. Mueller , Johanna D. Moore , Gerald J. Popek: A Nested Transaction Mechanism for LOCUS. SOSP 1983 : 71-89 25 Gerald J. Popek, Greg Thiel : Distributed Data Management Issues in the LOCUS System. Database Engineering Bulletin 6 (2): 63-67 (1983) 24 Douglas Stott Parker Jr. , Gerald J. Popek, Gerard Rudisin , Allen Stoughton , Bruce J. Walker , Evelyn Walton , Johanna M. Chow , David A. Edwards , Stephen Kiser , Charles S. Kline : Detection of Mutual Inconsistency in Distributed Systems. TSE 9 (3): 240-247 (1983) 23 Gerald J. Popek: Notes on distributed systems of microprocessors. Advanced Course: Microcomputer System Design 1981 : 303-348 22 Douglas Stott Parker Jr. , Gerald J. Popek, Gerard Rudisin , Allen Stoughton , Bruce J. Walker , Evelyn Walton , Johanna M. Chow , David A. Edwards , Stephen Kiser , Charles S. Kline : Detection of Mutual Inconsitency in Distributed Systems. Berkeley Workshop 1981 : 172-184 21 Gerald J. Popek, Bruce J. Walker , Johanna M. Chow , David A. Ewards , Gerard Rudisin , Greg Thiel : LOCUS - A Network Transparent, High Reliability Distributed System. SOSP 1981 : 169-177 20 Bruce J. Walker , Richard A. Kemmerer , Gerald J. Popek: Specification and Verification of the UCLA Unix Security Kernel. CACM 23 (2): 118-131 (1980) 19 Daniel A. Menascé , Gerald J. Popek, Richard R. Muntz : A Locking Protocol for Resource Coordination in Distributed Databases. TODS 5 (2): 103-138 (1980) 18 Dushan Z. Badal , Gerald J. Popek: Cost and Performance Analysis of Semantic Integrity Validation Methods. SIGMOD Conference 1979 : 109-115 17 Bruce J. Walker , Richard A. Kemmerer , Gerald J. Popek: Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract). SOSP 1979 : 64-65 16 Deborah Downs , Gerald J. Popek: Data Base Management Systems Security and INGRES. VLDB 1979 : 280-290 15 Gerald J. Popek, Charles S. Kline : Encryption and Secure Computer Networks. ACM Computing Surveys 11 (4): 331-356 (1979) 14 Michael J. Flynn , Jim Gray , Anita K. Jones , Klaus Lagally , Holger Opderbeck , Gerald J. Popek, Brian Randell , Jerome H. Saltzer , Hans-Rüdiger Wiehle : Operating Systems, An Advanced Course. Springer 1978 13 Gerald J. Popek, Charles S. Kline : Issues in Kernel Design. Advanced Course: Operating Systems 1978 : 209-227 12 Gerald J. Popek, Charles S. Kline : Design Issues for Secure Computer Networks. Advanced Course: Operating Systems 1978 : 517-546 11 Dushan Z. Badal , Gerald J. Popek: A Proposal for Distributed Concurrency Control for Partially Redundant Distributed Data Base Systems. Berkeley Workshop 1978 : 273-285 10 Ralph L. London , John V. Guttag , James J. Horning , Butler W. Lampson , James G. Mitchell , Gerald J. Popek: Proof Rules for the Programming Language Euclid. Program Construction 1978 : 133-163 9 Daniel A. Menascé , Gerald J. Popek, Richard R. Muntz : A Locking Protocol for Resource Coordination in Distributed Databases (Abstract). SIGMOD Conference 1978 : 2 8 Ralph L. London , John V. Guttag , James J. Horning , Butler W. Lampson , James G. Mitchell , Gerald J. Popek: Proof Rules for the Programming Language Euclid. Acta Informatica 10 : 1-26 (1978) 7 Gerald J. Popek, David A. Farber : A Model for Verification of Data Security in Operating Systems. CACM 21 (9): 737-749 (1978) 6 Gerald J. Popek, James J. Horning , Butler W. Lampson , James G. Mitchell , Ralph L. London : Notes on the Design of Euclid. Language Design for Reliable Software 1977 : 11-18 5 Deborah Downs , Gerald J. Popek: A Kernel Design for a Secure Data Base Management System. VLDB 1977 : 507-514 4 Gerald J. Popek, Charles S. Kline : The PDP-11 Virtual Machine Architecture: A Case Study. SOSP 1975 : 97-105 3 Mary E. Snuggs , Gerald J. Popek, Ronald J. Peterson : Data Base System Objectives as Design Constraints. DATA BASE 6 (3): 11-20 (1975) 2 Gerald J. Popek, Robert P. Goldberg : Formal Requirements for Virtualizable Third Generation Architectures. CACM 17 (7): 412-421 (1974) 1 Gerald J. Popek, Robert P. Goldberg : Formal Requirements for Virtualizable Third Generation Architectures. SOSP 1973 : 121 ![]() DiSC'02 © 2003 Association for Computing Machinery |