Author of the publication

HRLSim: A High Performance Spiking Neural Network Simulator for GPGPU Clusters.

, , , , , and . IEEE Trans. Neural Networks Learn. Syst., 25 (2): 316-331 (2014)

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.

 

Other publications of authors with the same name

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection., , , and . ICFP, page 172-183. ACM, (2006)Programming Time-Multiplexed Reconfigurable Hardware Using a Scalable Neuromorphic Compiler., , , , and . IEEE Trans. Neural Networks Learn. Syst., 23 (6): 889-901 (2012)HRLSim: A High Performance Spiking Neural Network Simulator for GPGPU Clusters., , , , , and . IEEE Trans. Neural Networks Learn. Syst., 25 (2): 316-331 (2014)Practical Reflection for Sequent Logics., , , and . Electron. Notes Theor. Comput. Sci., 174 (5): 79-94 (2007)JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants., , , and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 421-426. Springer, (2001): Designing a Scalable Build Process., and . FASE, volume 3922 of Lecture Notes in Computer Science, page 63-78. Springer, (2006)MetaPRL - A Modular Logical Environment., , , , , , , , , and 5 other author(s). TPHOLs, volume 2758 of Lecture Notes in Computer Science, page 287-303. Springer, (2003)Sequent Schema for Derived Rules., and . TPHOLs, volume 2410 of Lecture Notes in Computer Science, page 281-297. Springer, (2002)Markov's Principle for Propositional Type Theory., and . CSL, volume 2142 of Lecture Notes in Computer Science, page 570-584. Springer, (2001)Fast Tactic-Based Theorem Proving., and . TPHOLs, volume 1869 of Lecture Notes in Computer Science, page 252-267. Springer, (2000)