1365 search results - page 16 / 273 » Maximal Causality Analysis |
CONCURRENCY
2007
15 years 17 days ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
100
Voted
SAS
2009
Springer
16 years 1 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
86
Voted
DEBU
2010
14 years 10 months ago
2010
Provenance is often used to validate data, by verifying its origin and explaining its derivation. When searching for "causes" of tuples in the query results or in genera...
111
Voted
ICML
2008
IEEE
16 years 1 months ago
2008
IEEE
Causal analysis of continuous-valued variables typically uses either autoregressive models or linear Gaussian Bayesian networks with instantaneous effects. Estimation of Gaussian ...
UAI
2008
15 years 2 months ago
2008
We conjecture that the worst case number of experiments necessary and sufficient to discover a causal graph uniquely given its observational Markov equivalence class can be specif...