Sciweavers

16430 search results - page 495 / 3286
» On Computable Tree Functions
Sort
View
IPPS
2008
IEEE
16 years 1 months ago
Model-based fault localization in large-scale computing systems
We propose a new fault localization technique for software bugs in large-scale computing systems. Our technique always collects per-process function call traces of a target system...
Naoya Maruyama, Satoshi Matsuoka
JFP
2000
91views more  JFP 2000»
15 years 6 months ago
Uniform confluence in concurrent computation
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...
Joachim Niehren
SP
2002
IEEE
147views Security Privacy» more  SP 2002»
15 years 6 months ago
CX: A scalable, robust network for parallel computing
CX, a network-based computational exchange, is presented. The system's design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks...
Peter R. Cappello, Dimitros Mourloukos
CVPR
2007
IEEE
16 years 9 months ago
Evaluation of Cost Functions for Stereo Matching
Stereo correspondence methods rely on matching costs for computing the similarity of image locations. In this paper we evaluate the insensitivity of different matching costs with ...
Daniel Scharstein, Heiko Hirschmüller
ECCV
1992
Springer
16 years 8 months ago
Texture Segmentation by Minimizing Vector-Valued Energy Functionals: The Coupled-Membrane Model
This paper presents a computational model that segments images based on the textural properties of object surfaces. The proposed Coupled-Membrane model applies the weak membrane ap...
Tai Sing Lee, David Mumford, Alan L. Yuille