2584 search results - page 53 / 517 » On the Forward Checking Algorithm |
TACAS
2007
Springer
14 years 2 months ago
2007
Springer
NA
2008
13 years 7 months ago
2008
Stewart's Krylov-Schur algorithm offers two advantages over Sorensen's implicitly restarted Arnoldi (IRA) algorithm. The first is ease of deflation of converged Ritz vect...
ESCIENCE
2006
IEEE
14 years 2 months ago
2006
IEEE
Effective scheduling in large-scale computational grids is challenging because it requires tracking the dynamic state of the large number of distributed resources that comprise th...
ASPDAC
2006
ACM
14 years 1 months ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...