788 search results - page 57 / 158 » Symbolic Equivalence Checking |
ADT
2005
13 years 7 months ago
2005
For coded transmission over a memoryless channel, two kinds of mutual information are considered: the mutual information between a code symbol and its noisy observation and the ove...
SP
2006
IEEE
14 years 1 months ago
2006
IEEE
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant ...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Addressing both standby and active power is a major challenge in developing System-on-Chip designs for batterypowered products. Powering off sections of logic or memorie...
TCOM
2010
13 years 6 months ago
2010
—In this paper, we study nonbinary regular LDPC cycle codes whose parity check matrix H has fixed column weight
FM
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...