Sciweavers

3 search results - page 1 / 1
» SPIN - An Extensible Microkernel for Application-specific Op...
Sort
View
SIGOPSE
1994
ACM
13 years 9 months ago
SPIN - An Extensible Microkernel for Application-specific Operating System Services
Application domains, such as multimedia, databases, and parallel computing, require operating system services with high performance and high functionality. Existing operating syst...
Brian N. Bershad, Craig Chambers, Susan J. Eggers,...
HOTOS
1997
IEEE
13 years 9 months ago
Security for Extensible Systems
The recent trend towards dynamically extensible systems, such as Java, SPIN or VINO, promises more powerful and flexible systems. At the same time, the impact of extensibility on...
Robert Grimm, Brian N. Bershad
POPL
1999
ACM
13 years 9 months ago
Typed Memory Management in a Calculus of Capabilities
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
Karl Crary, David Walker, J. Gregory Morrisett