571 search results - page 14 / 115 » Performing causality analysis by bounded model checking |
108
Voted
GLVLSI
2005
IEEE
15 years 9 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
147
Voted
RP
2009
Springer
15 years 10 months ago
2009
Springer
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
118
Voted
ESOP
2003
Springer
15 years 8 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
166
Voted
ICONIP
2007
15 years 5 months ago
2007
Abstract. An effective way to examine causality is to conduct an experiment with random assignment. However, in many cases it is impossible or too expensive to perform controlled ...
114
click to vote
ICIP
2009
IEEE
16 years 4 months ago
2009
IEEE
In this paper, we present new results in performance analysis of super-resolution (SR) image reconstruction. We investigate bounds on the improvement in resolution that can be ach...