2584 search results - page 255 / 517 » On the Forward Checking Algorithm |
144
click to vote
SIAMMAX
2011
14 years 10 months ago
2011
Abstract. This paper concerns the computation of the coefficients ck of the characteristic polynomial of a real or complex matrix A. We analyze the forward error in the coefficient...
161
click to vote
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
112
click to vote
CTRSA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Fault Analysis is a powerful cryptanalytic technique that enables to break cryptographic implementations embedded in portable devices more efficiently than any other tech...
119
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Given a theory T and two formulas A and B jointly unsatisfiable in T , a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by ...
131
click to vote
ICPP
2009
IEEE
15 years 9 months ago
2009
IEEE
—Equilibria computation is of great importance to many areas such as economics, control theory, and recently computer science. We focus on the computation of Nash equilibria in t...