704 search results - page 90 / 141 » A Randomized Method for Integrated Exploration |
134
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
106
click to vote
BVAI
2007
Springer
15 years 7 months ago
2007
Springer
Correlation analysis of neuronal spiking activity relies on the availability of distributions for assessing significance. At present, these distributions can only be created by su...
115
click to vote
EUROCRYPT
2006
Springer
15 years 5 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...
108
click to vote
ICCAD
1995
IEEE
15 years 5 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...
SCANGIS
2003
15 years 3 months ago
2003
GISs give users facilities to integrate and analyze data from different sources with different scale, accuracy, resolution and quality of the original data which are the key aspect...