Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

TrueNorth: Design and Tool Flow of a 65 mW 1 Million Neuron Programmable Neurosynaptic Chip., , , , , , , , , und 8 andere Autor(en). IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 34 (10): 1537-1557 (2015)Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem., und . FMCAD, Volume 2517 von Lecture Notes in Computer Science, Seite 274-291. Springer, (2002)IBM NorthPole Neural Inference Machine., , , , , , , , , und 22 andere Autor(en). HCS, Seite 1-58. IEEE, (2023)Hybrid verification of a hardware modular reduction engine., , , , , und . FMCAD, Seite 207-214. FMCAD Inc., (2011)Truenorth ecosystem for brain-inspired computing: scalable systems, software, and applications., , , , , , , , , und 36 andere Autor(en). SC, Seite 130-141. IEEE Computer Society, (2016)The Ambiguity of Tense in the Japanese Mirative Sentence with Nante/Towa., und . JSAI-isAI Workshops, Volume 12331 von Lecture Notes in Computer Science, Seite 325-340. Springer, (2019)Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability., und . Formal Methods Syst. Des., 20 (2): 187-222 (2002)Combining ACL2 and an automated verification tool to verify a multiplier., und . ACL2, Seite 63-70. ACM, (2006)Development of Suspension-type Arresters for Transmission Lines, , , , , , und . IEEE Transactions on Power Delivery, 8 (3): 1-8 (Juli 1993)Verifying the FM9801 microarchitecture., und . IEEE Micro, 19 (3): 47-55 (1999)