Overflow detection in multiple P-adic parallel implementation


In this paper, we explored the reasons that caused an overflow problem with <i>P</i>-adic arithmetic. We developed an overflow detection method for multiple <i>P</i>-adic data type. The new method proposed in this paper can improve the detection accuracy with fewer verification terms. Experimental results are given to illustrate the concepts. 
DOI: 10.1145/2663761.2664187


Cite this paper

@inproceedings{Li2014OverflowDI, title={Overflow detection in multiple P-adic parallel implementation}, author={Xinkai Li and Chao Lu and Jon A. Sjogren}, booktitle={RACS}, year={2014} }