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

Change ordering:   Authority   Hubs (tutorials)   Date   Expected authority       Show abstracts
Reverse date order

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.

Flexible Soft Real-Time Processing in Middleware - Scott Brandt Computer (2001)   (Correct)
Termination in Language-based Systems - Rudys, Clements, Wallach (2001)   (Correct)
Generating Wrappers for Command Line Programs: The Cal-Aggie.. - Wohlstadter, Jackson, Devanbu (2001)   (Correct)
Computing for Embedded Systems - Lee (2001)   (Correct)
Trust Management for IPsec - Blaze, Ioannidis, Keromytis (2001)   (Correct)
Congestion Control Mechanisms and the Best Effort Service Model - Gevros, al. (2001)   (Correct)
Hybrid Shipping Architectures: A Survey - Bowman (2001)   (Correct)
Virtual-Time Round-Robin: An O(1) Proportional Share Scheduler - Nieh, Vaill, Zhong (2001)   (Correct)
Enhancing the Scalability and Usability of Computational Grids via.. - Kapadia, Figueiredo, Fortes (2001)   (Correct)
Rate-Based Resource Allocation Models for Embedded Systems - Jeffay (2001)   (Correct)
A Cooperative File System - Dabek (2001)   (Correct)
Practical Network Applications on a Lightweight Active Management.. - Anagnostakis, Ioannidis, Miltchev.. (2001)   (Correct)
The Kangaroo Approach to Data Movement on the Grid - Thain, Basney, Son, Livny (2001)   (Correct)
Reliable Sockets - Zandy, Miller (2001)   (Correct)
Alpine: A User-Level Infrastructure for Network Protocol Development - Ely, Savage, Wetherall (2001)   (Correct)
Windows Performance Monitoring and Data Reduction using WatchTower.. - Knop, al. (2001)   (Correct)
The PUNCH Virtual File System: Seamless Access to Decentralized.. - Figueiredo, Kapadia, Fortes (2001)   (Correct)
Network-Computer for Computer Architecture Education: a Progress.. - Figueiredo, Fortes, Eigenmann.. (2001)   (Correct)
Augmented CPU Reservations: Towards Predictable Execution on.. - Regehr, Stankovic (2001)   (Correct)
Monitoring Networks Using Ntop - Deri, Carbone, Suin (2001)   (Correct)
Multiple Bypass: Interposition Agents for Distributed Computing - Thain, Livny (2001)   (Correct)
JCASim - a Java system for simulating cellular automata - Freiwald, Weimar (2001)   (Correct)
Exploiting Rich Fonts - Toledo (2001)   (Correct)
A toolkit for user-level file systems - Mazières (2001)   (Correct)
Understanding the Iimpact of x86/NT Computing on Microarchitecture - Bhargava, Rubio, Kannan, John.. (2001)   (Correct)
Managing Computer Science Laboratories Using Open Software - Howland (2001)   (Correct)
DiPS: A Unifying Approach for Developing System Software - Michiels, Matthijs, Walravens.. (2001)   (Correct)
Non-Invasive, Interactive, Stylized Rendering - Mohr, Gleicher (2001)   (Correct)
Accelerating Demand Paging for Local and Remote Out-of-Core.. - Ellsworth (2001)   (Correct)
A Universal Client for Taskflow-Oriented Programming with Distributed .. - Lavana (2001)   (Correct)
Ubiquitous Computing and the Need for a New Operating System.. - Golm, Kleinöder (2001)   (Correct)
An Open Operating System for Intensive Signal Processing - Momtchev, Marquet (2001)   (Correct)
REMOTE: A Tool for Automatic Remote Execution of CSIM18 Simulation.. - Christensen (2001)   (Correct)
Renew -User Guide - Kummer, Wienberg, Duvigneau (2001)   (Correct)
Multidisciplinary Concurrent Design Optimization via the Internet - Woodard, Kelkar, Koganti (2001)   (Correct)
Virtualizing I/O Devices on VMware Workstation's Hosted Virtual.. - Venkitachalam, Lim (2001)   (Correct)
RTLinux with Address Spaces - Mehnert, Hohmuth, Schönberg, Härtig (2001)   (Correct)
Getting to Know Each Other on the Web: Using Web Server Access Logs.. - Lueg (2001)   (Correct)
A Simple Semantics and Static Analysis for Java Security - Banerjee, Naumann (2001)   (Correct)
Translating HOL to Speci cations for the Model Checker SMV - Dan Zhou And (2001)   (Correct)
An analysis of Web Server performance with an accelerator - Jha, Sabrina, Samuels, Hassan (2001)   (Correct)
Application-Level Survivable Software: rFTP Proof-of-Concept - Grzywa, Dharmik, Yurcik, Brumbaugh (2001)   (Correct)
CoG Kits: Enabling Middleware for Designing Science Applications, Web .. - von Laszewski, Jackson (2001)   (Correct)
A Secure Access Control Mechanism against Internet Crackers - Kenichi Kourai University (2001)   (Correct)
Coping with Evolution: Aspects vs - Aspirin Alex Brodsky (2001)   (Correct)
Lab Assignments Operating Systems OS 2001 - Nies Huijsmans Claudiu (2001)   (Correct)
The BlueJ system and its pedagogy - Kölling, Quig, Patterson, Rosenberg (2001)   (Correct)
Cv - Vadigepalli (2001)   (Correct)
Karl MacMillan, Michael Droettboom, Ichiro Fujinaga - Peabody Institute Of (2001)   (Correct)
Techniques for the Design of Java Operating Systems - Back, Tullmann, Stoller, Hsieh.. (2000)   (Correct)
Implementing a Caching Service for Distributed CORBA Objects - Chockler, Dolev, Friedman, Vitenberg (2000)   (Correct)
Operating System Support for Persistent Systems: Past, Present and.. - Dearle, Hulse (2000)   (Correct)
Procs and Locks: A Portable Multiprocessing Platform for Standard ML.. - Morrisett, Tolmach (2000)   (Correct)
Web-Conscious Storage Management for Web Proxies - Evangelos Markatos Dionisios (2000)   (Correct)
The Real-Time Specification for Java - Bollella, Brosgol, Dibble, Furr.. (2000)   (Correct)
The Click Modular Router - Kohler, Morris, CHEN, JANNOTTI.. (2000)   (Correct)
An Analysis of Operating System Behavior on a Simultaneous.. - Redstone, Eggers, Levy (2000)   (Correct)
A Comparative Study of the Realization of Rate-Based Computing.. - Jeffay, Lamastra (2000)   (Correct)
Practical Network Security: Experiences with ntop - Deri, Suin (2000)   (Correct)
The MATE Workbench - an annotation tool for XML coded speech corpora - McKelvie, Isard, Mengel.. (2000)   (Correct)
The Discipline and Method Architecture for Reusable Libraries - Vo (2000)   (Correct)
Symbiotic Jobscheduling for a Simultaneous Multithreading Processor - Allan Snavely University (2000)   (Correct)
Foundations For High-Quality Low-Cost Modeling Environments - Coppit (2000)   (Correct)
FiST: A Language for Stackable File Systems - Zadok, Nieh (2000)   (Correct)
Knit: Component Composition for Systems Software - Reid, Flatt, Stoller, al. (2000)   (Correct)
REXEC: A Decentralized, Secure Remote Execution Environment for.. - Chun, Culler (2000)   (Correct)
Formal Analysis of Convergence of Routing Protocols - Obradovic (2000)   (Correct)
Power Analysis of Embedded Operating Systems - Dick, Lakshminarayana, Raghunathan.. (2000)   (Correct)
Project Description - The General (2000)   (Correct)
IO-Lite: A Unified I/O Buffering and Caching System - Pai, Druschel, Zwaenepoel (2000)   (Correct)
STATL: An Attack Language for State-based Intrusion Detection - Eckmann, Vigna, Kemmerer (2000)   (Correct)
DOORS: Towards High-performance Fault Tolerant CORBA - Balachandran Natarajan Dept (2000)   (Correct)
Design and evaluation of a SNMP-based monitoring system for.. - Rajesh Subramanyan Jos'e (2000)   (Correct)
A Network-Computing Infrastructure for Tool Experimentation Applied.. - Figueiredo, Fortes, Eigenmann.. (2000)   (Correct)
Safe and Flexible Dynamic Linking of Native Code - Hicks, Weirich, Crary (2000)   (Correct)
Object Lifetime Manager - A Complementary Pattern for Controlling.. - Levine, Gill, Schmidt (2000)   (Correct)
Bypass: A Tool for Building Split Execution Systems - Thain, Livny (2000)   (Correct)
Bowman: A Node OS for Active Networks - Merugu, Bhattacharjee, Zegura.. (2000)   (Correct)
Multiple Mass-Market Applications as Components - David Coppit Kevin (2000)   (Correct)
Bee: an Integrated Development Environment for the Scheme Programming .. - Serrano (2000)   (Correct)
Generic Distributed Shared Memory: the DSM-PM2 Approach - Antoniu, Bougé, Namyst (2000)   (Correct)
Exporting MOOSE Models to Rational Rose UML - Schweizer (2000)   (Correct)
Differential Multithreading: Recapturing Pipeline Stall Cycles and.. - John Haskins Jr (2000)   (Correct)
Transparent Migration of Distributed Communicating Processes - Nasika, Dasgupta (2000)   (Correct)
Extending MINIX with Real-Time Services and Fault Tolerance.. - Rogina, Wainer (2000)   (Correct)
Application Performance in the QLinux Multimedia Operating System - Vijay Sundaram Abhishek (2000)   (Correct)
Scalability Limitations of VIA-Based Technologies in Supporting MPI - Brightwell, Maccabe (2000)   (Correct)
User-Level Infrastructure for System Call Interposition: A Platform.. - Jain, Sekar (2000)   (Correct)
Experiences building a communication-oriented JavaOS - Hartman, Peterson, Bavier, Bigot.. (2000)   (Correct)
Applicability Of Open PROMOL For Generic COMPONENT DESIGN.. - Stuikys, Damasevicius, Toldinas.. (2000)   (Correct)
User-level Resource-constrained Sandboxing - Chang, Itzkovitz, Karamcheti (2000)   (Correct)
Sub-Operating Systems: A New Approach to Application Security - Ioannidis, Bellovin (2000)   (Correct)
Detecting and Displaying Novel Computer Attacks with Macroscope - Cunningham, al. (2000)   (Correct)
A Database of Invariant Rings - Kemper, Körding, Malle, Matzat.. (2000)   (Correct)
LMRU: An Efficient Buffer Management Scheme for Large Sequential and.. - Cho, Kim, Kang, Park (2000)   (Correct)
The AT&T AST OpenSource Software Collection - Fowler, Korn, North, Vo (2000)   (Correct)
What's Ahead for Embedded Software? - Lee (2000)   (Correct)
Journaling versus Soft Updates: Asynchronous Meta-data Protection in.. - Seltzer, Ganger, McKusick, Smith.. (2000)   (Correct)
Using Complete System Simulation for Temporal Debugging of General.. - Albertsson, Magnusson (2000)   (Correct)
On Interrupt-Transparent Synchronization in an Embedded.. - Schröder-Preikschat, Spinczyk.. (2000)   (Correct)
PARMON: A Portable and Scalable Monitoring System for Clusters - Buyya (2000)   (Correct)
Experimental evaluation of the fail-silent behavior of a distributed.. - Chevochot, Puaut (2000)   (Correct)
Accountability and Control of Process Creation in Metasystems - Humphrey, Knabe, Ferrari, Grimshaw (2000)   (Correct)
Supporting Flexible Safety and Sharing in Multi-Threaded Environments - Steven Samorodin Marimba (2000)   (Correct)
Non Interference for the Analysis of Cryptographic Protocols - Focardi, Gorrieri, Martinelli (2000)   (Correct)
A Structured Demonstration of Program Comprehension Tools - Sim, Storey (2000)   (Correct)
Robustness Testing of the Microsoft Win32 API - Shelton, Koopman, DeVale (2000)   (Correct)
A Qualitative Comparison of Interprocess Communications Toolkits for.. - Jay Gowdy June (2000)   (Correct)
The PODOS File System - Exploiting The High-Speed (2000)   (Correct)
Monitoring Distributed Real-Time Activities in DCOM - Mock, Gergeleit, al. (2000)   (Correct)
Case study in coalgebraic specification: Memory management in the.. - Tews (2000)   (Correct)
Operating and Window Systems will never strike back or Independence.. - Fricke, Lilienthal, Lippert, Roock.. (2000)   (Correct)
Leader/Followers - Schmidt, O'Ryan, Kircher, Pyarali.. (2000)   (Correct)
IDS/A: An Interface between Intrusion Detection System and Application - Hutchison, Welz (2000)   (Correct)
Specification and Validation of a Concurrent System: An Educational.. - Berthelot, al. (2000)   (Correct)
Moore's Law and its Implications for Information Warfare - Kopp (2000)   (Correct)
J.agentx: A Tool For Dynamic Deployment Of Open Management Services - Lus Silva Fernando (2000)   (Correct)
An analysis of the TUX web server - Lever, Eriksen, Molloy (2000)   (Correct)
3DMA Users Manual for Dendrite Spine Analysis - Koh, Lindquist (2000)   (Correct)
A Scalable Cross-Platform Infrastructure for Application Performance.. - Browne Dongarra Garner (2000)   (Correct)
Modeling Users in Role-Based Access Control - Osborn, Guo (2000)   (Correct)
The GIOD Project - Globally Interconnected Object Databases - Julian Bunn Koen (2000)   (Correct)
The ANIMAL Algorithm Animation Tool - Rößling, Schüler, Freisleben (2000)   (Correct)
The Adaptive Communication Environment: "ACE" - A Tutorial - Syyid (2000)   (Correct)
Distributed architectures - Fernandez (2000)   (Correct)
OpenMath support under CSL-hosted REDUCE - Triulzi (2000)   (Correct)
Analyzing Multi-Threaded Program Performance with µProfiler - Zak (2000)   (Correct)
RSTTool 2.4 - A Markup Tool for Rhetorical Structure Theory - O'Donnell (2000)   (Correct)
Sendmail Meets Erlang: Experiences Using Erlang for Email Applications - Fritchie, Larson, Christenson.. (2000)   (Correct)
QteVtk - a Multi-Platform, Object-Oriented Visualization Environment.. - Stoev, Strasser (2000)   (Correct)
Periodic Broadcast and Patching Services - Implementation.. - Michael Bradshaw Bing (2000)   (Correct)
A C++ Implementation of the Bayesian Optimization Algorithm (BOA).. - Pelikan (2000)   (Correct)
Acquisition of biomedical images on Linux platform - Peterlin, Sevsek, Lages (2000)   (Correct)
Operating System Support for Database Management Systems Revisited - Fellig, Tikhonova (2000)   (Correct)
Piglet: A Low-Intrusion Vertical Operating System - Muir, Smith (2000)   (Correct)
Syllabus For ASCI-500 Operating Systems Spring 2000 - Maniatty (2000)   (Correct)
Policing Offloaded - Dannowski, Haertig (2000)   (Correct)
Lab Assignments Operating Systems OS 2000 - Bos, Kisuki, Kiel (2000)   (Correct)
Electronic Commerce Based Supply Chain Management - Benjamin Ping-Chang Yen (2000)   (Correct)
Logical Markup from RTF - Chocholác (2000)   (Correct)
EBU listening tests on Internet audio codecs - Stoll, Kozamernlk (2000)   (Correct)
Content Based Routing with Elvin4 - Segall, Arnold, Boot, Henderson.. (2000)   (Correct)
Runtime Checking of Multithreaded Applications with Visual Threads - Harrow, Jr. (2000)   (Correct)
Use of ROOT in the D Online Event Monitoring System - Snow Canal Kowalkowski (2000)   (Correct)
Extending the Execution Environment with DITools - Serra, Navarro (2000)   (Correct)
malloc() Performance in a Multithreaded Linux Environment - Lever, Boreham (2000)   (Correct)
Soundmodem on modern Operating Systems - Sailer (2000)   (Correct)
Characterizing Internet Performance to Support Wide-area Application.. - Ballintijn, van Steen, Tanenbaum (2000)   (Correct)
Flexible And Extensible Qos-Management For Adaptive Middleware - Frank (2000)   (Correct)
Integrated Quality of Service Management - Ingram (2000)   (Correct)
A Domain-specific Language for Intrusion Detection - Diomidis Spinellis And (2000)   (Correct)
Endoscopic surgery training using virtual reality and deformable.. - Kühnapfel, al. (2000)   (Correct)
Approaches for Generating Animations for Lectures - Rößling, Freisleben (2000)   (Correct)
Integrating Information Appliances into an Interactive Workspace - Fox, Johanson, Hanrahan, Winograd (2000)   (Correct)
Using Embedded Sensors for Detecting Network Attacks - Eugene (2000)   (Correct)
A Framework Analysis Of The Open Source Development Paradigm - Joseph Feller Brian (2000)   (Correct)
RESUME of Michail G. Lagoudakis - Lagoudakis (2000)   (Correct)
A Brief History of Hackerdom - Raymond (2000)   (Correct)
Year 2000 Compliance and the "Industry Standard" Personal Computer - Much Concern About (2000)   (Correct)
Accelerated Robust Stability Analysis of LTI-Systems with Uncertain.. - Dnow Pawletta Drewelow (2000)   (Correct)
Efficient User-level I/O in the ARX Real-Time Operating System - Seo, Park, Hong (2000)   (Correct)
Operating System Support for Multimedia Systems - Plagemann, Goebel, Vorsen, Anshus (1999)   (Correct)
Concurrency, Synchronisation and Objects - Holmes (1999)   (Correct)
Embedded Software - An Agenda for Research - Lee (1999)   (Correct)
An OO Encapsulation of Lightweight OS Concurrency Mechanisms in the.. - Schmidt, Wang (1999)   (Correct)
Practical Byzantine Fault Tolerance - Castro, Liskov (1999)   (Correct)
Resource containers: A new facility for resource management in server .. - Banga, Druschel, Mogul (1999)   (Correct)
Measuring OS Support for Real-time CORBA ORBs - David Levine (1999)   (Correct)
Exokernels, Protocol implementation and Erlang - Knutsson, Gunningberg (1999)   (Correct)
Separating key management from file system security - Mazieres, Kaminsky, Kaashoek, Witchel (1999)   (Correct)
Hardening COTS Software with Generic Software Wrappers - Fraser, Badger, Feldman (1999)   (Correct)
Domain-Specific Languages: from Design to Implementation Application.. - Thibault, Marlet, Consel (1999)   (Correct)
Performance Issues in WWW Servers - Nahum, Barzilai, Kandlur (1999)   (Correct)
Programming Languages as Operating Systems (or Revenge of the Son of.. - Flatt, Findler, Krishnamurthi.. (1999)   (Correct)
QoS Provisioning with qContracts in Web and Multimedia Servers - Abdelzaher, Shin (1999)   (Correct)
Automatic I/O Hint Generation through Speculative Execution - Chang, Gibson (1999)   (Correct)
Flash: An efficient and portable Web server - Pai, Druschel, Zwaenepoel (1999)   (Correct)
EROS: a fast capability system - Shapiro, Smith, Farber (1999)   (Correct)
Load Sharing in Distributed Systems - Gupta, Bepari (1999)   (Correct)
Operating Systems - Denning, Hunt, Tichy (1999)   (Correct)
Using Workstations as Building Blocks for Parallel Computing - Warschko, Blum, Tichy (1999)   (Correct)
Defending Against Denial of Service Attacks in Scout - Spatscheck, Peterson (1999)   (Correct)
High-Capacity Internet Middleware: Internet Caching System.. - Tomlinson, Major, Lee (1999)   (Correct)
A Task Migration System For Parallel Scientific Computations In.. - Shao, Schnabel (1999)   (Correct)
Self-Monitoring in VINO - Saleeb (1999)   (Correct)

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