Sciweavers

503 search results - page 62 / 101
» Live Debugging of Distributed Systems
Sort
View
80
Voted
SAFECOMP
2000
Springer
15 years 1 months 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
14 years 1 months 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...
91
Voted
CVPR
2012
IEEE
13 years 3 days 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»
14 years 11 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
73
Voted
CONCUR
2010
Springer
14 years 10 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...