1089 search results - page 152 / 218 » Randomness and Reducibility |
ASPDAC
2006
ACM
14 years 24 days ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
EUROCRYPT
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. Lattice-based signature schemes following the GoldreichGoldwasser-Halevi (GGH) design have the unusual property that each signature leaks information on the signer's...
EKAW
2000
Springer
14 years 20 days ago
2000
Springer
Knowledge refinement tools rely on a representative set of training examples to identify and repair faults in a knowledge based system (KBS). In real environments it is often diffi...
ARVLSI
1995
IEEE
14 years 19 days ago
1995
IEEE
The task of image acquisition is completely dominated by CCD-based sensors fabricated on specialized process lines. These devices provide an essentially passive means of detecting...
ICCAD
1995
IEEE
14 years 18 days ago
1995
IEEE
: A new approach to optimize multi-level logic circuits is introduced. Given a multi-level circuit, the synthesis method optimizes its area, simultaneously enhancing its random pat...