Nicholas Moore

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 3

Top Topics

Graphics Processing Units

Gpu Implementation

Top Venues

SIAM J. Appl. Math.

Publications

Nicholas Moore, Mark Lawford
A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification. TASE (2022)
Matthew McCurdy, Nicholas Moore, Xiaoming Wang
Convection in a Coupled Free Flow-Porous Media System. SIAM J. Appl. Math. 79 (6) (2019)
Nicholas Moore, Mark Lawford
Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving. FormaliSE@ICSE (2017)
Nicholas Moore, Miriam Leeser, Laurie A. Smith King
Kernel Specialization Provides Adaptable GPU Code for Particle Image Velocimetry. IEEE Trans. Parallel Distributed Syst. 26 (4) (2015)
Nicholas Moore, Miriam Leeser, Laurie A. Smith King
Kernel Specialization for Improved Adaptability and Performance on Graphics Processing Units (GPUs). IPDPS (2013)
Saoni Mukherjee, Nicholas Moore, James Brock, Miriam Leeser
CUDA and OpenCL implementations of 3D CT reconstruction for biomedical imaging. HPEC (2012)
Nicholas Moore, Miriam Leeser, Laurie A. Smith King
VForce: An environment for portable applications on high performance systems with accelerators. J. Parallel Distributed Comput. 72 (9) (2012)
Nicholas Moore, Miriam Leeser, Laurie A. Smith King
Efficient template matching with variable size templates in CUDA. SASP (2010)
Nicholas Moore, Albert Conti, Miriam Leeser, Laurie A. Smith King
Vforce: An Extensible Framework for Reconfigurable Supercomputing. Computer 40 (3) (2007)
Nicholas Moore, Albert Conti, Miriam Leeser, Laurie A. Smith King
Writing Portable Applications that Dynamically Bind at Run Time to Reconfigurable Hardware. FCCM (2007)