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.

 

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

Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem., и . FMCAD, том 2517 из Lecture Notes in Computer Science, стр. 274-291. Springer, (2002)TrueNorth: Design and Tool Flow of a 65 mW 1 Million Neuron Programmable Neurosynaptic Chip., , , , , , , , , и 8 other автор(ы). IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 34 (10): 1537-1557 (2015)IBM NorthPole Neural Inference Machine., , , , , , , , , и 22 other автор(ы). HCS, стр. 1-58. IEEE, (2023)Hybrid verification of a hardware modular reduction engine., , , , , и . FMCAD, стр. 207-214. FMCAD Inc., (2011)Truenorth ecosystem for brain-inspired computing: scalable systems, software, and applications., , , , , , , , , и 36 other автор(ы). SC, стр. 130-141. IEEE Computer Society, (2016)The Ambiguity of Tense in the Japanese Mirative Sentence with Nante/Towa., и . JSAI-isAI Workshops, том 12331 из Lecture Notes in Computer Science, стр. 325-340. Springer, (2019)Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability., и . Formal Methods Syst. Des., 20 (2): 187-222 (2002)Development of Suspension-type Arresters for Transmission Lines, , , , , , и . IEEE Transactions on Power Delivery, 8 (3): 1-8 (июля 1993)Verifying the FM9801 microarchitecture., и . IEEE Micro, 19 (3): 47-55 (1999)Results of the Verification of a Complex Pipelined Machine Model., и . CHARME, том 1703 из Lecture Notes in Computer Science, стр. 313-316. Springer, (1999)