121 search results - page 10 / 25 » Efficient algorithms for verifying memory consistency |
107
click to vote
IJCV
2002
14 years 11 months ago
2002
In this paper, a new hierarchical stereo algorithm is presented. The algorithm matches individual pixels in corresponding scanlines by minimizing a cost function. Several cost fun...
131
click to vote
ICC
2011
IEEE
13 years 11 months ago
2011
IEEE
—Regular expression matching has become a critical yet challenging technique in content-aware network processing, such as application identification and deep inspection. To meet ...
RTSS
1996
IEEE
15 years 3 months ago
1996
IEEE
We propose a method for reducing the number of clocks of a timed automaton by combining two algorithms. The first one consists in detecting active clocks, that is, those clocks wh...
101
click to vote
ICS
2009
Tsinghua U.
15 years 4 months ago
2009
Tsinghua U.
ABSTRACT Because of technology advances power consumption has emerged up as an important design issue in modern high-performance microprocessors. As a consequence, research on redu...
102
click to vote
DFT
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper addresses the problem of test response compaction. In order to maximize compaction ratio, a single-output encoder based on check matrix of a (n, n1, m, 3) convolutional...