6020 search results - page 364 / 1204 » A New Approach to Model Counting |
203
click to vote
FMSD
2002
15 years 6 months ago
2002
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
220
click to vote
ISW
2004
Springer
16 years 5 days ago
2004
Springer
In key-insulated cryptography, there are many private keys with different indexes and a single, fixed public key. When the trust model includes multiple Certification Authoritie...
162
click to vote
IVC
2007
15 years 6 months ago
2007
The suitability of polar representation for quantitative image processing tasks is investigated. The classical colour polar-based representations (HLS, HSV, etc.) lead to brightne...
167
click to vote
TASLP
2010
15 years 1 months ago
2010
The knowledge of the target speech presence probability in a mixture of signals captured by a speech communication system is of paramount importance in several applications includi...
186
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we present a novel statistical full-chip leakage power analysis method. The new method can provide a general framework to derive the full-chip leakage current or po...