Nicholas Moore

According to our database, Nicholas Moore authored at least 10 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification.

Nicholas Moore, Mark Lawford

Proceedings of the Theoretical Aspects of Software Engineering, 2022

2019

Convection in a Coupled Free Flow-Porous Media System.

Matthew McCurdy, Nicholas Moore, Xiaoming Wang

SIAM J. Appl. Math., 2019

2017

Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving.

Nicholas Moore, Mark Lawford

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

2015

Kernel Specialization Provides Adaptable GPU Code for Particle Image Velocimetry.

Nicholas Moore, Miriam Leeser, Laurie A. Smith King

IEEE Trans. Parallel Distributed Syst., 2015

2013

Kernel Specialization for Improved Adaptability and Performance on Graphics Processing Units (GPUs).

Nicholas Moore, Miriam Leeser, Laurie A. Smith King

Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013

2012

VForce: An environment for portable applications on high performance systems with accelerators.

Nicholas Moore, Miriam Leeser, Laurie A. Smith King

J. Parallel Distributed Comput., 2012

CUDA and OpenCL implementations of 3D CT reconstruction for biomedical imaging.

Saoni Mukherjee, Nicholas Moore, James Brock, Miriam Leeser

Proceedings of the IEEE Conference on High Performance Extreme Computing, 2012

2010

Efficient template matching with variable size templates in CUDA.

Nicholas Moore, Miriam Leeser, Laurie A. Smith King

Proceedings of the IEEE 8th Symposium on Application Specific Processors, 2010

2007

Vforce: An Extensible Framework for Reconfigurable Supercomputing.

Nicholas Moore, Albert Conti, Miriam Leeser, Laurie A. Smith King

Computer, 2007

Writing Portable Applications that Dynamically Bind at Run Time to Reconfigurable Hardware.

Nicholas Moore, Albert Conti, Miriam Leeser, Laurie A. Smith King

Proceedings of the IEEE Symposium on Field-Programmable Custom Computing Machines, 2007