39 search results - page 6 / 8 » Analysis of Virtual Method Invocation for Binary Translation |
168
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...
158
click to vote
ICCV
1995
IEEE
15 years 8 months ago
1995
IEEE
The fundamental matrix is a basic tool in the analysis of scenes taken with two uncalibrated cameras, and the 8-point algorithm is a frequently cited method for computing the fund...
182
click to vote
CVPR
1999
IEEE
16 years 7 months ago
1999
IEEE
This paper presents a novel approach for generating and analyzing epipolar plane images (EPIs) from video sequences taken from a moving platform subject to vibration so that the 3...
124
click to vote
CGO
2004
IEEE
15 years 9 months ago
2004
IEEE
Operand gating is a technique for improving processor energy efficiency by gating off sections of the data path that are unneeded by short-precision (narrow) operands. A method fo...
163
click to vote
SAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...