1229 search results - page 65 / 246 » Live updating operating systems using virtualization |
118
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
125
click to vote
USENIX
2004
15 years 2 months ago
2004
Xen is an x86 virtual machine monitor produced by the University of Cambridge Computer Laboratory and released under the GNU General Public License. Performance results comparing ...
121
click to vote
MOBICOM
2004
ACM
15 years 7 months ago
2004
ACM
We present MobiDesk, a mobile virtual desktop computing hosting infrastructure that leverages continued improvements in network speed, cost, and ubiquity to address the complexity...
111
click to vote
ICRA
2003
IEEE
15 years 6 months ago
2003
IEEE
We report an experimental high- delity system for making psychophysical measurements on human operators performing real, virtual, and real-remote 3D haptic manipulation tasks. Ope...
122
click to vote
SACMAT
2009
ACM
15 years 8 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...