846 search results - page 14 / 170 » The Use of Z |
69
Voted
MSS
2000
IEEE
15 years 6 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...
116
Voted
ICCAD
2005
IEEE
15 years 10 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...
103
click to vote
ICSE
2004
IEEE-ACM
16 years 1 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...
112
click to vote
ICCAD
2008
IEEE
15 years 10 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...
71
Voted
UM
2010
Springer
15 years 7 months ago
2010
Springer