| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | An-I Andy Wang, Geoffrey H. Kuenning, Peter L. Reiher, Gerald J. Popek |
The Conquest file system: Better performance through a disk/persistent-RAM hybrid design.  |
TOS  |
2006 |
DBLP DOI BibTeX RDF |
Persistent RAM, performance measurement, file systems, storage management |
| 1 | David Ratner, Peter L. Reiher, Gerald J. Popek |
Roam: A Scalable Replication System for Mobility.  |
MONET  |
2004 |
DBLP DOI BibTeX RDF |
peer file systems, scalable replication, optimistic replication |
| 1 | Jun Li, Peter L. Reiher, Gerald J. Popek |
Resilient self-organizing overlay networks for security update delivery.  |
IEEE Journal on Selected Areas in Communications  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Eustice, Leonard Kleinrock, Shane Markstrum, Gerald J. Popek, Venkatraman Ramakrishna, Peter L. Reiher |
Securing nomads: the case for quarantine, examination, and decontamination.  |
NSPW  |
2003 |
DBLP DOI BibTeX RDF |
decontamination, quarantine, security, mobile computing, ubiquitous computing, pervasive computing, wireless, worm, nomadic computing, examination |
| 1 | Kevin Eustice, Leonard Kleinrock, Shane Markstrum, Gerald J. Popek, Venkatraman Ramakrishna, Peter L. Reiher |
Enabling Secure Ubiquitous Interactions.  |
Middleware Workshops  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jun Li, Peter L. Reiher, Gerald J. Popek |
Disseminating Security Updates at Internet Scale  |
|
2002 |
DOI RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Geoffrey H. Kuenning, Wilkie Ma, Peter L. Reiher, Gerald J. Popek |
Simplifying automated hoarding methods.  |
MSWiM  |
2002 |
DBLP DOI BibTeX RDF |
clustering, disconnected operation, LRU, hoarding |
| 1 | David Ratner, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning |
Replication Requirements in Mobile Environments.  |
MONET  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Todd Ekenstam, Charles Matheny, Peter L. Reiher, Gerald J. Popek |
The Bengal Database Replication System.  |
Distributed and Parallel Databases  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | An-I Wang, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning |
The Conquest File System's Life after Disks. (PDF / PS)  |
HotOS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | B. R. Badrinath, Armando Fox, Leonard Kleinrock, Gerald J. Popek, Peter L. Reiher, Mahadev Satyanarayanan |
A conceptual framework for network and client adaptation.  |
MONET  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Ratner, Peter L. Reiher, Gerald J. Popek, Richard G. Guy |
Peer Replication with Selective Control.  |
MDA  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Rudenko, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning |
The Remote Processing Framework for Portable Computer Power Saving.  |
SAC  |
1999 |
DBLP DOI BibTeX RDF |
laptop battery, remote processing, wireless communication, power saving, client server |
| 1 | Mark Yarvis, Peter L. Reiher, Gerald J. Popek |
Conductor: A Framework for Distributed Adaptation. (PDF / PS)  |
Workshop on Hot Topics in Operating Systems  |
1999 |
DBLP DOI BibTeX RDF |
application unaware, middleware, proxies, adaptive agents, protocol conversion |
| 1 | Mitchell Tsai, Peter L. Reiher, Gerald J. Popek |
Command Management System for Next-Generation User Input. (PDF / PS)  |
Workshop on Hot Topics in Operating Systems  |
1999 |
DBLP DOI BibTeX RDF |
User Input Systems, Context, Operating Systems, Speech Recognition, Wearable Computers, Sensors, Intelligent User Interfaces, Smart Spaces, Commands, Perceptual User Interfaces |
| 1 | David Ratner, Peter L. Reiher, Gerald J. Popek |
Roam: A Scalable Replication System for Mobile Computing. (PDF / PS)  |
DEXA Workshops  |
1999 |
DBLP DOI BibTeX RDF |
peer replication, Mobility, file systems, optimistic replication |
| 1 | Thomas W. Page Jr., Richard G. Guy, John S. Heidemann, David Ratner, Peter L. Reiher, Ashish Goel, Geoffrey H. Kuenning, Gerald J. Popek |
Perspectives on Optimistically Replicated, Peer-to-Peer Filing.  |
Softw., Pract. Exper.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ted H. Kim, Gerald J. Popek |
Frigate: a user-extensible OO file system.  |
IEEE Concurrency  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik T. Mueller, Johanna D. Moore, Gerald J. Popek |
A nested transaction mechanism for LOCUS  |
CoRR  |
1998 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashvin Goel, Calton Pu, Gerald J. Popek |
View Consistency for Optimistic Replication.  |
SRDS  |
1998 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Geoffrey H. Kuenning, Peter L. Reiher, Gerald J. Popek |
Experience with an Automated Hoarding System.  |
Personal and Ubiquitous Computing  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey H. Kuenning, Gerald J. Popek |
Automated Hoarding for Mobile Computers.  |
SOSP  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ted H. Kim, Gerald J. Popek |
Frigate: An Object-Oriented File System for Ordinary Users.  |
COOTS  |
1997 |
DBLP BibTeX RDF |
|
| 1 | John S. Heidemann, Gerald J. Popek |
Performance of Cache Coherence in Stackable Filing.  |
SOSP  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Heidemann, Gerald J. Popek |
File-System Development with Stackable Layers.  |
ACM Trans. Comput. Syst.  |
1994 |
DBLP DOI BibTeX RDF |
file system design, operating system structure, reuse, composability |
| 1 | Peter L. Reiher, John S. Heidemann, David Ratner, Gregory Skinner, Gerald J. Popek |
Resolving File Conflicts in the Ficus File System.  |
USENIX Summer  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Geoffrey H. Kuenning, Gerald J. Popek, Peter L. Reiher |
An Analysis of Trace Data for Predictive File Caching in Mobile Computing.  |
USENIX Summer  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Richard G. Guy, John S. Heidemann, Thomas W. Page Jr., Gerald J. Popek |
The Ficus Replicated File System (Abstract).  |
Operating Systems Review  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Yuguang Wu, Gerald J. Popek, Richard R. Muntz |
Efficient Evaluation of Arbitrary Set-Associative Caches on Multiprocessors.  |
SPDP  |
1992 |
DBLP BibTeX RDF |
|
| 1 | Thomas W. Page Jr., 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Brett D. Fleisch, Gerald J. Popek |
Mirage: A Coherent Distributed Shared Memory Design.  |
SOSP  |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerald J. Popek |
Autonomy and interdependence: an intermediate position.  |
ACM SIGOPS European Workshop  |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter L. Reiher, Gerald J. Popek |
Locus Naming in a Large Scale Environment.  |
Kommunikation in Verteilten Systemen  |
1987 |
DBLP BibTeX RDF |
|
| 1 | Alan B. Sheltzer, Gerald J. Popek |
Internet Locus: Extending Transparency to an Internet Environment.  |
IEEE Trans. Software Eng.  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Alan B. Sheltzer, Robert Lindell, Gerald J. Popek |
Name Service Locality and Cache Design in a Distributed Operating System.  |
ICDCS  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Matthew J. Weinstein, Thomas W. Page Jr., Brian Livezey, Gerald J. Popek |
Transactions and Synchronization in a Distributed Operating System.  |
SOSP  |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Page Jr., Matthew J. Weinstein, Gerald J. Popek |
Genesis: A Distributed Database Operating System.  |
SIGMOD Conference  |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Page Jr., Gerald J. Popek |
Distributed Management in Local Area Networks.  |
PODS  |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Betser, Mario Gerla, Gerald J. Popek |
A Dual Priority MVA Model for a Large Distributed System: LOCUS.  |
Performance  |
1984 |
DBLP BibTeX RDF |
|
| 1 | 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.  |
IEEE Trans. Software Eng.  |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerald J. Popek, Greg Thiel |
Distributed Data Management Issues in the LOCUS System.  |
IEEE Database Eng. Bull.  |
1983 |
DBLP BibTeX RDF |
|
| 1 | Erik T. Mueller, Johanna D. Moore, Gerald J. Popek |
A Nested Transaction Mechanism for LOCUS.  |
SOSP  |
1983 |
DBLP DOI BibTeX RDF |
LOCUS |
| 1 | Bruce J. Walker, Gerald J. Popek, Robert English, Charles S. Kline, Greg Thiel |
The LOCUS Distributed Operating System.  |
SOSP  |
1983 |
DBLP DOI BibTeX RDF |
LOCUS |
| 1 | Arthur P. Goldberg, Gerald J. Popek, Stephen S. Lavenberg |
A Validated Distributed System Performance Model.  |
Performance  |
1983 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Gerald J. Popek, Bruce J. Walker, Johanna M. Chow, David A. Edwards, Gerard Rudisin, Greg Thiel |
LOCUS - A Network Transparent, High Reliability Distributed System.  |
SOSP  |
1981 |
DBLP DOI BibTeX RDF |
LOCUS |
| 1 | Gerald J. Popek |
Notes on distributed systems of microprocessors.  |
Advanced Course: Microcomputer System Design  |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel A. Menascé, Gerald J. Popek, Richard R. Muntz |
A Locking Protocol for Resource Coordination in Distributed Databases.  |
ACM Trans. Database Syst.  |
1980 |
DBLP DOI BibTeX RDF |
concurrency, distributed databases, consistency, crash recovery, locking protocol |
| 1 | Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek |
Specification and Verification of the UCLA Unix Security Kernel.  |
Commun. ACM  |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerald J. Popek, Charles S. Kline |
Encryption and Secure Computer Networks.  |
ACM Comput. Surv.  |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek |
Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract).  |
SOSP  |
1979 |
DBLP DOI BibTeX RDF |
UNIX |
| 1 | Dushan Z. Badal, Gerald J. Popek |
Cost and Performance Analysis of Semantic Integrity Validation Methods.  |
SIGMOD Conference  |
1979 |
DBLP DOI BibTeX RDF |
integrity assertions, performance analysis, database management, semantic integrity, cost analysis |
| 1 | Deborah Downs, Gerald J. Popek |
Data Base Management Systems Security and INGRES.  |
VLDB  |
1979 |
DBLP BibTeX RDF |
|
| 1 | 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 Inf.  |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerald J. Popek, David A. Farber |
A Model for Verification of Data Security in Operating Systems.  |
Commun. ACM  |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Dushan Z. Badal, Gerald J. Popek |
A Proposal for Distributed Concurrency Control for Partially Redundant Distributed Data Base Systems.  |
Berkeley Workshop  |
1978 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel A. Menascé, Gerald J. Popek, Richard R. Muntz |
A Locking Protocol for Resource Coordination in Distributed Databases (Abstract).  |
SIGMOD Conference  |
1978 |
DBLP DOI BibTeX RDF |
concurrency, distributed databases, consistency, crash recovery, locking protocol |
| 1 | Gerald J. Popek, Charles S. Kline |
Design Issues for Secure Computer Networks.  |
Advanced Course: Operating Systems  |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Flynn, Jim Gray, Anita K. Jones, Klaus Lagally, Holger Opderbeck, Gerald J. Popek, Brian Randell, Jerome H. Saltzer, Hans-Rüdiger Wiehle (eds.) |
Operating Systems, An Advanced Course  |
Advanced Course: Operating Systems  |
1978 |
DBLP BibTeX RDF |
|
| 1 | Gerald J. Popek, Charles S. Kline |
Issues in Kernel Design.  |
Advanced Course: Operating Systems  |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Deborah Downs, Gerald J. Popek |
A Kernel Design for a Secure Data Base Management System.  |
IEEE Database Eng. Bull.  |
1977 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Deborah Downs, Gerald J. Popek |
A Kernel Design for a Secure Data Base Management System.  |
VLDB  |
1977 |
DBLP BibTeX RDF |
|
| 1 | Gerald J. Popek |
On data secure computer networks.  |
Operating Systems Review  |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary E. Snuggs, Gerald J. Popek, Ronald J. Peterson |
Data Base System Objectives as Design Constraints.  |
DATA BASE  |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerald J. Popek, Charles S. Kline |
The PDP-11 Virtual Machine Architecture: A Case Study.  |
SOSP  |
1975 |
DBLP BibTeX RDF |
|
| 1 | Gerald J. Popek, Robert P. Goldberg |
Formal Requirements for Virtualizable Third Generation Architectures.  |
Commun. ACM  |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven B. Lipner, William A. Wulf, Roger R. Schell, Gerald J. Popek, Peter G. Neumann, Clark Weissman, Theodore A. Linden |
Security kernels.  |
AFIPS National Computer Conference  |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerald J. Popek, Charles S. Kline |
Verifiable secure operating system software.  |
AFIPS National Computer Conference  |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerald J. Popek, Robert P. Goldberg |
Formal Requirements for Virtualizable Third Generation Architectures.  |
SOSP  |
1973 |
DBLP BibTeX RDF |
|