248 search results - page 35 / 50 » Virtual Symmetry Reduction |
FAC
2010
13 years 8 months ago
2010
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
IPPS
2010
IEEE
13 years 7 months ago
2010
IEEE
Hypervisor-based fault tolerance (HBFT), a checkpoint-recovery mechanism, is an emerging approach to sustaining mission-critical applications. Based on virtualization technology, H...
SIGCOMM
2012
ACM
12 years 3 days ago
2012
ACM
We present PaDIS Emulator, a fully automated platform to evaluate CDN-ISP collaboration for better content delivery, traffic engineering, and cost reduction. The PaDIS Emulator e...
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
We present a novel and efficient multi-view depth map enhancement method proposed as a post-processing of initially estimated depth maps. The proposed method is based on edge, mot...
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
Light field rendering is an approach to synthesize virtual views of a scene from a set of original images. When minimizing the number of images for rendering, the light field may ...