25 search results - page 3 / 5 » Parametric and Sliced Causality |
ISSTA
2010
ACM
14 years 1 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
JMLR
2010
13 years 4 months ago
2010
Recent evaluations have indicated that in practice, general methods for prediction which do not account for changes in the conditional distribution of a target variable given feat...
MICCAI
2008
Springer
14 years 11 months ago
2008
Springer
We present a slicing-based coherence measure for clusters of DTI integral curves. For a given cluster, we probe samples from the cluster by slicing it with a plane at regularly spa...
FORMATS
2010
Springer
13 years 7 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
ICFP
2004
ACM
14 years 9 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...