2584 search results - page 113 / 517 » On the Forward Checking Algorithm |
138
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—A bit-node centric decoder architecture for lowdensity parity-check codes is proposed. This architecture performs the optimum sum-product algorithm. A bit node processin...
139
click to vote
DFT
2005
IEEE
15 years 10 months ago
2005
IEEE
The present paper proposes a new method for detecting arbitrary faults in a functional circuit when the set of codewords is limited and known in advance. The method is based on im...
159
Voted
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
138
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
159
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...