PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Sawada, Jun"

Author of the publication

copydeleteadd this publication to your clipboard
Truenorth ecosystem for brain-inspired computing: scalable systems, software, and applications.

, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , and . SC, page 12. ACM, (2016)

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.

Jun Chen University of Stuttgart

Jun Chen University of Stuttgart

Mathias Jung University of Stuttgart

Jong Hyun Jung University of Stuttgart

Dr. Kerstin Jung University of Stuttgart

 

Other publications of authors with the same name

Derivation of a rotator circuit with homogeneous interconnect., and . Inf. Process. Lett., 77 (2-4): 131-135 (2001)Scalable conditional equivalence checking: An automated invariant-generation based approach., , , , and . FMCAD, page 120-127. IEEE, (2009)Real-Time Scalable Cortical Computing at 46 Giga-Synaptic OPS/Watt with ~100× Speedup in Time-to-Solution and ~100, 000× Reduction in Energy-to-Solution., , , , , , , , , and 28 other author(s). SC, page 27-38. IEEE, (2014)TrueNorth: Design and Tool Flow of a 65 mW 1 Million Neuron Programmable Neurosynaptic Chip., , , , , , , , , and 8 other author(s). IEEE Trans. on CAD of Integrated Circuits and Systems, 34 (10): 1537-1557 (2015)Hybrid verification of a hardware modular reduction engine., , , , , and . FMCAD, page 207-214. FMCAD Inc., (2011)Truenorth ecosystem for brain-inspired computing: scalable systems, software, and applications., , , , , , , , , and 36 other author(s). SC, page 12. ACM, (2016)Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem., and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 274-291. Springer, (2002)Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability., and . Formal Methods in System Design, 20 (2): 187-222 (2002)Verifying the FM9801 microarchitecture., and . IEEE Micro, 19 (3): 47-55 (1999)ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool., and . FMCAD, page 161-170. IEEE Computer Society, (2006)