41 citations found. Retrieving documents...
B. Ford, G. Back, G. Benson, J. Lepreau, A. Lin, and O. Shivers.
The Flux OSKit: A substrate for OS and language research
. In 16th ACM Symposium on Operating System Principles, October 1997.
Home/Search
Document Not in Database
Context
Related Articles
Check
This paper is cited by the following papers:
Modeling CPU Demand in Heterogeneous Active Networks - Galtier, Mills, Carlinet
(Correct)
Task/Scheduler Logic: Reasoning about Concurrency in.. - Reid, Regehr (2002)
(Correct)
Specialization Tools and Techniques for Systematic .. - McNamee, Walpole, .. (2001)
(7 citations)
(Correct)
Alpine: A User-Level Infrastructure for Network Protocol.. - Ely, Savage, Wetherall (2001)
(10 citations)
(Correct)
MaRTE OS: An Ada Kernel for Real-Time Embedded Applications - Mario Aldea Rivas (2001)
(2 citations)
(Correct)
Highly Reliable Upgrading of Components - Cook, Dage (1999)
(17 citations)
(Correct)
The SawMill Multiserver Approach - Gefflaut, Jaeger, Park, Liedtke.. (2000)
(6 citations)
(Correct)
Programming the Web with High-Level Programming Languages - Graunke, Krishnamurti.. (2001)
(10 citations)
(Correct)
Calibrating An Active Network Node - Yannick Carlinet Virginie (2000)
(Correct)
Knit: Component Composition for Systems Software - Reid, Flatt, Stoller, al. (2000)
(20 citations)
(Correct)
The Alta Operating System - Tullmann (1999)
(1 citation)
(Correct)
Using Khazana to Support Distributed Application Development - Sai Susarla Anand
(Correct)
The Flask Security Architecture: System Support.. - Spencer, Smalley, .. (1998)
(21 citations)
(Correct)
High Performance Application-Oriented Operating.. - Fröhlich.. (1999)
(Correct)
Experience Using a Globally Shared State Abstraction.. - Susarla, Ranganathan, .. (1998)
(Correct)
Khazana: An Infrastructure for Building Distributed Services - Carter, Ranganathan.. (1998)
(14 citations)
(Correct)
The Fox Project: Advanced Language Technology for.. - Harper, Lee, Pfenning (1998)
(7 citations)
(Correct)
Flux: A Language for Programming High-Performance Servers - Brendan Burns Kevin
(Correct)
A Dynamically Updatable Active Networking Architecture - Fernando (2001)
(Correct)
Extensible Routers for Active Networks - Nadia Shalaby Larry (2002)
(4 citations)
(Correct)
How Much CPU Time? Expressing Meaningful.. - Galtier, Hunt..
(Correct)
Expressing Meaningful Processing Requirements among.. - Galtier, Mills.. (2000)
(5 citations)
(Correct)
Performance Implications of Securing Active Networks - Alexander, Arbaugh.. (1998)
(1 citation)
(Correct)
Hybrid Resource Control for Fast-Path Active Extensions - Patel (2003)
Self-citation (Lepreau)
(Correct)
The Fluke Device Driver Framework - Van Maren (1999)
(1 citation)
Self-citation (Lepreau)
(Correct)
Janos: A Java-oriented OS for Active Network Nodes - Patrick Tullmann Mike (2001)
(4 citations)
Self-citation (Lepreau)
(Correct)
Bees: A Secure, Resource-Controlled, Java-Based Execution.. - Stack, Eide, Lepreau (2003)
Self-citation (Lepreau)
(Correct)
Hybrid Resource Control of Active Extensions - Patel, Lepreau (2003)
(2 citations)
Self-citation (Lepreau)
(Correct)
An Integrated Experimental Environment for.. - White, Lepreau.. (2002)
(101 citations)
Self-citation (Lepreau)
(Correct)
An OS Interface for Active Routers - Peterson, Gottlieb, Hibler.. (2001)
(12 citations)
Self-citation (Lepreau)
(Correct)
Static and Dynamic Structure in Design Patterns - Eide, Reid, Regehr, Lepreau (2002)
Self-citation (Lepreau)
(Correct)
Nested Java Processes: OS Structure for Mobile Code - Tullmann, Lepreau (1998)
(25 citations)
Self-citation (Lepreau)
(Correct)
Aspect Weaving as Component Knitting: Separating Concerns .. - Eide, Reid, Flatt.. (2001)
(1 citation)
Self-citation (Lepreau)
(Correct)
An OS Interface for Active Routers - Peterson, Gottlieb, Hibler.. (2001)
(12 citations)
Self-citation (Lepreau)
(Correct)
Techniques for the Design of Java Operating Systems - Back, Tullmann, Stoller.. (2000)
(22 citations)
Self-citation (Back Lepreau)
(Correct)
Implementing Concurrency For An ML-based Operating System - Lin
(4 citations)
Self-citation (Lin)
(Correct)
The Flask Security Architecture: System Support.. - Spencer, Smalley, .. (1998)
(21 citations)
Self-citation (Lepreau)
(Correct)
Interface and Execution Models in the Fluke Kernel - Ford, Hibler, Lepreau.. (1999)
(18 citations)
Self-citation (Ford Lepreau)
(Correct)
Nested Java Processes: OS Structure for Mobile Code - Tullmann, Lepreau (1998)
(25 citations)
Self-citation (Lepreau)
(Correct)
Java Operating Systems: Design and Implementation - Back, Tullmann, Stoller.. (1998)
(41 citations)
Self-citation (Back Lepreau)
(Correct)
Online articles have much greater impact
More about CiteSeer.IST
Add search form to your site
Submit documents
Feedback
CiteSeer.IST - Copyright
Penn State
and
NEC