13489 search results - page 10 / 2698 » Self-migration of operating systems |
OSDI
2000
ACM
14 years 11 months ago
2000
ACM
SOSP
1993
ACM
14 years 11 months ago
1993
ACM
ISARCS
2010
14 years 12 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
14 years 11 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
14 years 11 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...