182 search results - page 10 / 37 » Theoretical analysis of bus-invert coding |
241
click to vote
IACR
2011
14 years 1 months ago
2011
We analyze the multivariate generalization of Howgrave-Graham’s algorithm for the approximate common divisor problem. In the m-variable case with modulus N and approximate common...
137
click to vote
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
We consider the problem of single image object motion deblurring from a static camera. It is well known that deblurring of moving objects using a traditional camera is ill-posed, d...
142
click to vote
ERSHOV
2009
Springer
14 years 11 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
119
click to vote
ERSHOV
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Historically, dynamic techniques are the pioneers of the area of information flow in the 70's. In their seminal work, Denning and Denning suggest a static alternativ...
115
click to vote
ACSC
2006
IEEE
15 years 8 months ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...