Export 5 results:
Sort by: Filters: Author is Jay Lepreau [Clear All Filters]
Techniques for the Design of Java Operating Systems,
, San Diego, {CA}, USENIXASSOC, pp. 197–210, jun, 2000.
Processes in KaffeOS: Isolation, Resource Management, and Sharing in {Java},
, San Diego, CA, USENIXASSOC, pp. 333–346, 2000.
The Flux OSKit: A Substrate for OS and Language Research,
, St. Malo, France, pp. 38–51, oct, 1997.
Formal Methods: A Practical Tool for OS Implementors,
, Cape Cod, {MA}, IEEE Computer Society, pp. 20–25, may, 1997.
Microkernels Meet Recursive Virtual Machines,
, Seattle, WA, USENIXASSOC, pp. 137–151, oct, 1996.