290 search results - page 18 / 58 » Congruence for Structural Congruences |
154
Voted
ICCAD
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
109
click to vote
ICC
2007
IEEE
16 years 4 days ago
2007
IEEE
—In this paper, we study a new family of carrier-hopping prime codes (CHPCs), so-called quadraticcongruence CHPC (QC-CHPC), with expanded code cardinality by relaxing the maximum...
141
click to vote
FSEN
2007
Springer
15 years 12 months ago
2007
Springer
Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equivalence for ...