4276 search results - page 30 / 856 » Computability of Probability Distributions and Distribution ... |
113
click to vote
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
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...
138
Voted
PACT
2001
Springer
15 years 7 months ago
2001
Springer
UNICORE (UNiform Interface to COmputer REsources) provides a seamless and secure access to distributed supercomputer resources. This paper will give an overview of the its architec...
125
click to vote
CIE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. In the process, we develop machinery for computably ...