1229 search results - page 33 / 246 » Live updating operating systems using virtualization |
ENTCS
2008
13 years 9 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
It has been reported that virtual reality can be a useful tool for ergonomics study. The proposed integrated simulation system aims at measuring operator’s performance in an int...
ICIP
2003
IEEE
14 years 11 months ago
2003
IEEE
This paper presents a video acquisition system that can learn automatic video capture from human's camera operations. Unlike a predefined camera control system, this system c...
VEE
2012
ACM
12 years 5 months ago
2012
ACM
Time Of Check To Time Of Use (TOCTTOU) race conditions for file accesses in user-space applications are a common problem in Unix-like systems. The mapping between filename and i...
ICFP
1999
ACM
14 years 2 months ago
1999
ACM
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...