1518 search results - page 72 / 304 » Cryptographic Test Correction |
122
Voted
SOFSEM
2012
Springer
13 years 8 months ago
2012
Springer
The classical group testing problem asks to determine at most d defective elements in a set of n elements, by queries to subsets that return Yes if the subset contains some defecti...
85
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
We investigate a practical approach to solving one instantiation of a distributed hypothesis testing problem under severe rate constraints that shows up in a wide variety of appli...
81
Voted
DELTA
2008
IEEE
15 years 7 months ago
2008
IEEE
The advances of CMOS technology towards 45 nm, the high costs of ASIC design, power limitations and fast changing application requirements have stimulated the usage of highly reco...
105
click to vote
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
109
click to vote
ICSEA
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...