10909 search results - page 669 / 2182 » Evaluating Backup Algorithms |
223
click to vote
BROADNETS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract-- We present and evaluate a reinforcement learningbased RWA algorithm for all-optical networks subject to physical impairments. The technique is suitable for decentralized...
176
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. This paper presents a practical automatic verification procedure for proving linearizability (i.e., atomicity and functional correctness) of concurrent data structure im...
139
click to vote
CG
2004
Springer
15 years 11 months ago
2004
Springer
Most Go-playing programs use a combination of search and heuristics based on an influence function to determine whether territories are safe. However, to assure the correct evaluat...
176
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
150
click to vote
EMNLP
2007
15 years 8 months ago
2007
This paper describes ETK (Ensemble of Transformation based Keys) a new algorithm for inducing search keys for name filtering. ETK has the low computational cost and ability to ...