846 search results - page 14 / 170 » The Use of Z |
MSS
2000
IEEE
15 years 2 months ago
2000
IEEE
We present a trace-driven simulator that evaluates the performance of backup algorithms. We use this simulator to compare the performance of the commonly-used level scheme (our na...
ICCAD
2005
IEEE
15 years 6 months ago
2005
IEEE
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
82
Voted
ICCAD
2008
IEEE
15 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...
UM
2010
Springer
15 years 2 months ago
2010
Springer