290 search results - page 18 / 58 » Congruence for Structural Congruences |
ICCAD
2008
IEEE
14 years 6 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...
WSDM
2009
ACM
14 years 4 months ago
2009
ACM
ICC
2007
IEEE
14 years 4 months 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...
CALCO
2007
Springer
14 years 4 months ago
2007
Springer
FSEN
2007
Springer
14 years 4 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 ...