13489 search results - page 10 / 2698 » Self-migration of operating systems |
OSDI
2000
ACM
15 years 1 months ago
2000
ACM
SOSP
1993
ACM
15 years 1 months ago
1993
ACM
85
Voted
ISARCS
2010
15 years 1 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
CSC
2006
15 years 1 months ago
2006
: A review of a uni...ed approach to nonlinear operator dynamical systems is presented. The solution to a system of nonanticipating operator di
USENIX
2003
15 years 1 months ago
2003
Abstract: A virtual-machine monitor (VMM) is a useful technique for adding functionality below existing operating system and application software. One class of VMMs (called Type II...