Home     Top: Operating Systems    Subtopics:   Clusters   Distributed   Fault Tolerance   Linux   Memory Management   Microkernel   Real-time   Unix   Windows

Change ordering:   Authority   Hubs (tutorials)   Date   Expected authority       Show abstracts
Ordered by the number of citations

This directory is created automatically and some papers may be mislabeled. Only document within the CiteSeer database are listed. The directory is intended to provide entry points for browsing the database and is not intended to be authoritative. Papers may not appear in all relevant categories. For example, papers in a sub-category may not appear in higher level categories.

338   KQML as an Agent Communication Language - Finin, Fritzson, McKay, McEntire (1994)   (Correct)
325   TreadMarks: Distributed Shared Memory on Standard Workstations and.. - Keleher, Cox, Dwarkadas, Zwaenepoel (1994)   (Correct)
307   Exokernel: An Operating System Architecture for Application-Level.. - Engler, Kaashoek, O'Toole, Jr. (1995)   (Correct)
275   The Design and Implementation of a Log-Structured File System - Rosenblum, Ousterhout (1991)   (Correct)
270   Proof-Carrying Code - Necula (1997)   (Correct)
259   Efficient Software-Based Fault Isolation - Wahbe, Lucco, Anderson, Graham (1993)   (Correct)
223   High Performance Messaging on Workstations: Illinois Fast Messages.. - Pakin, Lauria, Chien (1995)   (Correct)
217   Lazy Release Consistency for Software Distributed Shared Memory - Keleher, Cox, Zwaenepoel (1992)   (Correct)
183   The Oz Programming Model - Smolka (1995)   (Correct)
181   Transparent Process Migration: Design Alternatives and the Sprite.. - Douglis (1991)   (Correct)
181   The Amber System: Parallel Programming on a Network of Multiprocessors - Chase (1989)   (Correct)
179   Caching in the Sprite Network File System - Nelson, Welch, Ousterhout (1988)   (Correct)
170   Imperative functional programming - Jones, Wadler (1993)   (Correct)
163   Authentication in Distributed Systems: Theory and Practice - Lampson, Abadi, Burrows, Wobber (1992)   (Correct)
162   Performance of Various Computers Using Standard Linear Equations.. - Dongarra (1995)   (Correct)
157   Safe Kernel Extensions Without Run-Time Checking - Necula, Lee (1996)   (Correct)
157   The MIT Alewife Machine: Architecture and Performance - Agarwal, Bianchini, Chaiken, al (1995)   (Correct)
148   Why Aren't Operating Systems Getting Faster As Fast as Hardware? - Ousterhout (1990)   (Correct)
145   The Network Architecture of the Connection Machine CM-5 - Leiserson, Abuhamdeh, Douglas.. (1994)   (Correct)
145   Agile Application-Aware Adaptation for Mobility - Noble (1997)   (Correct)
144   Fbufs: A High-Bandwidth Cross-Domain Transfer Facility - Peter Druschel, Larry L. Peterson (1993)   (Correct)
137   The UNIX Time-Sharing System - Ritchie, Thompson (1974)   (Correct)
137   Network Based Concurrent Computing on the PVM System - Geist, Sunderam (1991)   (Correct)
132   Informed Prefetching and Caching - Patterson, Gibson, Ginting.. (1995)   (Correct)
132   Understanding Fault-Tolerant Distributed Systems - Cristian (1993)   (Correct)
131   System Design Issues for Internet Middleware Services: Deductions.. - Gribble (1997)   (Correct)
130   A Hierarchical CPU Scheduler for Multimedia Operating Systems - Goyal, Guo, Vin (1996)   (Correct)
129   Horus: A Flexible Group Communications System - van Renesse, Birman, Maffeis (1996)   (Correct)
128   A Scalable Comparison-Shopping Agent for the World-Wide Web - Doorenbos, Etzioni, Weld (1997)   (Correct)
123   Packet Loss Correlation in the MBone Multicast Network: Experimental.. - Yajnik, Kurose, Towsley (1996)   (Correct)
122   Processor Capacity Reserves: Operating System Support for Multimedia.. - Mercer, Savage, Tokuda (1994)   (Correct)
118   The Zebra Striped Network File System - Hartman, Ousterhout (1993)   (Correct)
118   The Paradyn Parallel Performance Measurement Tools - Miller, Callaghan (1995)   (Correct)
118   Zebra: A Striped Network File System - Hartman, Ousterhout (1993)   (Correct)
111   Cluster-Based Scalable Network Services - Fox, Gribble, Chawathe, Brewer.. (1997)   (Correct)
111   Cooperative Caching: Using Remote Client Memory to Improve File.. - Dahlin, Anderson, Patterson, Wang. (1994)   (Correct)
110   Overview of the CHORUS Distributed Operating Systems - Rozier, Abrossimov, Armand, Boule.. (1992)   (Correct)
109   Protocol Service Decomposition for High-Performance Networking - Maeda, Bershad (1993)   (Correct)
104   Making Paths Explicit in the Scout Operating System - Mosberger, Peterson (1996)   (Correct)
100   Implementing Global Memory Management in a Workstation Cluster - Feeley, Morgan, Pighin, Karlin, Levy (1995)   (Correct)
98   Machine-Independent Virtual Memory Management for Paged Uniprocessor.. - Rashid, Tevanian, Young, Golub.. (1987)   (Correct)
98   Resource containers: A new facility for resource management in server .. - Banga, Druschel, Mogul (1999)   (Correct)
98   The Model Checker SPIN - Holzmann (1997)   (Correct)
95   Scheduling for Reduced CPU Energy - Weiser, Welch, Demers, Shenker (1994)   (Correct)
95   Beowulf: A Parallel Workstation For Scientific Computation - Sterling, Becker, al. (1995)   (Correct)
93   A Stream Input-Output System - Ritchie (1984)   (Correct)
93   First-Class User-Level Threads - Marsh, Scott, LeBlanc, Markatos (1991)   (Correct)
92   The Spring nucleus: A microkernel for objects - Hamilton, Kougiouris (1994)   (Correct)
89   Dealing With Disaster: Surviving Misbehaved Kernel Extensions - Seltzer (1996)   (Correct)
89   A Fast File System for UNIX - McKusick, Joy, Leffler, Fabry (1984)   (Correct)
89   The Duality of Memory and Communication in the Implementation of a.. - Young, Tevanian, Rashid, Golub.. (1987)   (Correct)
88   Constructing Distributed Systems In Conic - Magee, Kramer, Sloman (1989)   (Correct)
86   Serverless Network File Systems - Anderson (1995)   (Correct)
86   A Secure Environment for Untrusted Helper Applications: Confining the .. - Goldberg, Wagner, Thomas, Brewer (1996)   (Correct)
84   Application Performance and Flexibility on Exokernel Systems - Kaashoek, Engler, Ganger.. (1997)   (Correct)
84   Real-time Communication in Multi-hop Networks - Kandlur, Shin, al. (1993)   (Correct)
81   Application-Controlled Physical Memory using External Page-Cache.. - Harty (1992)   (Correct)
80   Practical Prefetching via Data Compression - Curewitz, Krishnan, Vitter (1993)   (Correct)
80   Consul: A Communication Substrate for Fault-Tolerant Distributed.. - Mishra, Peterson, Schlichting (1991)   (Correct)
79   Scout: A Communications-Oriented Operating System - Montz, Mosberger, O'Malley.. (1994)   (Correct)
79   Implementation of the Ficus Replicated File System - Guy, Heidemann, Mak, Jr., Popek.. (1990)   (Correct)
79   Reasoning about Time in Higher-Level Language Software - Shaw (1989)   (Correct)
76   Extensible Security Architectures for Java - Wallach (1997)   (Correct)
76   A Proportional Share Resource Allocation Algorithm For Real-Time.. - Stoica, Abdel-Wahab, Jeffay, Baruah, .. (1996)   (Correct)
76   A Continuous Media Player - Rowe, Smith (1992)   (Correct)
73   Improving IPC by Kernel Design - Liedtke (1993)   (Correct)
72   Beyond Multiprocessing ... Multithreading the SunOS Kernel - Eykholt, Kleiman, Barton, Faulkner.. (1992)   (Correct)
72   Using Continuations to Implement Thread Management and Communication.. - Draves, Bershad, Rashid, Dean (1991)   (Correct)
72   Secrecy by Typing in Security Protocols - Abadi (1997)   (Correct)
72   CPU Reservations and Time Constraints: Efficient, Predictable.. - Jones, Rosu, Rosu (1997)   (Correct)
70   Voice Communication Across the Internet: A Network Voice Terminal - Schulzrinne (1992)   (Correct)
69   Efficient Packet Demultiplexing for Multiple Endpoints and Large.. - Yuhara, Bershad (1994)   (Correct)
68   Reducing Memory Latency via Non-blocking and Prefetching Caches - Chen (1992)   (Correct)
68   Compiler-directed Data Prefetching in Multiprocessors with Memory.. - Edward Gornish (1990)   (Correct)
67   Cooperative Shared Memory: Software and Hardware for Scalable.. - Hill (1992)   (Correct)
66   An Overview of the Spring System - Mitchell, Gibbons, Hamilton.. (1994)   (Correct)
65   A Programming Interface for Application-Aware Adaptation in Mobile.. - Noble, Price, Satyanarayanan (1995)   (Correct)
65   Charlotte: Metacomputing on the Web - Baratloo (1996)   (Correct)
65   Plan 9 from Bell Labs - Pike (1990)   (Correct)
63   Client-Server Paradise - DeWitt, Kabra, Luo, Patel, Yu (1994)   (Correct)
62   Going Beyond the Sandbox: An Overview of the New Security.. - Gong, Mueller, Prafullchandra.. (1997)   (Correct)
62   Integrated PVM Framework Supports Heterogeneous Network Computing - Dongarra, Geist, Manchek, Sunderam (1993)   (Correct)
61   Tamper Resistance - a Cautionary Note - Anderson, Kuhn (1996)   (Correct)
61   Mostly Parallel Garbage Collection - Boehm, Demers, Shenker (1991)   (Correct)
61   Performance of Firefly RPC - Schroeder, Burrows (1997)   (Correct)
60   SunOS 5.0 Multithread Architecture - Powell, Kleiman, Barton, Shah.. (1991)   (Correct)
60   MPVM: A Migration Transparent Version of PVM - Jeremy Casas (1995)   (Correct)
60   Performance Issues of Enterprise Level Web Proxies - Maltzahn, Richardson, Grunwald (1997)   (Correct)
59   The Design Of The Postgres Storage System - Stonebraker (1987)   (Correct)
59   Threads and Input/Output in the Synthesis Kernel - Massalin, Pu (1995)   (Correct)
59   Low-Latency Communication over ATM Networks using Active Messages - von Eicken, Avula, Basu, Buch (1995)   (Correct)
59   Efficient Fair Queuing using Deficit Round Robin - Shreedhar, Varghese (1995)   (Correct)
58   SPIN - An Extensible Microkernel for Application-specific Operating.. - Bershad, Chambers, Eggers, Maeda.. (1994)   (Correct)
58   Implementing Multiple Protection Domains in Java - Hawblitzel, Chang, Czajkowski, Hu.. (1998)   (Correct)
58   XSB as an Efficient Deductive Database Engine - Sagonas (1994)   (Correct)
57   A Resource Allocation Model for QoS Management - Rajkumar, Lee, Lehoczky, Siewiorek (1997)   (Correct)
57   No Assembly Required: Compiling Standard ML to C - Tarditi, Lee, Acharya (1990)   (Correct)
54   The Implementation Of Postgres - Stonebraker (1990)   (Correct)
54   The QoS Broker - Nahrstedt, Smith (1995)   (Correct)
54   A Distributed Real-Time MPEG Video Audio Player - Shanwei Cen (1995)   (Correct)
53   Microkernels Meet Recursive Virtual Machines - Ford (1996)   (Correct)
52   Application-Controlled File Caching Policies - Cao, Felten, Li (1994)   (Correct)
52   Parallel Processing on Dynamic Resources with CARMI - Pruyne (1995)   (Correct)
52   CCL: A Portable and Tunable Collective Communication Library for.. - Bala, Bruck, Cypher, Elustondo, Ho.. (1995)   (Correct)
51   Improving Release-Consistent Shared Virtual Memory using Automatic.. - Iftode (1996)   (Correct)
51   JPVM: Network Parallel Computing in Java - Ferrari (1997)   (Correct)
51   Utopia: A Load Sharing Facility for Large, Heterogeneous Distributed.. - Zhou (1993)   (Correct)
50   Protecting Poorly Chosen Secrets from Guessing Attacks - Gong, Lomas, Needham, Saltzer (1993)   (Correct)
50   Integrated Quality of Service for Multimedia Communications - Campbell, Coulson, García.. (1993)   (Correct)
50   The Expandable Split Window Paradigm for Exploiting Fine-Grain.. - Franklin, Sohi (1992)   (Correct)
49   Representing Control in the Presence of First-Class Continuations - Hieb, Dybvig, Bruggeman (1990)   (Correct)
48   Determining End-to-End Delay Bounds In Heterogeneous Networks - Goyal, Lam, Vin (1995)   (Correct)
48   Learning to Extract Text-based Information from the World Wide Web - Soderland (1997)   (Correct)
48   The Design of Nectar: A Network Backplane for Heterogeneous.. - Arnould (1989)   (Correct)
48   Using the SimOS Machine Simulator to Study Complex Computer Systems - Rosenblum, Bugnion, Devine, Herrod (1997)   (Correct)
48   Scheduling and Page Migration for Multiprocessor Compute Servers - Chandra, Devine, Verghese, Gupta.. (1994)   (Correct)
46   Memory Consistency Models - Mosberger (1993)   (Correct)
46   Model Checking Java Programs Using Java PathFinder - Havelund, Pressburger (1999)   (Correct)
45   Security Properties of Typed Applets - Leroy, Rouaix   (Correct)
45   An Argument for Simple COMA - Ashley Saulsbury (1995)   (Correct)
45   Network Objects - Birrell, Nelson, Owicki, Wobber (1995)   (Correct)
45   On the Design of Chant: A Talking Threads Package - Matthew Haines (1994)   (Correct)
45   A Retargetable Compiler for ANSI C - Fraser, Hanson (1991)   (Correct)
45   Engineering and Analysis of Fixed Priority Schedulers - Katcher (1993)   (Correct)
44   A High-Performance Microarchitecture with Hardware-Programmable.. - Razdan, Smith (1994)   (Correct)
44   Evaluation of TCP Vegas: Emulation and Experiment - Ahn (1995)   (Correct)
44   Frangipani: A Scalable Distributed File System - Thekkath, Mann, Lee (1997)   (Correct)
44   Fragmented Objects for Distributed Abstractions - Makpangou (1992)   (Correct)
44   Automatic Blocking of Nested Loops - Schreiber, Dongarra (1990)   (Correct)
44   Using Sparse Capabilities in a Distributed Operating System - Tanenbaum, Mullender, van Renesse (1986)   (Correct)
43   A Historical Application Profiler for Use by Parallel Schedulers - Gibbons (1997)   (Correct)
43   Adding Threads to Standard ML - Cooper, Morrisett (1990)   (Correct)
43   The Measured Cost of Conservative Garbage Collection - Zorn (1992)   (Correct)
43   Virtual Memory Architecture in SunOS - Gingell, Moran, Shannon (1987)   (Correct)
43   Efficient Distributed Shared Memory Based On Multi-Protocol Release.. - Carter (1993)   (Correct)
42   Performance Analysis Using the MIPS R10000 Performance Counters - Zagha, Larson, Turner, Itzkowitz (1996)   (Correct)
42   Distributed Filaments: Efficient Fine-Grain Parallelism on a Cluster.. - Freeh, Lowenthal, Andrews (1994)   (Correct)
42   MPI-FM: High Performance MPI on Workstation Clusters - Lauria, Chien (1997)   (Correct)
41   WebOS: Operating System Services for Wide Area Applications - Vahdat (1997)   (Correct)
41   Kerberos Authentication and Authorization System - Miller, Neuman, Schiller, Saltzer (1988)   (Correct)
41   ParaWeb: Towards World-Wide Supercomputing - Tim Brecht (1996)   (Correct)
41   Building Reliable Distributed Systems with CORBA - Landis, Maffeis (1997)   (Correct)
41   A Rate-Based Execution Abstraction For Multimedia Computing - Jeffay, al. (1995)   (Correct)
40   The Tenet Real-Time Protocol Suite: Design, Implementation, and.. - Banerjea, Ferrari, Mah, Moran.. (1996)   (Correct)
40   A Survey of QoS Architectures - Aurrecoechea, Campbell, Hauw (1996)   (Correct)
40   A Language-Based Approach to Protocol Implementation - Abbott, Peterson (1993)   (Correct)
40   An Open Agent Architecture - Cohen, Cheyer, Wang, Baeg (1994)   (Correct)
40   The Structure of a Multi-Service Operating System - Roscoe (1995)   (Correct)
40   Scheduling Algorithms and Operating Systems Support for Real-Time.. - Ramamritham, Stankovic (1994)   (Correct)
40   Synchronization and Communication in the T3E Multiprocessor - Scott (1996)   (Correct)
40   The Design of a QoS Controlled ATM Based Communications System in.. - Coulson, Campbell, Robin, Blair.. (1994)   (Correct)
39   Analysis of Audio Packet Loss in the Internet - Bolot, Crépin, Garcia (1995)   (Correct)
38   Embra: Fast and Flexible Machine Simulation - Witchel, Rosenblum (1996)   (Correct)
38   The Desk Area Network - Hayter (1991)   (Correct)
38   Robust Partitioning Policies of Multiprocessor Systems - Rosti, Smirni, Dowdy, Serazzi.. (1993)   (Correct)
38   Kernel Support for Live Digital Audio and Video - Jeffay, Stone, Smith (1992)   (Correct)
38   Distributed advance reservation of real-time connections - Ferrari, Gupta, Ventre (1995)   (Correct)
38   Architectural Support for Single Address Space Operating Systems - Koldinger, Chase, Eggers (1992)   (Correct)
38   Distributed Object Management - Manola (1992)   (Correct)
37   SuperWeb: Research Issues in Java-Based Global Computing - Alexandrov, Ibel, Schauser, Scheiman (1996)   (Correct)
37   Fail-safe PVM: A portable package for distributed programming with.. - Leon (1993)   (Correct)
37   The ADAPTIVE Communication Environment: An Object-Oriented Network.. - Schmidt (1993)   (Correct)
37   The Tiger Video Fileserver - Bolosky, Barrera, III, Draves.. (1996)   (Correct)
37   Evaluation of KQML as an Agent Communication Language - Mayfield, Labrou, Finin (1996)   (Correct)
36   Typed Memory Management in a Calculus of Capabilities - Crary, Walker, Morrisett (1999)   (Correct)
36   Shared Libraries in SunOS - Gingell, Lee, Dang, Weeks (1987)   (Correct)
36   The Rio File Cache: Surviving Operating System Crashes - Chen, Ng, Rajamani, Aycock (1996)   (Correct)
35   Trace-driven Memory Simulation: A Survey - Uhlig, Mudge   (Correct)
35   Object Distribution in Orca using Compile-Time and Run-Time Techniques - Bal, Kaashoek (1993)   (Correct)
35   The Synergy Between Non-blocking Synchronization and Operating System .. - Greenwald, Cheriton (1996)   (Correct)
35   Speed is as Powerful as Clairvoyance - Kalyanasundaram, Pruhs (1995)   (Correct)
35   Trapezoid Self-Scheduling: A Practical Scheduling Scheme for Parallel .. - Tzen (1993)   (Correct)
35   A Dynamic Disk Spin-Down Technique for Mobile Computing - Helmbold, Long, Sherrod (1996)   (Correct)
34   The Design and Implementation of Arjuna - Parrington, al. (1995)   (Correct)
34   A High-performance Endsystem Architecture for Real-time CORBA - Douglas Schmidt (1997)   (Correct)
34   Separating Data and Control Transfer in Distributed Operating Systems - Thekkath, Levy, Lazowska (1994)   (Correct)
34   High-Performance Local Area Communication With Fast Sockets - Rodrigues, Anderson, Culler (1997)   (Correct)
34   Mobile Agents: Are they a good idea? - Harrison, Chess, Kershenbaum (1995)   (Correct)
34   Resilient Multicast Support for Continuous-Media Applications - Xu (1997)   (Correct)
33   DEVise: Integrated Querying and Visual Exploration of Large Datasets.. - Livny, Ramakrishnan, Beyer, Chen.. (1997)   (Correct)
33   The Behavior Language; User's Guide - Brooks (1990)   (Correct)
33   PERTS: A Prototyping Environment for Real-Time Systems - Liu, Redondo, Deng, Tia, Bettati.. (1993)   (Correct)
33   A Fast Mach Network IPC Implementation - Barrera (1991)   (Correct)

CiteSeer - citeseer.org - Terms of Service - Privacy Policy - Copyright © 1997-2002 NEC Research Institute