53 search results - page 6 / 11 » A Path to Virtual Software Inspection |
SP
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a new technique that enables software recovery in legacy applications by retrofitting exception-handling capabilities, error virtualization using rescue points. We int...
VEE
2012
ACM
12 years 3 months ago
2012
ACM
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
ICRA
1999
IEEE
13 years 11 months ago
1999
IEEE
: Well known collision avoiding approaches used in automatic robot path planning are also applied in teleoperation systems when moving in hazardous environments. In such cases, it ...
APSEC
2002
IEEE
14 years 13 days ago
2002
IEEE
In this paper, we propose a virtual file system, “SPDFS,” which provides global declarations in source programs as virtual files to programmers. Global declarations means ob...
WOSP
2010
ACM
14 years 23 days ago
2010
ACM
Virtualization has been shown to be an attractive path to increase overall system resource utilization. The use of live virtual machine (VM) migration has enabled more effective ...