76 search results - page 7 / 16 » Error Detection and Authentication in Quantum Key Distributi... |
CAV
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
103
click to vote
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract-- A framework for introducing an extrinsic fingerprint signal to space-time coded transmissions at the physical-layer is presented, whereby the fingerprint signal conveys ...
GLOBECOM
2009
IEEE
15 years 3 months ago
2009
IEEE
File distribution is becoming a key technology, in particular in large scale content broadcasting systems like DVBH/SH. They largely rely on Application Level FEC codes (ALFEC) in ...
105
click to vote
BMCBI
2011
14 years 6 months ago
2011
Background: High-throughput screening (HTS) is a key part of the drug discovery process during which thousands of chemical compounds are screened and their activity levels measure...
111
click to vote
IEEEPACT
2006
IEEE
15 years 5 months ago
2006
IEEE
With reducing feature size, increasing chip capacity, and increasing clock speed, microprocessors are becoming increasingly susceptible to transient (soft) errors. Redundant multi...