811 search results - page 73 / 163 » Probabilistic Semantics and Program Analysis |
171
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...
169
click to vote
UAI
1997
15 years 7 months ago
1997
Robust Bayesian inference is the calculation of posterior probability bounds given perturbations in a probabilistic model. This paper focuses on perturbations that can be expresse...
196
click to vote
ESOP
2001
Springer
15 years 10 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
164
click to vote
HYBRID
2010
Springer
16 years 20 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
180
click to vote
ISSTA
2009
ACM
16 years 20 days ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...