Jun Sawada
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
4
Active years
1997–2016
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | SC | Truenorth ecosystem for brain-inspired computing: scalable systems, software, and applications. | Jun Sawada, Filipp Akopyan, Andrew S. Cassidy, Brian Taba, Michael V. DeBole, Pallab Datta, Rodrigo Alvarez-Icaza, Arnon Amir, John V. Arthur, Alexander Andreopoulos, Rathinakumar Appuswamy, Heinz Baier, Davis Barch, David J. Berg, Carmelo di Nolfo, Steven K. Esser, Myron Flickner, Thomas A. Horvath, Bryan L. Jackson, Jeff Kusnitz, Scott Lekuch, Michael Mastro, Timothy Melano, Paul A. Merolla, Steven E. Millman, Tapan K. Nayak, Norm Pass, Hartmut E. Penner, William P. Risk, Kai Schleupen, Benjamin G. Shaw, Hayley Wu, Brian Giera, Adam T. Moody, T. Nathan Mundhenk, Brian Van Essen, Eric X. Wang, David P. Widemann, Qing Wu, William E. Murphy, Jamie K. Infantolino, James A. Ross, Dale R. Shires, Manuel M. Vindiola, Raju Namburu, Dharmendra S. Modha |
| 2014 | SC | 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. | Andrew S. Cassidy, Rodrigo Alvarez-Icaza, Filipp Akopyan, Jun Sawada, John V. Arthur, Paul Merolla, Pallab Datta, Marc Gonzlez Tallada, Brian Taba, Alexander Andreopoulos, Arnon Amir, Steven K. Esser, Jeff Kusnitz, Rathinakumar Appuswamy, Chuck Haymes, Bernard Brezzo, Roger Moussalli, Ralph Bellofatto, Christian W. Baks, Michael Mastro, Kai Schleupen, Charles E. Cox, Ken Inoue, Steven E. Millman, Nabil Imam, Emmett McQuinn, Yutaka Y. Nakamura, Ivan Vo, Chen Guok, Don Nguyen, Scott Lekuch, Sameh W. Asaad, Daniel J. Friedman, Bryan L. Jackson, Myron Flickner, William P. Risk, Rajit Manohar, Dharmendra S. Modha |
| 2013 | IJCNN | Cognitive computing building block: A versatile and efficient digital neuron model for neurosynaptic cores. | Andrew S. Cassidy, Paul Merolla, John V. Arthur, Steven K. Esser, Bryan L. Jackson, Rodrigo Alvarez-Icaza, Pallab Datta, Jun Sawada, Theodore M. Wong, Vitaly Feldman, Arnon Amir, Daniel Ben Dayan Rubin, Filipp Akopyan, Emmett McQuinn, William P. Risk, Dharmendra S. Modha |
| 2011 | FMCAD | Hybrid verification of a hardware modular reduction engine. | Jun Sawada, Peter Sandon, Viresh Paruthi, Jason Baumgartner, Michael L. Case, Hari Mony |
| 2010 | FMCAD | Automatic verification of estimate functions with polynomials of bounded functions. | Jun Sawada |
| 2009 | FMCAD | Scalable conditional equivalence checking: An automated invariant-generation based approach. | Jason Baumgartner, Hari Mony, Michael L. Case, Jun Sawada, Karen Yorav |
| 2006 | FMCAD | ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool. | Jun Sawada, Erik Reeber |
| 2002 | FMCAD | Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem. | Jun Sawada, Ruben Gamboa |
| 2000 | FMCAD | Hardware Modeling Using Function Encapsulation. | Jun Sawada, Warren A. Hunt Jr. |
| 1998 | CAV | Processor Verification with Precise Exeptions and Speculative Execution. | Jun Sawada, Warren A. Hunt Jr. |
| 1997 | CAV | Trace Table Based Approach for Pipeline Microprocessor Verification. | Jun Sawada, Warren A. Hunt Jr. |