Sciweavers

13489 search results - page 6 / 2698
» Self-migration of operating systems
Sort
View
SIGOPSE
1990
ACM
15 years 1 months ago
Transparent disconnected operation for fault-tolerance
James J. Kistler, Mahadev Satyanarayanan
SIGCSE
2002
ACM
192views Education» more  SIGCSE 2002»
14 years 9 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 1 months ago
Operating System Support for NVM+DRAM Hybrid Main Memory
:
Jeffrey C. Mogul, Eduardo Argollo, Mehul A. Shah, ...
BIRTHDAY
2009
Springer
14 years 7 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 2 months ago
Security architecture for component-based operating systems
Trent Jaeger, Jochen Liedtke, Vsevolod Panteleenko...