13026 search results - page 103 / 2606 » Probabilistic Relational Models |
133
click to vote
STTT
2011
14 years 10 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
123
Voted
RV
2007
Springer
15 years 9 months ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
ICCV
2003
IEEE
16 years 5 months ago
2003
IEEE
155
click to vote
PASTE
2010
ACM
15 years 8 months ago
2010
ACM
Recently there has been significant interest in employing probabilistic techniques for fault localization. Using dynamic dependence information for multiple passing runs, learnin...
153
click to vote
IANDC
2006
15 years 3 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...