Christophe Le Lann, David Boland, George A. Constantinides. The Krawczyk Algorithm: Rigorous Bounds for Linear Equation Solution on an FPGA. In Andreas Koch, Ram Krishnamurthy, John McAllister, Roger Woods, Tarek A. El-Ghazawi, editors, Reconfigurable Computing: Architectures, Tools and Applications - 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings. Volume 6578 of Lecture Notes in Computer Science, pages 287-295, Springer, 2011. [doi]
@inproceedings{LannBC11, title = {The Krawczyk Algorithm: Rigorous Bounds for Linear Equation Solution on an FPGA}, author = {Christophe Le Lann and David Boland and George A. Constantinides}, year = {2011}, doi = {10.1007/978-3-642-19475-7_31}, url = {http://dx.doi.org/10.1007/978-3-642-19475-7_31}, researchr = {https://researchr.org/publication/LannBC11}, cites = {0}, citedby = {0}, pages = {287-295}, booktitle = {Reconfigurable Computing: Architectures, Tools and Applications - 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings}, editor = {Andreas Koch and Ram Krishnamurthy and John McAllister and Roger Woods and Tarek A. El-Ghazawi}, volume = {6578}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-19474-0}, }