MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Extensibility, Safety and Performance in the SPIN Operating System." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

ATOM

Extensibility, safety and performance in the SPIN operating system
by Brian N. Bershad, Stefan Savage, Przemys Pardyak, Emin Gun Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, Susan Eggers — 1995
… on Operating Systems Principles Extensibility, Safety and Performance in the SPIN Operating System Brian N…
Cited by 365 (12 self) – Add To MetaCart

Extensible Operating Systems
by Priyank Porwal, Pratyusa Manadhata, Savage Stefan Savage, Brian N. Bershad, Issues In, Engler Dawson R. Engler, Et Al, Exokernel An Operating — 2001
… Principles (SOSP), 1997. 8. [SOSP95] Bershad, et al, Extensibility, Safety and Performance in SPIN Operating…
Add To MetaCart

Stefan Savage
by Research Interests My, Stefan Savage
…, Safety and Performance in the SPIN Operating System", In Proceedings of the 15 th ACM Symposium…
Add To MetaCart

An Explicit Binding Model for Runtime Extensible Operating Systems
by Michael Clarke, Geoff Coulson, Bailrigg Lancaster, La Yr U. K — 1999
… and Performance in the SPIN Operating System". Proceedings of the 15 th ACM Symposium on Operating Systems…
Cited by 1 (1 self) – Add To MetaCart

Pertitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
by Dennis Volpano, Cynthia Irvine, Series In Engineering, Computer Science, Matthew M. Wilding, David S. Hardin, John Rushby — 1999
…. Extensibility, safety and performance in the SPIN operating system. In Fifteenth ACM Symposium on Operating…
Add To MetaCart

Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles
by Acm, Conference Committee, General Chair, John K. Bennett, Publications S, Hya Dwarkadas, Treasurer Alan, L. Cox — 1995
…. Extensibility, Safety and Performance in the SPIN Operating System 46 M. N. Nelson, M. Linton, S. Owicki A…
Add To MetaCart

Showing 1 through 6.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB