2584 search results - page 306 / 517 » On the Forward Checking Algorithm |
122
Voted
ISMVL
2007
IEEE
15 years 9 months ago
2007
IEEE
Stochastic computation is a new alternative approach for iterative computation on factor graphs. In this approach, the information is represented by the statistics of the bit stre...
139
Voted
ASIAN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...
140
click to vote
ASPDAC
2006
ACM
15 years 9 months ago
2006
ACM
– We propose an interconnect diagnosis scheme based on Oscillation Ring test methodology for SOC design with heterogeneous cores. The target fault models are delay faults and cro...
136
Voted
BPM
2005
Springer
15 years 9 months ago
2005
Springer
: The capability to easily find useful services becomes increasingly critical in several fields. In this paper we argue that, in many situations, the service discovery process shou...
136
Voted
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...