Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Verified Real Number Calculations: A Library for Interval Arithmetic., , and . IEEE Trans. Computers, 58 (2): 226-237 (2009)Effective Continued Fractions.. IEEE Symposium on Computer Arithmetic, page 163-. IEEE Computer Society, (2001)Processing with a million cores., , , and . PARCO, volume 22 of Advances in Parallel Computing, page 327-334. IOS Press, (2011)Stochastic Formal Methods: An Application to Accuracy of Numeric Software., and . HICSS, page 262. IEEE Computer Society, (2007)Overview of the SpiNNaker System Architecture., , , , , , and . IEEE Trans. Computers, 62 (12): 2454-2467 (2013)Approximate Fixed-Point Elementary Function Accelerator for the SpiNNaker-2 Neuromorphic Chip., , , , , , , , and . ARITH, page 37-44. IEEE, (2018)SpiNNaker: The Design Automation Problem., , , , and . ICONIP (2), volume 5507 of Lecture Notes in Computer Science, page 1049-1056. Springer, (2008)SpiNNaker: Mapping neural networks onto a massively-parallel chip multiprocessor., , , , , , and . IJCNN, page 2849-2856. IEEE, (2008)An Executable Specification of the HDG-Machine., and . International Journal of High Speed Computing, 5 (3): 327-378 (1993)Using PVS to validate the algorithms of an exact arithmetic., and . Theor. Comput. Sci., 291 (2): 203-218 (2003)