Sciweavers

1518 search results - page 18 / 304
» Cryptographic Test Correction
Sort
View
154
Voted
ARITH
2001
IEEE
15 years 4 months ago
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision
We give the results of our search for the worst cases for correct rounding of the major elementary functions in double precision floating-point arithmetic. These results allow the...
Vincent Lefèvre, Jean-Michel Muller
95
Voted
CORR
2008
Springer
129views Education» more  CORR 2008»
15 years 16 days ago
A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem
Although a deterministic polytime algorithm for primality testing is now known ([4]), the Rabin-Miller randomized test of primality continues being the most efficient and widely u...
Grzegorz Herman, Michael Soltys
107
Voted
ISCAS
2006
IEEE
140views Hardware» more  ISCAS 2006»
15 years 6 months ago
Multilevel flash memory on-chip error correction based on trellis coded modulation
This paper presents a multilevel (ML) Flash memory onchip error correction system design based on the concept of trellis coded modulation (TCM). This is motivated by the non-trivi...
Fei Sun, Siddharth Devarajan, Kenneth Rose, Tong Z...
88
Voted
ANLP
1992
117views more  ANLP 1992»
15 years 1 months ago
Detecting and Correcting Morpho-syntactic Errors in Real Texts
This paper presents a system which detects and corrects morpho-syntactic errors in Dutch texts. It includes a spelling corrector and a shift-reduce parser for Augmented Context-fr...
Theo Vosse
94
Voted
SIGIR
2009
ACM
15 years 7 months ago
Score adjustment for correction of pooling bias
Information retrieval systems are evaluated against test collections of topics, documents, and assessments of which documents are relevant to which topics. Documents are chosen fo...
William Webber, Laurence A. F. Park