| Cited by |
Paper title |
Year |
|---|
| 7821 |
Xen and the art of virtualization. |
2003 |
|---|
| 6924 |
The Google file system. |
2003 |
|---|
| 3843 |
Dynamo: amazon’s highly available key-value store. |
2007 |
|---|
| 3788 |
A Logic of Authentication. |
1989 |
|---|
| 2819 |
Implementing Remote Procedure Calls (Abstract). |
1983 |
|---|
| 2643 |
The Click modular router. |
1999 |
|---|
| 2569 |
Resilient Overlay Networks. |
2001 |
|---|
| 2208 |
Wide-Area Cooperative Storage with CFS. |
2001 |
|---|
| 2107 |
The UNIX Time-Sharing System (Abstract). |
1973 |
|---|
| 1983 |
SplitStream: high-bandwidth multicast in cooperative environments. |
2003 |
|---|
| 1937 |
The Design and Implementation of a Log-Structured File System. |
1991 |
|---|
| 1720 |
Storage Management and Caching in PAST, A Large-scale, Persistent Peer-to-peer Storage Utility. |
2001 |
|---|
| 1666 |
Weighted Voting for Replicated Data. |
1979 |
|---|
| 1508 |
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs. |
1997 |
|---|
| 1494 |
Disconnected Operation in the Coda File System. |
1991 |
|---|
| 1492 |
Managing Energy and Server Resources in Hosting Centres. |
2001 |
|---|
| 1468 |
Exokernel: An Operating System Architecture for Application-Level Resource Management. |
1995 |
|---|
| 1463 |
Real-Time Dynamic Voltage Scaling for Low-Power Embedded Operating Systems. |
2001 |
|---|
| 1456 |
Efficient Software-Based Fault Isolation. |
1993 |
|---|
| 1350 |
Extensibility, Safety and Performance in the SPIN Operating System. |
1995 |
|---|
| 1335 |
Terra: a virtual machine-based platform for trusted computing. |
2003 |
|---|
| 1313 |
Formal Requirements for Virtualizable Third Generation Architectures. |
1973 |
|---|
| 1282 |
seL4: formal verification of an OS kernel. |
2009 |
|---|
| 1213 |
Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System. |
1995 |
|---|
| 1193 |
Measurement, modeling, and analysis of a peer-to-peer file-sharing workload. |
2003 |
|---|
| 1147 |
Fine-Grained Mobility in the Emerald System |
1987 |
|---|
| 1135 |
SEDA: An Architecture for Well-Conditioned, Scalable Internet Services. |
2001 |
|---|
| 1101 |
A Low-Bandwidth Network File System. |
2001 |
|---|
| 1059 |
U-Net: A User-Level Network Interface for Parallel and Distributed Computing. |
1995 |
|---|
| 1026 |
Implementation and Performance of Munin. |
1991 |
|---|
| 993 |
Authentication in Distributed Systems: Theory and Practice. |
1991 |
|---|
| 987 |
On micro-Kernel Construction. |
1995 |
|---|
| 942 |
Agile Application-Aware Adaptation for Mobility. |
1997 |
|---|
| 917 |
The design and implementation of an intentional naming system. |
1999 |
|---|
| 877 |
Building Efficient Wireless Sensor Networks with Low-Level Naming. |
2001 |
|---|
| 856 |
Exploiting Virtual Synchrony in Distributed Systems. |
1987 |
|---|
| 849 |
Informed Prefetching and Caching. |
1995 |
|---|
| 823 |
Bullet: high bandwidth data dissemination using an overlay mesh. |
2003 |
|---|
| 797 |
Cluster-Based Scalable Network Services. |
1997 |
|---|
| 790 |
Measurements of a Distributed File System. |
1991 |
|---|
| 778 |
A Trace-Driven Analysis of the UNIX 4.2 BSD File System. |
1985 |
|---|
| 773 |
The multikernel: a new OS architecture for scalable multicore systems. |
2009 |
|---|
| 758 |
Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code. |
2001 |
|---|
| 721 |
RacerX: effective, static detection of race conditions and deadlocks. |
2003 |
|---|
| 710 |
Caching in the Sprite Network File System (Extended Abstract). |
1987 |
|---|
| 704 |
The HP AutoRAID Hierarchical Storage System. |
1995 |
|---|
| 698 |
Gravevine: An Exercise in Distributed Computing (summary). |
1981 |
|---|
| 693 |
On the scale and performance of cooperative Web proxy caching. |
1999 |
|---|
| 688 |
Performance debugging for distributed systems of black boxes. |
2003 |
|---|
| 677 |
Energy-aware adaptation for mobile applications. |
1999 |
|---|
| 663 |
VirtualPower: coordinated power management in virtualized enterprise systems. |
2007 |
|---|
| 659 |
CryptDB: protecting confidentiality with encrypted query processing. |
2011 |
|---|
| 655 |
Vigilante: end-to-end containment of internet worms. |
2005 |
|---|
| 647 |
Flexible Update Propagation for Weakly Consistent Replication. |
1997 |
|---|
| 645 |
SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes. |
2007 |
|---|
| 643 |
The LOCUS Distributed Operating System. |
1983 |
|---|
| 641 |
Continuous Profiling: Where Have All the Cycles Gone? |
1997 |
|---|
| 637 |
DISCO: Running Commodity Operating Systems on Scalable Multiprocessors. |
1997 |
|---|
| 632 |
Serverless Network File Systems. |
1995 |
|---|
| 631 |
Quincy: fair scheduling for distributed computing clusters. |
2009 |
|---|
| 625 |
Leases: An Efficient Fault-Tolerant Mechanism for Distributed File Cache Consistency. |
1989 |
|---|
| 612 |
Frangipani: A Scalable Distributed File System. |
1997 |
|---|
| 608 |
Semantic File Systems. |
1991 |
|---|
| 591 |
The Information Bus - An Architecture for Extensible Distributed Systems. |
1993 |
|---|
| 562 |
Lightweight Remote Procedure Call. |
1989 |
|---|
| 554 |
A Decentralized Model for Information Flow Control. |
1997 |
|---|
| 549 |
Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism. |
1991 |
|---|
| 542 |
Preemptable Remote Execution Facilities for the V-System. |
1985 |
|---|
| 539 |
Scheduling Independent Tasks to Reduce Mean Finishing Time (Extended Abstract). |
1973 |
|---|
| 533 |
RouteBricks: exploiting parallelism to scale software routers. |
2009 |
|---|
| 531 |
Some Deadlock Properties of Computer Systems. |
1971 |
|---|
| 529 |
Implementing Global Memory Management in a Workstation Cluster. |
1995 |
|---|
| 528 |
FAWN: a fast array of wimpy nodes. |
2009 |
|---|
| 516 |
Indeterminancy, Monitors, and Dataflow. |
1977 |
|---|
| 512 |
Windows Azure Storage: a highly available cloud storage service with strong consistency. |
2011 |
|---|
| 510 |
Fbufs: A High-Bandwidth Cross-Domain Transfer Facility. |
1993 |
|---|
| 493 |
Exploiting Process Lifetime Distributions for Dynamic Load Balancing. |
1995 |
|---|
| 493 |
Deciding when to forget in the Elephant file system. |
1999 |
|---|
| 491 |
Better I/O through byte-addressable, persistent memory. |
2009 |
|---|
| 487 |
The Performance ofµKernel-Based Systems. |
1997 |
|---|
| 470 |
Design and Verification of Secure Systems. |
1981 |
|---|
| 468 |
Experience with Processes and Monitors in Mesa (Summary). |
1979 |
|---|
| 464 |
Process Migration in DEMOS/MP. |
1983 |
|---|
| 462 |
Protection and the Control of Information Sharing in MULTICS. |
1973 |
|---|
| 462 |
Separating key management from file system security. |
1999 |
|---|
| 460 |
Accent: A Communication Oriented Network Operating System Kernel. |
1981 |
|---|
| 457 |
A Multiprogramming System for Control. |
1971 |
|---|
| 453 |
The Packet Filter: An Efficient Mechanism for User-level Network Code. |
1987 |
|---|
| 442 |
Synchronization with Eventcounts and Sequencers (Extended Abstract). |
1977 |
|---|
| 436 |
CPU Reservations and Time Constraints: Efficient, Predictable Scheduling of Independent Activities. |
1997 |
|---|
| 430 |
EROS: a fast capability system. |
1999 |
|---|
| 430 |
Improving the reliability of commodity operating systems. |
2003 |
|---|
| 425 |
Energy-efficient soft real-time CPU scheduling for mobile multimedia systems. |
2003 |
|---|
| 425 |
Information flow control for standard OS abstractions. |
2007 |
|---|
| 424 |
Replication in the Harp File System. |
1991 |
|---|
| 422 |
The Structuring of Systems Using Upcalls. |
1985 |
|---|
| 414 |
A NonStop Kernel. |
1981 |
|---|
| 410 |
Scalability, fidelity, and containment in the potemkin virtual honeyfarm. |
2005 |
|---|
| 409 |
Providing Location Information in a Ubiquitous Computing Environment. |
1993 |
|---|
| 404 |
Designing File Systems for Digital Video and Audio. |
1991 |
|---|
| 401 |
Process Control and Scheduling Issues for Multiprogrammed Shared-Memory Multiprocessors. |
1989 |
|---|
| 400 |
Discretized streams: fault-tolerant streaming computation at scale. |
2013 |
|---|
| 398 |
Implementing declarative overlays. |
2005 |
|---|
| 395 |
Don’t settle for eventual: scalable causal consistency for wide-area storage with COPS. |
2011 |
|---|
| 388 |
Zyzzyva: speculative byzantine fault tolerance. |
2007 |
|---|
| 387 |
Improving IPC by Kernel Design. |
1993 |
|---|
| 386 |
The Amber System: Parallel Programming on a Network of Multiprocessors. |
1989 |
|---|
| 385 |
Detecting large-scale system problems by mining console logs. |
2009 |
|---|
| 383 |
Application Performance and Flexibility on Exokernel Systems. |
1997 |
|---|
| 378 |
Implementing Atomic Actions on Decentralized Data. |
1979 |
|---|
| 378 |
A Message System Supporting Fault Tolerance. |
1983 |
|---|
| 378 |
Rover: A Toolkit for Mobile Information Access. |
1995 |
|---|
| 371 |
Borrowed-virtual-time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose schedular. |
1999 |
|---|
| 370 |
The ITC Distributed File System: Principles and Design. |
1985 |
|---|
| 370 |
The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System. |
1987 |
|---|
| 370 |
Hibernator: helping disk arrays sleep through the winter. |
2005 |
|---|
| 369 |
Authentication in the Taos Operating System. |
1993 |
|---|
| 369 |
The Flux OSKit: A Substrate for Kernel and Language Research. |
1997 |
|---|
| 367 |
The Design, Implementation and Evaluation of SMART: A Scheduler for Multimedia Applications. |
1997 |
|---|
| 366 |
Backtracking intrusions. |
2003 |
|---|
| 361 |
Extensible Security Architecture for Java. |
1997 |
|---|
| 360 |
Rx: treating bugs as allergies - a safe method to survive software failures. |
2005 |
|---|
| 357 |
Replication and Fault-Tolerance in the ISIS System. |
1985 |
|---|
| 353 |
RaceTrack: efficient detection of data race conditions via adaptive tracking. |
2005 |
|---|
| 351 |
Labels and event processes in the Asbestos operating system. |
2005 |
|---|
| 342 |
Exploiting Weak Connectivity for Mobile File Access. |
1995 |
|---|
| 337 |
Capriccio: scalable threads for internet services. |
2003 |
|---|
| 336 |
Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems. |
2005 |
|---|
| 335 |
The Zebra Striped Network File System. |
1993 |
|---|
| 335 |
CRL: High-Performance All-Software Distributed Shared Memory. |
1995 |
|---|
| 334 |
SHARP: an architecture for secure resource peering. |
2003 |
|---|
| 332 |
Hints for Computer System Design. |
1983 |
|---|
| 328 |
PeerReview: practical accountability for distributed systems. |
2007 |
|---|
| 325 |
Separating agreement from execution for byzantine fault tolerant services. |
2003 |
|---|
| 323 |
Reimplementing the Cedar File System Using Logging and Group Commit. |
1987 |
|---|
| 322 |
The Distributed V Kernel and its Performance for Diskless Workstations. |
1983 |
|---|
| 322 |
Detecting past and present intrusions through vulnerability-specific predicates. |
2005 |
|---|
| 320 |
A Hardware Architecture for Implementing Protection Rings (Abstract). |
1971 |
|---|
| 320 |
VAXclusters: A Closely-Coupled Distributed System (Abstract). |
1985 |
|---|
| 316 |
LOCUS - A Network Transparent, High Reliability Distributed System. |
1981 |
|---|
| 316 |
CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization. |
2011 |
|---|
| 310 |
A Comparative Analysis of Disk Scheduling Policies (Abstract). |
1971 |
|---|
| 308 |
Properties of the Working Set Model (Abstract). |
1971 |
|---|
| 307 |
Capturing, indexing, clustering, and retrieving system history. |
2005 |
|---|
| 306 |
Hypervisor-based Fault-tolerance. |
1995 |
|---|
| 305 |
Fault-scalable Byzantine fault-tolerant services. |
2005 |
|---|
| 298 |
File system usage in Windows NT 4.0. |
1999 |
|---|
| 294 |
Attacking the Process Migration Bottleneck. |
1987 |
|---|
| 291 |
Understanding the Limitations of Causally and Totally Ordered Communication. |
1993 |
|---|
| 291 |
Anticipatory scheduling: A disk scheduling framework to overcome deceptive idleness in synchronous I/O. |
2001 |
|---|
| 290 |
Optimistic Incremental Specialization: Streamlining a Commercial Operating System. |
1995 |
|---|
| 288 |
Network Objects. |
1993 |
|---|
| 287 |
Building a Robust Software-Based Router Using Network Processors. |
2001 |
|---|
| 285 |
Mirage: A Coherent Distributed Shared Memory Design. |
1989 |
|---|
| 285 |
Opening remarks. |
2005 |
|---|
| 282 |
Samsara: honor among thieves in peer-to-peer storage. |
2003 |
|---|
| 277 |
Automated Hoarding for Mobile Computers. |
1997 |
|---|
| 277 |
Naiad: a timely dataflow system. |
2013 |
|---|
| 275 |
Replicated Distributed Programs. |
1985 |
|---|
| 272 |
Sinfonia: a new paradigm for building scalable distributed systems. |
2007 |
|---|
| 271 |
ODR: output-deterministic replay for multicore debugging. |
2009 |
|---|
| 269 |
Performance of Firefly RPC. |
1989 |
|---|
| 265 |
Protocol Service Decomposition for High-Performance Networking. |
1993 |
|---|
| 263 |
Mesh Based Content Routing using XML. |
2001 |
|---|
| 263 |
BAR fault tolerance for cooperative services. |
2005 |
|---|
| 261 |
Secure web application via automatic partitioning. |
2007 |
|---|
| 261 |
Automatically patching errors in deployed software. |
2009 |
|---|
| 260 |
Transactional storage for geo-replicated systems. |
2011 |
|---|
| 255 |
The Impact of Operating System Structure on Memory System Performance. |
1993 |
|---|
| 254 |
Interposition Agents: Transparently Interposing User Code at the System Interface. |
1993 |
|---|
| 252 |
IRON file systems. |
2005 |
|---|
| 245 |
Performing Remore Operations Efficiently on a Local Computer Network (Summary). |
1981 |
|---|
| 242 |
PUBLISHING: A Reliable Broadcast Communication Mechanism. |
1983 |
|---|
| 241 |
Thoth, a Portable Real-Time Operating System (Extended Abstract). |
1977 |
|---|
| 237 |
Model-carrying code: a practical approach for safe execution of untrusted applications. |
2003 |
|---|
| 237 |
Implementing an untrusted operating system on trusted hardware. |
2003 |
|---|
| 233 |
Scheduling and IPC Mechanisms for Continuous Media. |
1991 |
|---|
| 231 |
Fast crash recovery in RAMCloud. |
2011 |
|---|
| 230 |
The Impact of Architectural Trends on Operating System Performance. |
1995 |
|---|
| 228 |
Using Continuations to Implement Thread Management and Communication in Operating Systems. |
1991 |
|---|
| 228 |
PRES: probabilistic replay with execution sketching on multiprocessors. |
2009 |
|---|
| 227 |
TENEX, a Paged Time Sharing System for the PDP-10 (Abstract). |
1971 |
|---|
| 226 |
System Support for Automated Profiling and Optimization. |
1997 |
|---|
| 222 |
Lightweight Recoverable Virtual Memory. |
1993 |
|---|
| 220 |
Using Idle Workstations in a Shared Computing Environment. |
1987 |
|---|
| 220 |
SILT: a memory-efficient, high-performance key-value store. |
2011 |
|---|
| 219 |
Improving the Performance of Log-Structured File Systems with Adaptive Methods. |
1997 |
|---|
| 219 |
An Empirical Study of Operating System Errors. |
2001 |
|---|
| 218 |
Medusa: An Experiment in Distributed Operating System Structure (Summary). |
1979 |
|---|
| 214 |
FS2: dynamic data replication in free disk space for improving disk performance and energy consumption. |
2005 |
|---|
| 213 |
Pilot: An Operating System for a Personal Computer (Summary). |
1979 |
|---|
| 213 |
Cashmere-2L: Software Coherent Shared Memory on a Clustered Remote-Write Network. |
1997 |
|---|
| 210 |
Cells: a virtual mobile smartphone architecture. |
2011 |
|---|
| 206 |
User-level internet path diagnosis. |
2003 |
|---|
| 204 |
Subcontract: A Flexible Base for Distributed Programming. |
1993 |
|---|
| 203 |
X-Stream: edge-centric graph processing using streaming partitions. |
2013 |
|---|
| 202 |
A Study of File Sizes and Functional Lifetimes. |
1981 |
|---|
| 201 |
Simple But Effective Techniques for NUMA Memory Management. |
1989 |
|---|
| 201 |
Dthreads: efficient deterministic multithreading. |
2011 |
|---|
| 198 |
Implementation of Argus. |
1987 |
|---|
| 198 |
Reducing Risks from Poorly Chosen Keys. |
1989 |
|---|
| 196 |
The Implications of Cache Affinity on Processor Scheduling for Multiprogrammed, Shared Memory Multiprocessors. |
1991 |
|---|
| 196 |
The interactive performance of SLIM: a stateless, thin-client architecture. |
1999 |
|---|
| 192 |
Sparrow: distributed, low latency scheduling. |
2013 |
|---|
| 191 |
Primitives for Distributed Computing. |
1979 |
|---|
| 191 |
Hive: Fault Containment for Shared-Memory Multiprocessors. |
1995 |
|---|
| 191 |
Information and Control in Gray-Box Systems. |
2001 |
|---|
| 190 |
Policy/Mechanism Separation in HYDRA. |
1975 |
|---|
| 190 |
Attested append-only memory: making adversaries stick to their word. |
2007 |
|---|
| 189 |
Empirical Studies of Competitive Spinning for a Shared-Memory Multiprocessor. |
1991 |
|---|
| 189 |
Protection and communication abstractions for web browsers in MashupOS. |
2007 |
|---|
| 188 |
A Distributed File Service Based on Optimistic Concurrency Control. |
1985 |
|---|
| 185 |
Threads and Input/Output in the Synthesis Kernel. |
1989 |
|---|
| 184 |
StarOS, a Multiprocessor Operating System for the Support of Task Forces. |
1979 |
|---|
| 184 |
BASE: Using Abstraction to Improve Fault Tolerance. |
2001 |
|---|
| 184 |
Connections: using context to enhance file search. |
2005 |
|---|
| 184 |
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. |
2007 |
|---|
| 183 |
Experience with Grapevine: The Growth of a Distributed System (Summary). |
1983 |
|---|
| 182 |
Synchronization of Communicating Processes (Abstract). |
1971 |
|---|
| 182 |
The Logical Disk: A New Approach to Improving File Systems. |
1993 |
|---|
| 182 |
Helios: heterogeneous multiprocessing with satellite kernels. |
2009 |
|---|
| 181 |
Task Communication in DEMOS. |
1977 |
|---|
| 180 |
Protection in the HYDRA Operating System. |
1975 |
|---|
| 179 |
Debugging in the (very) large: ten years of implementation and experience. |
2009 |
|---|
| 178 |
Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors. |
1999 |
|---|
| 177 |
Manageability, Availability and Performance in Porcupine: A Highly Scalable, Cluster-based Mail Service. |
1999 |
|---|
| 176 |
801 Storage: Architecture and Programming |
1987 |
|---|
| 174 |
PTask: operating system abstractions to manage GPUs as compute devices. |
2011 |
|---|
| 172 |
Improving application security with data flow assertions. |
2009 |
|---|
| 168 |
A Comment on the Confinement Problem. |
1975 |
|---|
| 167 |
Consistency and Recovery Control for Replicated Files. |
1985 |
|---|
| 165 |
The Implementation of a Coherent Memory Abstraction on a NUMA Multiprocessor: Experiences with PLATINUM. |
1989 |
|---|
| 165 |
THINC: a virtual display architecture for thin-client computing. |
2005 |
|---|
| 157 |
Bouncer: securing software by blocking bad input. |
2007 |
|---|
| 156 |
Generic Virtual Memory Management for Operating System Kernels. |
1989 |
|---|
| 155 |
Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract). |
1979 |
|---|
| 153 |
Building reliable, high-performance communication systems from components. |
1999 |
|---|
| 152 |
Information Transmission in Computational Systems. |
1977 |
|---|
| 152 |
Upright cluster services. |
2009 |
|---|
| 150 |
A lightweight infrastructure for graph analytics. |
2013 |
|---|
| 149 |
The Costs and Limits of Availability for Replicated Services. |
2001 |
|---|
| 149 |
Preserving peer replicas by rate-limited sampled voting. |
2003 |
|---|
| 149 |
TxLinux: using and managing hardware transactional memory in an operating system. |
2007 |
|---|
| 149 |
Distributed aggregation for data-parallel computing: interfaces and implementations. |
2009 |
|---|
| 148 |
The Integration of Virtual Memory Management and Interprocess Communication in Accent (Abstract). |
1985 |
|---|
| 145 |
RPC in the x-Kernel: Evaluating New Design Techniques. |
1989 |
|---|
| 143 |
Design and implementation of a distributed virtual machine for networked computers. |
1999 |
|---|
| 142 |
An empirical study on configuration errors in commercial and open source systems. |
2011 |
|---|
| 141 |
Proving Real-Time Properties of Programs with Temporal Logic. |
1981 |
|---|
| 141 |
Triage: diagnosing production run failures at the user’s site. |
2007 |
|---|
| 140 |
WSClock - A Simple and Effective Algorithm for Virtual Memory Management. |
1981 |
|---|
| 139 |
Distributed Schedule Management in the Tiger Video Fileserver. |
1997 |
|---|
| 137 |
Managing Stored Voice in the Etherphone System (Extended Abstract). |
1987 |
|---|
| 137 |
The taser intrusion recovery system. |
2005 |
|---|
| 136 |
On Protection in Operating System. |
1975 |
|---|
| 135 |
Automatic Reconfiguration in Autonet. |
1991 |
|---|
| 134 |
The Portable Common Runtime Approach to Interoperability. |
1989 |
|---|
| 134 |
Integrating segmentation and paging protection for safe, efficient and transparent software extensions. |
1999 |
|---|
| 134 |
Fast byte-granularity software fault isolation. |
2009 |
|---|
| 133 |
The Design of the Venus Operating System. |
1971 |
|---|
| 130 |
Consistency and Correctness of Duplicate Database Systems. |
1977 |
|---|
| 130 |
Secure virtual architecture: a safe execution environment for commodity operating systems. |
2007 |
|---|
| 129 |
Proving Multilevel Security of a System Design. |
1977 |
|---|
| 129 |
Speedy transactions in multicore in-memory databases. |
2013 |
|---|
| 128 |
A High Performance Multi-Structured File System Design. |
1991 |
|---|
| 126 |
AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applications. |
2007 |
|---|
| 126 |
Consistency-based service level agreements for cloud storage. |
2013 |
|---|
| 125 |
The Cambridge CAP Computer and its Protection System. |
1977 |
|---|
| 125 |
Free Transactions With Rio Vista. |
1997 |
|---|
| 125 |
Breaking up is hard to do: security and functionality in a commodity hypervisor. |
2011 |
|---|
| 123 |
Polynomial Complete Scheduling Problems. |
1973 |
|---|
| 122 |
The Architecture of the Eden System. |
1981 |
|---|
| 121 |
Untrusted Hosts and Confidentiality: Secure Program Partitioning. |
2001 |
|---|
| 120 |
Extensible File Systems in Spring. |
1993 |
|---|
| 120 |
AutoBash: improving configuration management with operating system causality analysis. |
2007 |
|---|
| 117 |
A Comparison of Two Network-Based File Servers. |
1981 |
|---|
| 117 |
Scale and Performance in a Distributed File System (Extended Abstract). |
1987 |
|---|
| 117 |
Speculative execution in a distributed file system. |
2005 |
|---|
| 116 |
Everything you always wanted to know about synchronization but were afraid to ask. |
2013 |
|---|
| 115 |
Evaluating Synchronization Mechanisms. |
1979 |
|---|
| 115 |
A Caching File System For a Programmer’s Workstation. |
1985 |
|---|
| 114 |
The Behavior of Ethernet-Like Computer Communication Networks. |
1979 |
|---|
| 113 |
Supporting Distributed Applications: Experience with Eden. |
1985 |
|---|
| 113 |
Object and Native Code Thread Mobility Among Heterogeneous Computers. |
1995 |
|---|
| 111 |
Fabric: a platform for secure distributed computation and storage. |
2009 |
|---|
| 107 |
/icomment: bugs or bad comments?/. |
2007 |
|---|
| 107 |
Scalable consistency in Scatter. |
2011 |
|---|
| 106 |
Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility. |
1987 |
|---|
| 105 |
The ROSCOE Distributed Operating System. |
1979 |
|---|
| 105 |
Cryptographic Sealing for Information Secrecy and Authentication (Summary). |
1981 |
|---|
| 105 |
Soft timers: efficient microsecond software timer support for network processing. |
1999 |
|---|
| 105 |
Tolerating byzantine faults in transaction processing systems using commit barrier scheduling. |
2007 |
|---|
| 104 |
Low-overhead byzantine fault-tolerant storage. |
2007 |
|---|
| 101 |
Mondrix: memory isolation for linux using mondriaan memory protection. |
2005 |
|---|
| 101 |
SPANStore: cost-effective geo-replicated storage spanning multiple cloud services. |
2013 |
|---|
| 99 |
The MULTICS Input/Output System. |
1971 |
|---|
| 98 |
The Multics Kernel Design Project. |
1977 |
|---|
| 98 |
The Transfer of Information and Authority in a Protection System. |
1979 |
|---|
| 97 |
A Nested Transaction Mechanism for LOCUS. |
1983 |
|---|
| 97 |
IOFlow: a software-defined storage architecture. |
2013 |
|---|
| 96 |
An Open Operating System for a Single-User Machine. |
1979 |
|---|
| 96 |
Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits. |
1981 |
|---|
| 96 |
A file is not a file: understanding the I/O behavior of Apple desktop applications. |
2011 |
|---|
| 94 |
Experience with Transactions in QuickSilver. |
1991 |
|---|
| 94 |
Automatic device driver synthesis with termite. |
2009 |
|---|
| 94 |
Tolerating hardware device failures in software. |
2009 |
|---|
| 94 |
The scalable commutativity rule: designing scalable software for multicore processors. |
2013 |
|---|
| 93 |
Log Files: An Extended File Service Exploiting Write-Once Storage. |
1987 |
|---|
| 93 |
Progress-based regulation of low-importance processes. |
1999 |
|---|
| 92 |
Integrating concurrency control and energy management in device drivers. |
2007 |
|---|
| 91 |
Fast Fits. |
1983 |
|---|
| 88 |
WFS: A Simple Shared File System for a Distributed Environment. |
1979 |
|---|
| 88 |
There is more consensus in Egalitarian parliaments. |
2013 |
|---|
| 88 |
An analysis of Facebook photo caching. |
2013 |
|---|
| 86 |
A Study of Storage Partitioning Using a Mathematical Model (Abstract). |
1971 |
|---|
| 86 |
Transaction chains: achieving serializability with low latency in geo-distributed storage systems. |
2013 |
|---|
| 83 |
Limitations of Dijkstra’s Semaphore Primitives and Petri Nets. |
1973 |
|---|
| 83 |
HAC: Hybrid Adaptive Caching for Distributed Storage Systems. |
1997 |
|---|
| 82 |
Overview of the HYDRA Operating System Development. |
1975 |
|---|
| 82 |
Synchronization Primitives for a Multiprocessor: A Formal Specification. |
1987 |
|---|
| 81 |
An Architecture for Large Scale Information Systems. |
1985 |
|---|
| 81 |
Differentiated storage services. |
2011 |
|---|
| 79 |
Distributed Transactions for Reliable Systems. |
1985 |
|---|
| 79 |
Transforming policies into mechanisms with infokernel. |
2003 |
|---|
| 76 |
A Simple and Efficient Implementation for Small Databases. |
1987 |
|---|
| 76 |
Concurrent Compacting Garbage Collection of a Persistent Heap. |
1993 |
|---|
| 76 |
Towards Transparent and Efficient Software Distributed Shared Memory. |
1997 |
|---|
| 76 |
Staged deployment in mirage, an integrated software upgrade testing and distribution system. |
2007 |
|---|
| 75 |
Some Constraints and Tradeoffs in the Design of Network Communications. |
1975 |
|---|
| 75 |
A New Page Table for 64-bit Address Spaces. |
1995 |
|---|
| 75 |
Efficient deterministic multithreading through schedule relaxation. |
2011 |
|---|
| 74 |
The Measured Performance of Personal Computer Operating Systems. |
1995 |
|---|
| 74 |
Secure network provenance. |
2011 |
|---|
| 74 |
From L3 to seL4 what have we learnt in 20 years of L4 microkernels? |
2013 |
|---|
| 72 |
Protection Traps and Alternatives for Memory Management of an Object-Oriented Language. |
1993 |
|---|
| 70 |
Software fault isolation with API integrity and multi-principal modules. |
2011 |
|---|
| 69 |
The Robustness of NUMA Memory Management. |
1991 |
|---|
| 69 |
Performance Assertion Checking. |
1993 |
|---|
| 69 |
DejaView: a personal virtual computer recorder. |
2007 |
|---|
| 68 |
Spritely NFS: Experiments with Cache-Consistency Protocols. |
1989 |
|---|
| 68 |
Decentralized user authentication in a global file system. |
2003 |
|---|
| 68 |
Verifying computations with state. |
2013 |
|---|
| 67 |
A Study of Program Locality and Lifetime Functions. |
1975 |
|---|
| 67 |
EMERALDS: a small-memory real-time microkernel. |
1999 |
|---|
| 67 |
Towards optimization-safe systems: analyzing the impact of undefined behavior. |
2013 |
|---|
| 66 |
The instrumentation of multics. |
1969 |
|---|
| 66 |
Tango: distributed data structures over a shared log. |
2013 |
|---|
| 65 |
Surviving sensor network software faults. |
2009 |
|---|
| 64 |
The multics virtual memory. |
1969 |
|---|
| 64 |
Dandelion: a compiler and runtime for heterogeneous systems. |
2013 |
|---|
| 63 |
Optimistic crash consistency. |
2013 |
|---|
| 62 |
The Enforcement of Security Policies for Computation. |
1975 |
|---|
| 62 |
Analysis of Transaction Management Performance. |
1989 |
|---|
| 62 |
Upgrading transport protocols using untrusted mobile code. |
2003 |
|---|
| 61 |
Fay: extensible distributed tracing from kernels to clusters. |
2011 |
|---|
| 61 |
Logical attestation: an authorization architecture for trustworthy computing. |
2011 |
|---|
| 60 |
The DEMOS File System. |
1977 |
|---|
| 60 |
Resource Management In A Decentralized System. |
1983 |
|---|
| 59 |
Idletime scheduling with preemption intervals. |
2005 |
|---|
| 59 |
Improving file system reliability with I/O shepherding. |
2007 |
|---|
| 58 |
A Client-Based Transaction System to Maintain Data Integrity. |
1979 |
|---|
| 57 |
Detecting and surviving data races using complementary schedules. |
2011 |
|---|
| 57 |
From ARIES to MARS: transaction support for next-generation, solid-state drives. |
2013 |
|---|
| 56 |
On the Synthesis and Analysis of Protection Systems. |
1977 |
|---|
| 56 |
Reliable Object Storage to Support Atomic Actions. |
1985 |
|---|
| 55 |
Using Threads in Interactive Systems: A Case Study. |
1993 |
|---|
| 54 |
Handling Audio and Video Streams in a Distributed Environment. |
1993 |
|---|
| 53 |
Systems Aspects of the Cambridge Ring. |
1979 |
|---|
| 53 |
A Reliable Object-Oriented Data Repository for a Distributed Computer System. |
1981 |
|---|
| 53 |
iMAX: A Multiprocessor Operating System for an Object-Based Computer. |
1981 |
|---|
| 53 |
Generalized file system dependencies. |
2007 |
|---|
| 52 |
E2: a framework for NFV applications. |
2015 |
|---|
| 51 |
Design implications for enterprise storage systems via multi-dimensional trace analysis. |
2011 |
|---|
| 51 |
Parrot: a practical runtime for deterministic, stable, and reliable threads. |
2013 |
|---|
| 50 |
Scheduling Partially Ordered Tasks with Probabilistic Execution Times. |
1975 |
|---|
| 50 |
Performance of Cache Coherence in Stackable Filing. |
1995 |
|---|
| 50 |
Practical software model checking via dynamic interface reduction. |
2011 |
|---|
| 48 |
Exploiting the Non-Determinism and Asynchrony of Set Iterators to Reduce Aggregate File I/O Latency. |
1997 |
|---|
| 48 |
RaceMob: crowdsourced data race detection. |
2013 |
|---|
| 48 |
Fast in-memory transaction processing using RDMA and HTM. |
2015 |
|---|
| 48 |
No compromises: distributed transactions with consistency, availability, and performance. |
2015 |
|---|
| 47 |
Engineering a Security Kernel for Multics. |
1975 |
|---|
| 47 |
METRIC: A Kernel Instrumentation System for Distributed Environments. |
1977 |
|---|
| 47 |
Detecting failures in distributed systems with the Falcon spy network. |
2011 |
|---|
| 45 |
Measurements of segment size. |
1969 |
|---|
| 45 |
Performance monitors for multi-programming systems. |
1969 |
|---|
| 45 |
A Real-time Upcall Facility for Protocol Processing with QoS Guarantees. |
1995 |
|---|
| 45 |
Using Crash Hoare logic for certifying the FSCQ file system. |
2015 |
|---|
| 44 |
The multics interprocess communication facility. |
1969 |
|---|
| 44 |
Virtual Terminal Management in a Multiple Process Environment. |
1979 |
|---|
| 44 |
A Name Service for Evolving, Heterogeneous Systems. |
1987 |
|---|
| 44 |
Do not blame users for misconfigurations. |
2013 |
|---|
| 43 |
A Distributed UNIX System Based on a Virtual Circuit Switch. |
1981 |
|---|
| 43 |
Thialfi: a client notification service for internet-scale applications. |
2011 |
|---|
| 43 |
IronFleet: proving practical distributed systems correct. |
2015 |
|---|
| 42 |
Active network vision and reality: lessions form a capsule-based system. |
1999 |
|---|
| 41 |
BRUWIN: An Adaptable Design Strategy for Window Manager / Virtual Terminal Systems. |
1981 |
|---|
| 41 |
Low-Synchronization Translation Lookaside Buffer Consistency in Large-Scale Shared-Memory Multiprocessors. |
1989 |
|---|
| 40 |
“Process management and resource sharing in the multiaccess system “”ESOPE””. “ |
1969 |
|---|
| 39 |
VirtuOS: an operating system with kernel virtualization. |
2013 |
|---|
| 36 |
The iMAX-432 Object Filing System. |
1981 |
|---|
| 36 |
Timecard: controlling user-perceived delays in server-based mobile applications. |
2013 |
|---|
| 36 |
Chaos: scale-out graph processing from secondary storage. |
2015 |
|---|
| 35 |
Replication, history, and grafting in the Ori file system. |
2013 |
|---|
| 33 |
The Network Unix System. |
1975 |
|---|
| 33 |
The PDP-11 Virtual Machine Architecture: A Case Study. |
1975 |
|---|
| 33 |
An Asymmetric Stream Communication System. |
1983 |
|---|
| 33 |
Modular data storage with Anvil. |
2009 |
|---|
| 33 |
Intrusion recovery for database-backed web applications. |
2011 |
|---|
| 32 |
A Highly Available, Scalable ITV System. |
1995 |
|---|
| 31 |
The Cap Filing System. |
1977 |
|---|
| 30 |
A Domain Structure for Distributed Computer Systems. |
1977 |
|---|
| 29 |
Building consistent transactions with inconsistent replication. |
2015 |
|---|
| 28 |
Atlantis: robust, extensible execution environments for web applications. |
2011 |
|---|
| 28 |
Vuvuzela: scalable private messaging resistant to traffic analysis. |
2015 |
|---|
| 27 |
Measurement and performance of a multiprogramming system. |
1969 |
|---|
| 27 |
An Operating System Based on the Concept of a Supervisory Computer (Abstract). |
1971 |
|---|
| 27 |
Transactions and Synchronization in a Distributed Operating System. |
1985 |
|---|
| 27 |
Arabesque: a system for distributed graph mining. |
2015 |
|---|
| 27 |
Pivot tracing: dynamic causal monitoring for distributed systems. |
2015 |
|---|
| 26 |
Online System Performance Measurements with Software and Hybrid Monitors. |
1973 |
|---|
| 26 |
Measurements of Sharing in Multics. |
1977 |
|---|
| 26 |
A Unified Model and Implementation for Interprocess Communication in a Multiprocessor Environment. |
1981 |
|---|
| 25 |
A Concurrent Algorithm for Avoiding Deadlocks. |
1971 |
|---|
| 25 |
An Experimental Implementation on the Kernel/Domain Architecture. |
1973 |
|---|
| 25 |
Process Backup in Producer-Consumer Systems. |
1977 |
|---|
| 25 |
The S/Net’s Linda Kernel (extended abstract). |
1985 |
|---|
| 25 |
Time-Function Scheduling: A General Approach To Controllable Resource Management. |
1995 |
|---|
| 24 |
Experimental Data on How Program Behavior Affects the Choice of Scheduler Parameters. |
1971 |
|---|
| 24 |
The Dependence of Computer System Queues upon Processing Time Distribution and Central Processor Scheduling. |
1971 |
|---|
| 24 |
Compiler Directed Memory Management Policy For Numerical Programs. |
1985 |
|---|
| 24 |
Keynote speech. |
2005 |
|---|
| 24 |
High-performance ACID via modular concurrency control. |
2015 |
|---|
| 23 |
Bounds on Scheduling with Limited Resources. |
1973 |
|---|
| 23 |
The CAP Project - An Interim Evaluation. |
1977 |
|---|
| 23 |
Logged Virtual Memory. |
1995 |
|---|
| 22 |
Sharing Data and Services in a Virtual Machine System. |
1975 |
|---|
| 22 |
Implementing linearizability at large scale and low latency. |
2015 |
|---|
| 21 |
An Operating System for Computer Resource Sharing. |
1975 |
|---|
| 21 |
Hierarchical Take-Grant Protection Systems. |
1981 |
|---|
| 21 |
Existential consistency: measuring and understanding consistency at Facebook. |
2015 |
|---|
| 20 |
Two approaches for measuring the performance of time-sharing systems. |
1969 |
|---|
| 20 |
Process Synchronization without Long-Term Interlock. |
1971 |
|---|
| 20 |
A Lazy Buddy System Bounded by Two Coalescing Delays per Class. |
1989 |
|---|
| 20 |
Improving the Efficiency of UNIX File Buffer Caches. |
1989 |
|---|
| 19 |
Machine independent software. |
1969 |
|---|
| 19 |
Short Term Scheduling in Multiprogramming Systems. |
1971 |
|---|
| 19 |
Reflections on the Verification of the Security of an Operating System Kernel. |
1983 |
|---|
| 19 |
Using Annotated Interface Definitions to Optimize RPC. |
1995 |
|---|
| 19 |
Pervasive detection of process races in deployed systems. |
2011 |
|---|
| 19 |
JouleGuard: energy guarantees for approximate applications. |
2015 |
|---|
| 18 |
Theory and practice in operating system design. |
1969 |
|---|
| 17 |
The Case for Capability-Based Computers. |
1973 |
|---|
| 17 |
Variable-Length Capabilities as a Solution to the Small-Object Problem. |
1979 |
|---|
| 17 |
Holistic configuration management at Facebook. |
2015 |
|---|
| 17 |
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems. |
2015 |
|---|
| 17 |
Coz: finding code that counts with causal profiling. |
2015 |
|---|
| 16 |
An Approach to System Correctness. |
1971 |
|---|
| 16 |
Formal Properties of Recursive Virtual Machine Architectures. |
1975 |
|---|
| 16 |
Yesquel: scalable sql storage for web applications. |
2015 |
|---|
| 15 |
The role of motherhood in the pop art of system programming. |
1969 |
|---|
| 15 |
A Multi-Microprocessor Computer System Architecture. |
1975 |
|---|
| 15 |
A File System Supporting Cooperation between Programs. |
1983 |
|---|
| 15 |
Heat-ray: combating identity snowball attacks using machinelearning, combinatorial optimization and attack graphs. |
2009 |
|---|
| 15 |
ROOT: replaying multithreaded traces with resource-oriented ordering. |
2013 |
|---|
| 15 |
Read-log-update: a lightweight synchronization mechanism for concurrent programming. |
2015 |
|---|
| 14 |
On the Structure and Control of Commands. |
1973 |
|---|
| 14 |
On the Propability of Deadlock in Computer Systems. |
1973 |
|---|
| 14 |
On Reference String Generation Processes. |
1973 |
|---|
| 14 |
Selecting a Scheduling Rule that Meets Pre-Specified Response Time Demands. |
1975 |
|---|
| 14 |
Automatic and General Solution to the Adaption of Programs in a Paging Environment. |
1977 |
|---|
| 14 |
Computation&Communication in R*: A Distributed Database Manager (Extended Abstract). |
1983 |
|---|
| 14 |
Exploiting Read-Mostly Workloads in The FileNet File System. |
1989 |
|---|
| 14 |
SMART: A Processor Scheduler for Multimedia Applications. |
1995 |
|---|
| 14 |
Failure sketching: a technique for automated root cause diagnosis of in-production failures. |
2015 |
|---|
| 13 |
A program simulator by partial interpretation. |
1969 |
|---|
| 13 |
Strategies for structuring two level memories in a paging environment. |
1969 |
|---|
| 13 |
A Data-Flow Approach to Multitasking ob CRAY X-MP Compputers. |
1985 |
|---|
| 13 |
Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs. |
2015 |
|---|
| 12 |
An Analysis of the Performance of the Page Fault Frequency (PFF) Replacement Algorithm. |
1975 |
|---|
| 12 |
Analysis of Demand Paging Policies with Swapped Working Sets. |
1977 |
|---|
| 12 |
Observations on the Development of an Operating System. |
1981 |
|---|
| 12 |
Paxos made transparent. |
2015 |
|---|
| 11 |
Process control and communication. |
1969 |
|---|
| 11 |
Structure of multiple activity algorithms. |
1969 |
|---|
| 11 |
Models of Memory Scheduling. |
1975 |
|---|
| 11 |
Beyond Concurrent Pascal. |
1977 |
|---|
| 11 |
Parallelizing user-defined aggregations using symbolic execution. |
2015 |
|---|
| 10 |
A Page Allocation Strategy for Multiprogramming Systems with Virtual Memory. |
1973 |
|---|
| 10 |
Cross-checking semantic correctness: the case of finding file system bugs. |
2015 |
|---|
| 10 |
Split-level I/O scheduling. |
2015 |
|---|
| 9 |
Multiprogramming in a small-systems environment. |
1969 |
|---|
| 9 |
The UTS time-sharing system: performance analysis and instrumentation. |
1969 |
|---|
| 9 |
Handling Difficult Faults in Operating Systems. |
1971 |
|---|
| 9 |
Interprocess Communication in Real-Time Systems. |
1973 |
|---|
| 9 |
Dynamic Storage Partitioning. |
1973 |
|---|
| 9 |
Error Resynchronization in Producer-Consumer Systems. |
1975 |
|---|
| 9 |
The Performance of the Container Shipping I/O System. |
1995 |
|---|
| 9 |
Opportunistic storage maintenance. |
2015 |
|---|
| 9 |
Software defined batteries. |
2015 |
|---|
| 8 |
Basic I/O handling on burroughs B6500. |
1969 |
|---|
| 8 |
Simulation Studies of a Virtual Memory, Time Shared, Demand Paging Operating System. |
1971 |
|---|
| 8 |
Optimal Folding of a Paging Drum in a Three Level Memory System. |
1973 |
|---|
| 8 |
ARGOS: An Operating System for a Computer Utility Supporting Interactive Instrument Control. |
1973 |
|---|
| 8 |
MERT - A Multi-Environment Real-Time Operating System. |
1975 |
|---|
| 8 |
Architecture of a Real-Time Operating System. |
1975 |
|---|
| 8 |
How to Evaluate Page Replacement Algorithms. |
1975 |
|---|
| 8 |
Autonomous Replication Across Wide-Area Internetworks. |
1995 |
|---|
| 8 |
Asynchronous intrusion recovery for interconnected web services. |
2013 |
|---|
| 7 |
HELPER: an interactive extensible debugging system. |
1969 |
|---|
| 7 |
Complementary replacement: a meta scheduling principle. |
1969 |
|---|
| 7 |
An Algorithm for Drum Storage Management in Time-Sharing Systems. |
1971 |
|---|
| 7 |
A Task Scheduling Algorithm for a Multiprogramming Computer System. |
1973 |
|---|
| 7 |
Analysis of a Level Algorithm for Preemptive Scheduling. |
1975 |
|---|
| 7 |
Effect of Program Localities on Memory Management Strategies. |
1977 |
|---|
| 7 |
The TRIPOS Filing Machine, a Front End to a File Server. |
1983 |
|---|
| 7 |
Operating systems transactions. |
2009 |
|---|
| 6 |
Computational Processor Demands of Algol-60 Programs. |
1975 |
|---|
| 6 |
Modelling and Analysis of Distributed Software Systems. |
1979 |
|---|
| 6 |
Distributed Simulation and the Time Wrap Operating System. |
1987 |
|---|
| 6 |
How to get more value from your file system directory cache. |
2015 |
|---|
| 6 |
Virtual CPU validation. |
2015 |
|---|
| 5 |
The system design cycle. |
1969 |
|---|
| 5 |
Optimal segmentation points for programs. |
1969 |
|---|
| 5 |
Basic time-sharing: a system of computing principles. |
1969 |
|---|
| 5 |
Process Selection in an Hierarchical Operating System. |
1971 |
|---|
| 5 |
Dynamic Linking and Environment Initialization in a Multi-Domain Process. |
1975 |
|---|
| 5 |
In Support of Domain Structure for Operating Systems. |
1979 |
|---|
| 5 |
Sequencing Computation Steps in a Network. |
1981 |
|---|
| 5 |
Fast dynamic binary translation for the kernel. |
2013 |
|---|
| 4 |
A Mechanism for Information Control in Parallel Systems. |
1979 |
|---|
| 3 |
The structure of the ILLIAC IV operating system. |
1969 |
|---|
| 2 |
Extensible Data Features in the Operating System Language OSL/2. |
1971 |
|---|
| 2 |
Multiprocessor Self Diagnosis, Surgery, and Recovery in Air Traffic Control. |
1973 |
|---|
| 2 |
Polyvalues: A Tool for Implementing Atomic Updates to Distributed Data. |
1979 |
|---|
| 1 |
Storage Reallocation in Hierarchical Associative Memories. |
1971 |
|---|
| 1 |
Drowsy power management. |
2015 |
|---|
| 0 |
Random Arrival and the MTPT Drum Scheduling Discipline. |
1973 |
|---|
| 0 |
A Virtual Machine Emulator for Performance Evaluation (Summary). |
1979 |
|---|
| 0 |
The Felix File System. |
1981 |
|---|
| 0 |
Recovery Management in QuickSilver (Extended Abstract). |
1987 |
|---|
| 0 |
First-Class User-Level Theads. |
1991 |
|---|
| 0 |
Using a Modified Object Buffer to Improve the Write Performance of an Object-Oriented Database. |
1995 |
|---|