Export 3 results:
Sort by: Filters: Author is Patrick Tullmann [Clear All Filters]
Techniques for the Design of Java Operating Systems,
, San Diego, {CA}, USENIXASSOC, pp. 197–210, jun, 2000.
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.