1089 search results - page 152 / 218 » Randomness and Reducibility |
118
Voted
ASPDAC
2006
ACM
15 years 6 months 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...
123
Voted
EUROCRYPT
2006
Springer
15 years 6 months 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...
107
Voted
EKAW
2000
Springer
15 years 6 months 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...
122
Voted
ARVLSI
1995
IEEE
15 years 6 months 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...
114
Voted
ICCAD
1995
IEEE
15 years 6 months 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...