From post

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.

 

Другие публикации лиц с тем же именем

Processing with a million cores., , , и . PARCO, том 22 из Advances in Parallel Computing, стр. 327-334. IOS Press, (2011)SpiNNaker: The Design Automation Problem., , , , и . ICONIP (2), том 5507 из Lecture Notes in Computer Science, стр. 1049-1056. Springer, (2008)Effective Continued Fractions.. IEEE Symposium on Computer Arithmetic, стр. 163-. IEEE Computer Society, (2001)Approximate Fixed-Point Elementary Function Accelerator for the SpiNNaker-2 Neuromorphic Chip., , , , , , , , и . ARITH, стр. 37-44. IEEE, (2018)Brewing the first ever automatic memory management utility for SpiNNaker: Real-time garbage collection for STDP simulations., и . IJCNN, стр. 3008-3015. IEEE, (2017)A Modular Fully-lazy Lambda Lifter in HASKELL., и . Softw. Pract. Exp., 21 (5): 479-506 (1991)A monadic approach to automated reasoning for Bluespec SystemVerilog., и . Innov. Syst. Softw. Eng., 7 (2): 85-95 (2011)Inducing Students to Induct., и . FPLE, том 1022 из Lecture Notes in Computer Science, стр. 159-177. Springer, (1995)A constructive algorithm for finding the exact roots of polynomials with computable real coefficients., , и . Theor. Comput. Sci., 279 (1-2): 51-64 (2002)The G-machine as a representation of stack semantics.. FPCA, том 274 из Lecture Notes in Computer Science, стр. 46-59. Springer, (1987)