( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem.

, и . FMCAD, том 2517 из Lecture Notes in Computer Science, стр. 274-291. Springer, (2002)

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.

Tobias Sawada

Jun Jun Lu

Paul Akio Sawada

Paul Akio Sawada

Paul Akio Sawada

 

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

Derivation of a rotator circuit with homogeneous interconnect., и . Inf. Process. Lett., 77 (2-4): 131-135 (2001)Scalable conditional equivalence checking: An automated invariant-generation based approach., , , , и . FMCAD, стр. 120-127. IEEE, (2009)Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem., и . FMCAD, том 2517 из Lecture Notes in Computer Science, стр. 274-291. Springer, (2002)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)Development of Suspension-type Arresters for Transmission Lines, , , , , , и . IEEE Transactions on Power Delivery, 8 (3): 1-8 (июля 1993)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)Combining ACL2 and an automated verification tool to verify a multiplier., и . ACL2, стр. 63-70. ACM, (2006)