3335 search results - page 346 / 667 » Grid result checking |
181
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Low-Density Parity-Check (LDPC) codes are usually decoded by running an iterative belief-propagation, or message-passing, algorithm over the factor graph of the code. The tradi...
176
click to vote
CSL
2007
Springer
16 years 25 days ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
156
click to vote
FMCAD
2007
Springer
16 years 25 days ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
169
click to vote
CSFW
2006
IEEE
16 years 22 days ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
183
click to vote
DATE
2006
IEEE
16 years 22 days ago
2006
IEEE
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...