Sciweavers

13489 search results - page 6 / 2698
» Self-migration of operating systems
Sort
View
SIGOPSE
1990
ACM
15 years 10 months ago
Transparent disconnected operation for fault-tolerance
James J. Kistler, Mahadev Satyanarayanan
SIGCSE
2002
ACM
192views Education» more  SIGCSE 2002»
15 years 6 months ago
A new instructional operating system
This paper presents a new instructional operating system, OS/161, and simulated execution environment, System/161, for use in teaching an introductory undergraduate operating syst...
David A. Holland, Ada T. Lim, Margo I. Seltzer
HOTOS
2009
IEEE
15 years 10 months ago
Operating System Support for NVM+DRAM Hybrid Main Memory
:
Jeffrey C. Mogul, Eduardo Argollo, Mehul A. Shah, ...
BIRTHDAY
2009
Springer
15 years 4 months ago
Structural Operational Semantics for Weighted Transition Systems
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...
Bartek Klin
SIGOPSE
1998
ACM
15 years 10 months ago
Security architecture for component-based operating systems
Trent Jaeger, Jochen Liedtke, Vsevolod Panteleenko...