1169 search results - page 223 / 234 » Migration without Virtualization |
136
click to vote
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
This paper proposes new network interface controller (NIC) designs that take advantage of integration with the host CPU to provide increased flexibility for operating system kerne...
123
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
129
click to vote
MOBISYS
2010
ACM
15 years 4 months ago
2010
ACM
WiFi radios in smart-phones consume a significant amount of power when active. The 802.11 standard allows these devices to save power through an energy-conserving Power Save Mode ...
114
click to vote
USENIX
2008
15 years 4 months ago
2008
Code sandboxing is useful for many purposes, but most sandboxing techniques require kernel modifications, do not completely isolate guest code, or incur substantial performance co...
131
click to vote
APGV
2008
ACM
15 years 3 months ago
2008
ACM
Recovering 3D shape from shading is an ill-posed problem that the visual system can solve only by making use of additional information such as the position of the light source. Pr...