Sciweavers

503 search results - page 62 / 101
» Live Debugging of Distributed Systems
Sort
View
SAFECOMP
2000
Springer
14 years 9 days ago
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach
Fault tolerant systems based on the use of software design diversity may be able to achieve high levels of reliability more cost-effectively than other approaches, such as heroic ...
Bev Littlewood, Peter T. Popov, Lorenzo Strigini
HPCA
2011
IEEE
13 years 14 days ago
Bloom Filter Guided Transaction Scheduling
Contention management is an important design component to a transactional memory system. Without effective contention management to ensure forward progress, a transactional memory...
Geoffrey Blake, Ronald G. Dreslinski, Trevor N. Mu...
CVPR
2012
IEEE
11 years 11 months ago
Dense reconstruction on-the-fly
We present a novel system that is capable of generating live dense volumetric reconstructions based on input from a micro aerial vehicle. The distributed reconstruction pipeline i...
Andreas Wendel, Michael Maurer, Gottfried Graber, ...
VCIP
2003
146views Communications» more  VCIP 2003»
13 years 10 months ago
Real-time free-viewpoint video rendering from volumetric geometry
The aim of this work is to render high-quality views of a dynamic scene from novel viewpoints in real-time. An online system available at our institute computes the visual hull as...
Bastian Goldlücke, Marcus A. Magnor
CONCUR
2010
Springer
13 years 9 months ago
Simulation Distances
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
Pavol Cerný, Thomas A. Henzinger, Arjun Rad...