See this document in CiteSeerX!

Techniques for the Design of Java Operating Systems (2000)  (Make Corrections)  (24 citations)
Godmar Back, Patrick Tullmann, Leigh Stoller, Wilson C. Hsieh, Jay Lepreau



  Home/Search   Context   Related

 
View or download:
utah.edu/~stoller/...javaosusenix00.ps
utah.edu/~wilson/p...avaosusenix00.pdf
usenix.org/publications/libra...back.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help
Problem Downloading?
From:  utah.edu/~stoller/pubs/pubs (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, they can support more efficient IPC. Memory safety alone, however, is not sufficient to protect different applications from each other. Such systems need to support a process model that enables the control and management of computational resources. In particular, language-based extensible systems should support... (Update)

Cited by:   More
A Contract-Based Approach of Resource-Constrained Software.. - Le Sommer, Guidec (2002)   (Correct)
Resource Management for Parallel Adaptive Components - Luc Courtrai Frdric (2003)   (Correct)
A Contract-Based Approach of Resource Management in Information.. - Le Sommer (2003)   (Correct)

Similar documents (at the sentence level):
58.7%:   Java Operating Systems: Design and Implementation - Back, Tullmann, Stoller.. (1998)   (Correct)
5.8%:   Isolation, Resource Management and Sharing in the Kaffeos Java.. - Back (2002)   (Correct)

Active bibliography (related documents):   More   All
1.0:   Nested Java Processes: OS Structure for Mobile Code - Tullmann, Lepreau (1998)   (Correct)
0.9:   Processes in KaffeOS: Isolation, Resource Management, and.. - Back, Hsieh, Lepreau (2000)   (Correct)
0.4:   Janos: A Java-oriented OS for Active Network Nodes - Patrick Tullmann Mike (2001)   (Correct)

Similar documents based on text:   More   All
0.3:   Hybrid Resource Control of Active Extensions - Patel, Lepreau (2003)   (Correct)
0.3:   Composable Execution Environments - Regehr, Reid, Webb, Lepreau (2002)   (Correct)

Related documents from co-citation:   More   All
16:   Processes in KaffeOS: Isolation (context) - Back, Hsieh et al. - 2000
11:   JRes: a resource accounting interface for Java - Czajkowski, von Eicken - 1998
8:   Nested Java processes: OS structure for mobile code - Tullmann, Lepreau - 1998

BibTeX entry:   (Update)

G. Back, P. Tullmann, L. Stoller, W. C. Hsieh, and J. Lepreau. Techniques for the Design of Java Operating Systems. In Proc. of the USENIX 2000 Annual Technical Conf., pages 197--210, San Diego, CA, June 2000. USENIX Association. http://citeseer.ist.psu.edu/back00techniques.html   More

@inproceedings{ backtechniques,
    author = "Godmar Back and Patrick Tullmann and Leigh Stoller and Wilson C. Hsieh and Jay Lepreau",
    title = "Techniques for the Design of Java Operating Systems",
    pages = "197--210",
    url = "citeseer.ist.psu.edu/back00techniques.html" }
Citations (may not include all citations):
862   The Java Language Specification - Gosling, Joy et al. - 1996
746   The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1997
476   Implementing remote procedure calls - Birrell, Nelson - 1984  ACM   DBLP
444   Mach: A new kernel foundation for UNIX development (context) - Accetta, Baron et al. - 1986  DBLP
270   ANTS: A toolkit for building and dynamically deploying netwo.. - Wetherall, Guttag et al. - 1998
262   Uniprocessor garbage collection techniques - Wilson - 1992  ACM   DBLP
226   Lightweight remote procedure call (context) - Bershad, Anderson et al. - 1990  ACM   DBLP
210   The Amber system: Parallel programming on a network of multi.. - Chase, Amador et al. - 1989  ACM   DBLP
175   Dealing with disaster: Surviving misbehaved kernel extension.. - Seltzer, Endo et al. - 1996  DBLP
174   Distributed programming in Argus (context) - Liskov - 1988  ACM   DBLP
168   Making paths explicit in the Scout operating system - Mosberger, Peterson - 1996  ACM   DBLP
158   The Chorus distributed operating system (context) - Rozier, Abrossimov et al. - 1989
118   Extensible security architectures for Java - Wallach, Balfanz et al. - 1997  ACM
116   Sharing and protection in a single-address-space operating s.. - Chase, Levy et al. - 1994  ACM   DBLP
101   Implementing multiple protection domains in Java - Hawblitzel, Chang et al. - 1998
94   Distribution and abstract types in Emerald (context) - Black, Huchinson et al. - 1987  DBLP
92   Microkernels meet recursive virtual machines - Ford, Hibler et al. - 1996  ACM   DBLP
92   Going beyond the sandbox: An overview of the new security ar.. - Gong, Mueller et al. - 1997
88   A network subsystem architecture for server systems (context) - Druschel, Banga et al. - 1996
78   and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
72   A structural view of the Cedar programming environment (context) - Swinehart, Zellweger et al. - 1986  ACM   DBLP
68   CPU inheritance scheduling - Ford, Susarla - 1996  ACM   DBLP
62   Pilot: An operating system for a personal computer - Redell, Dalal et al. - 1980  DBLP
59   The design and implementation of the Clouds distributed oper.. - Dasgupta - 1990  DBLP
59   Dynamic class loading in the Java virtual machine - Liang, Bracha - 1998  ACM
41   The Flux OSKit: A substrate for OS and language research (context) - Ford, Back et al. - 1997
40   Design and implementation of a distributed virtual machine f.. - Sirer, Grimm et al. - 1999  ACM   DBLP
38   IEEE Transactions on Software Engineering (context) - Almes, Black et al. - 1985
31   Nested Java processes: OS structure for mobile code - Tullmann, Lepreau - 1998  DBLP
29   Efficient and language-independent mobile programs (context) - Adl-Tabatabai, Langdale et al. - 1996  ACM   DBLP
28   Project Oberon (context) - Wirth, Gutknecht - 1992  ACM
28   Drawing the red line in Java - Back, Hsieh - 1999  ACM   DBLP
24   Secure execution of Java applets using a remote playground - Malkhi, Reiter et al. - 1998  ACM   DBLP
22   Experience with secure multiprocessing in Java - Balfanz, Gong - 1998
18   Joust: A platform for communicationoriented liquid software - Hartman - 1997
14   A survey of distributed garbage collection techniques - Plainfosse, Shapiro - 1995  ACM   DBLP
9   Beyond Java: An infrastructure for highperformance mobile co.. - Franz - 1997
9   Resource management for extensible internet servers - Czajkowski, Chang et al. - 1998  ACM   DBLP
9   JavaOS: A standalone Java environment (context) - Microsystems - 1997
7   Java sandboxes meet service guarantees: Secure partitioning .. (context) - Bernadat, Feeney et al. - 1998
7   Building a Java virtual machine for server applications: The.. (context) - Dillenberger, Bordawekar et al. - 2000
6   Java for real-time (context) - Nilsen - 1996  ACM
5   Digitivity CAGE (context) - Corp - 1997
3   Kore --- an implementation of the Java (context) - Clements, Morrison
3   you got your operating system in my language (context) - Hawblitzel, von Eicken et al. - 1999
2   Spawn: A distributed computatational economy (context) - Waldspurger, Hogg et al. - 1992
1   Kaffe---a virtual machine to compile and interpret Java byte.. (context) - Wilkinson
1   Source code available at http://www (context) - von Eicken, Chang et al.
1   Special feature: A handson look at Java mobile agents (context) - Kiniry, Zimmerman - 1997



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.cs.utah.edu/~stoller/pubs/pubs.html):   More
Making Distributed Shared Memory Simple, Yet Efficient - Swanson, Stoller, Carter   (Correct)
FLEX: A Tool for Building Efficient and Flexible Systems - Carter, Ford, Hibler.. (1993)   (Correct)
Leigh B. Stoller Mark R. Swanson Ravindra Kuramkote - Mail Fstoller   (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