An Empirical Study of Distributed Application Performance
IEEE Transactions on Software Engineering
File access performance of diskless workstations
ACM Transactions on Computer Systems (TOCS)
Cache coherence protocols: evaluation using a multiprocessor simulation model
ACM Transactions on Computer Systems (TOCS)
UIO: a uniform I/O system interface for distributed systems
ACM Transactions on Computer Systems (TOCS)
The C programming language
Designing a global name service
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Memory coherence in shared virtual memory systems
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Software-controlled caches in the VMP multiprocessor
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
VMTP: a transport protocol for the next generation of communication systems
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Network measurement of the VMTP request-response protocol in the V distributed system
SIGMETRICS '87 Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Firefly: a multiprocessor workstation
ASPLOS II Proceedings of the second international conference on Architectual support for programming languages and operating systems
Log files: an extended file service exploiting write-once storage
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Host groups: a multicast extension for datagram internetworks
SIGCOMM '85 Proceedings of the ninth symposium on Data communications
Performance of the V storage server: a preliminary report
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Preemptable remote execution facilities for the V-system
Proceedings of the tenth ACM symposium on Operating systems principles
Structured Graphics for Distributed Systems
ACM Transactions on Graphics (TOG)
Thoth, a portable real-time operating system
Communications of the ACM
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
The Thoth System
Local networking and internetworking in the V-system
SIGCOMM '83 Proceedings of the eighth symposium on Data communications
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
WFS a simple shared file system for a distributed environment
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Accent: A communication oriented network operating system kernel
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
An experiment using registers for fast message-based interprocess communication
ACM SIGOPS Operating Systems Review
Exploiting recursion to simplify RPC communication architectures
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Decentralizing a global naming service for improved performance and fault tolerance
ACM Transactions on Computer Systems (TOCS)
Using a global name space for parallel execution of UNIX tools
Communications of the ACM - Special issue: multiprocessing
Adding concurrency to a statically type-safe object-oriented programming language
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Lightweight remote procedure call
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Analysis of transaction management performance
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Leases: an efficient fault-tolerant mechanism for distributed file cache consistency
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Performance of optimistic make
SIGMETRICS '89 Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Process-originated migration in a heterogeneous environment
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Lightweight remote procedure call
ACM Transactions on Computer Systems (TOCS)
Performance of the Firefly RPC
ACM Transactions on Computer Systems (TOCS)
Distributed message passing operating systems
ACM SIGOPS Operating Systems Review
Fault-tolerant computing based on Mach
ACM SIGOPS Operating Systems Review
Experiences with the Amoeba distributed operating system
Communications of the ACM
Local-area distributed systems
IBM Systems Journal
Edmund: a multicast kernel for distributed application
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
An inclusive session level protocol for distributed applications
SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
Native code process-originated migration in a heterogeneous environment
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Delirium: an embedding coordination language
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
The X-Kernel: An Architecture for Implementing Network Protocols
IEEE Transactions on Software Engineering
Communication Facilities for Distributed Transaction-Processing Systems
Computer - Distributed computing systems: separate resources acting as one
The Galaxy Distributed Operating System
Computer - Distributed computing systems: separate resources acting as one
User-level interprocess communication for shared memory multiprocessors
ACM Transactions on Computer Systems (TOCS)
A network architecture providing host migration transparency
SIGCOMM '91 Proceedings of the conference on Communications architecture & protocols
Scheduler activations: effective kernel support for the user-level management of parallelism
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
Using continuations to implement thread management and communication in operating systems
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
The muse object architecture: a new operating system structuring concept
ACM SIGOPS Operating Systems Review
Some ideas on support for fault tolerance in COMANDOS, an object oriented distributed system
ACM SIGOPS Operating Systems Review
Optimistic Make (Software Design)
IEEE Transactions on Computers
The parallel processing compute server
IBM Journal of Research and Development
Supercomputing out of recycled garbage: preliminary experience with Piranha
ICS '92 Proceedings of the 6th international conference on Supercomputing
Application-controlled physical memory using external page-cache management
ASPLOS V Proceedings of the fifth international conference on Architectural support for programming languages and operating systems
Fast mutual exclusion for uniprocessors
ASPLOS V Proceedings of the fifth international conference on Architectural support for programming languages and operating systems
Scheduler activations: effective kernel support for the user-level management of parallelism
ACM Transactions on Computer Systems (TOCS)
FLIP: an internetwork protocol for supporting distributed systems
ACM Transactions on Computer Systems (TOCS)
Designing and implementing Choices: an object-oriented system in C++
Communications of the ACM
Interposition agents: transparently interposing user code at the system interface
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Fbufs: a high-bandwidth cross-domain transfer facility
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Computers
Communication control in computer supported cooperative work systems
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
A unified model of pointwise equivalence of procedural computations
ACM Transactions on Programming Languages and Systems (TOPLAS)
PUMA: an operating system for massively parallel systems
Scientific Programming - Special issue on operating system support for massively parallel computer architectures
Techniques for reducing consistency-related communication in distributed shared-memory systems
ACM Transactions on Computer Systems (TOCS)
ACM Computing Surveys (CSUR)
Optimistic incremental specialization: streamlining a commercial operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
The impact of a zero-scan Internet checksumming mechanism
ACM SIGCOMM Computer Communication Review
Distributed software engineering
ICSE '94 Proceedings of the 16th international conference on Software engineering
StratOSphere: mobile processing of distributed objects in Java
MobiCom '98 Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking
Support for Software Interrupts in Log-Based Rollback-Recovery
IEEE Transactions on Computers
Interface and execution models in the Fluke kernel
OSDI '99 Proceedings of the third symposium on Operating systems design and implementation
Anonymous Remote Computing: A Paradigm for Parallel Programming on Interconnected Workstations
IEEE Transactions on Software Engineering
A simulation based analysis of naming schemes for distributed systems
ANSS '92 Proceedings of the 25th annual symposium on Simulation
The object library for parallel simulation (OLPS)
WSC '88 Proceedings of the 20th conference on Winter simulation
Mobility and Extensibility in the StratOSphere Framework
Distributed and Parallel Databases - Special issue on mobile data management and applications
ACM Computing Surveys (CSUR)
Interposition agents: transparently interposng user code at the system interface
Secure Internet programming
Resource-level autonomy in CHORUS
EW 3 Proceedings of the 3rd workshop on ACM SIGOPS European workshop: Autonomy or interdependence in distributed systems?
Domains and dynamic loading: reconciling autonomy and integration
EW 3 Proceedings of the 3rd workshop on ACM SIGOPS European workshop: Autonomy or interdependence in distributed systems?
Some ideas on support for fault tolerance in COMANDOS, an object oriented distributed system
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
DP: A Paradigm for Anonymous Remote Computation and Communication for Cluster Computing
IEEE Transactions on Parallel and Distributed Systems
Distributed shared memory: experience with Munin
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Time driven operating systems: a case study on the MARS kernel
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
ACM Transactions on Computer Systems (TOCS)
Page replacement using marginal loss functions
SC '97 Proceedings of the 1997 ACM/IEEE conference on Supercomputing
Distributed network computing over local ATM networks
Proceedings of the 1994 ACM/IEEE conference on Supercomputing
On Optimal Strategies for Cycle-Stealing in Networks of Workstations
IEEE Transactions on Computers
Data collection and restoration for heterogenenous process migration
Software—Practice & Experience
Experience with Parallel Computing on the AN2 Network
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
Task Allocation Using Processor Load Prediction on Multiprocessors Cluster
IWCC '01 Proceedings of the NATO Advanced Research Workshop on Advanced Environments, Tools, and Applications for Cluster Computing-Revised Papers
The Effect of Skewed Data Access on Buffer Hits and Data Contention an a Data Sharing Environment
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Supporting nondeterministic execution in fault-tolerant systems
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Vulnerabilities in Synchronous IPC Designs
SP '03 Proceedings of the 2003 IEEE Symposium on Security and Privacy
The design and implementation of Zap: a system for migrating computing environments
ACM SIGOPS Operating Systems Review - OSDI '02: Proceedings of the 5th symposium on Operating systems design and implementation
A pattern language for porting micro-kernels
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
Narratives of space and time: visualization for distributed applications
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
MobiDesk: mobile virtual desktop computing
Proceedings of the 10th annual international conference on Mobile computing and networking
The design and implementation of Zap: a system for migrating computing environments
OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
Clock synchronization and the power of broadcasting
Distributed Computing
Design and implementation of a single system image operating system for ad hoc networks
Proceedings of the 3rd international conference on Mobile systems, applications, and services
Labels and event processes in the asbestos operating system
Proceedings of the twentieth ACM symposium on Operating systems principles
ACM Transactions on Programming Languages and Systems (TOPLAS)
Minimizing downtime in seamless migrations of mobile applications
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
Proceedings of the 38th SIGCSE technical symposium on Computer science education
Scientific Programming
Reducing downtime due to system maintenance and upgrades
LISA '05 Proceedings of the 19th conference on Large Installation System Administration Conference - Volume 19
Constructing services with interposable virtual hardware
NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
Evolving mach 3.0 to a migrating thread model
WTEC'94 Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference
Clue tables: a distributed, dynamic-binding naming mechanism
USTC'94 Proceedings of the USENIX Summer 1994 Technical Conference on USENIX Summer 1994 Technical Conference - Volume 1
Mach-US: UNIX on generic OS object servers
TCON'95 Proceedings of the USENIX 1995 Technical Conference Proceedings
HiPEC: high performance external virtual memory caching
OSDI '94 Proceedings of the 1st USENIX conference on Operating Systems Design and Implementation
A caching model of operating system kernel functionality
OSDI '94 Proceedings of the 1st USENIX conference on Operating Systems Design and Implementation
Lingua Franca: an IDL for structural subtyping distributed object systems
COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
Cheating the I/O bottleneck: network storage with Trapeze/Myrinet
ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference
ATEC '96 Proceedings of the 1996 annual conference on USENIX Annual Technical Conference
Why use a fishing line when you have a net? an adaptive multicast data distribution protocol
ATEC '96 Proceedings of the 1996 annual conference on USENIX Annual Technical Conference
Adaptive and reliable parallel computing on networks of workstations
ATEC '97 Proceedings of the annual conference on USENIX Annual Technical Conference
SPRINT: a tool to generate concurrent transaction-level models from sequential code
EURASIP Journal on Applied Signal Processing
From V to Vanguard: the evolution of a distributed, object-oriented microkernel interface
moas'93 USENIX Symposium on USENIX Microkernels and Other Kernel Architectures Symposium - Volume 4
Fast interrupt priority management in operating system kernels
moas'93 USENIX Symposium on USENIX Microkernels and Other Kernel Architectures Symposium - Volume 4
User level IPC and device management in the Raven kernel
moas'93 USENIX Symposium on USENIX Microkernels and Other Kernel Architectures Symposium - Volume 4
Context-Aware Migratory Services in Ad Hoc Networks
IEEE Transactions on Mobile Computing
Labels and event processes in the Asbestos operating system
ACM Transactions on Computer Systems (TOCS)
Hyperion: high volume stream archival for retrospective querying
ATC'07 2007 USENIX Annual Technical Conference on Proceedings of the USENIX Annual Technical Conference
Native Client: a sandbox for portable, untrusted x86 native code
Communications of the ACM - Amir Pnueli: Ahead of His Time
ACM Transactions on Programming Languages and Systems (TOPLAS)
A unified execution model for cloud computing
ACM SIGOPS Operating Systems Review
Improving virtual appliance management through virtual layered file systems
LISA'11 Proceedings of the 25th international conference on Large Installation System Administration
A migration tool to support resource and load sharing in heterogeneous computing environments
Computer Communications
Process migration and its influence on interprocess communication
Computer Communications
Operating system support for multimedia systems
Computer Communications
Supporting distributed execution of smartphone workloads on loosely coupled heterogeneous processors
HotPower'12 Proceedings of the 2012 USENIX conference on Power-Aware Computing and Systems
New wine in old skins: the case for distributed operating systems in the data center
Proceedings of the 4th Asia-Pacific Workshop on Systems
K2: a mobile operating system for heterogeneous coherence domains
Proceedings of the 19th international conference on Architectural support for programming languages and operating systems
| Hi-index | 48.27 |
The V distributed System was developed at Stanford University as part of a research project to explore issues in distributed systems. Aspects of the design suggest important directions for the design of future operating systems and communication systems.