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