248 search results - page 35 / 50 » Virtual Symmetry Reduction |
155
click to vote
FAC
2010
15 years 2 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...
104
click to vote
IPPS
2010
IEEE
15 years 2 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...
159
click to vote
SIGCOMM
2012
ACM
13 years 6 months 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...
124
click to vote
ICIP
2009
IEEE
16 years 5 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...
150
click to vote
ICIP
2009
IEEE
16 years 5 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 ...