GiMMiK—Generating bespoke matrix multiplication kernels for accelerators: Application to high-order Computational Fluid Dynamics
Wozniak, Bartosz D., Witherden, Freddie D., Russell, Francis P., Vincent, Peter E., Kelly, Paul H.J.
Published in Computer physics communications (01.05.2016)
Published in Computer physics communications (01.05.2016)
Get full text
Journal Article
Symbolic Crosschecking of Data-Parallel Floating-Point Code
Collingbourne, Peter, Cadar, Cristian, Kelly, Paul H. J.
Published in IEEE transactions on software engineering (01.07.2014)
Published in IEEE transactions on software engineering (01.07.2014)
Get full text
Journal Article
Optimised three-dimensional Fourier interpolation: An analysis of techniques and application to a linear-scaling density functional theory code
Russell, Francis P., Wilkinson, Karl A., Kelly, Paul H.J., Skylaris, Chris-Kriton
Published in Computer physics communications (01.02.2015)
Published in Computer physics communications (01.02.2015)
Get full text
Journal Article
Comparative design space exploration of dense and semi-dense SLAM
Zia, M. Zeeshan, Nardi, Luigi, Jack, Andrew, Vespa, Emanuele, Bodin, Bruno, Kelly, Paul H. J., Davison, Andrew J.
Published in 2016 IEEE International Conference on Robotics and Automation (ICRA) (01.05.2016)
Published in 2016 IEEE International Conference on Robotics and Automation (ICRA) (01.05.2016)
Get full text
Conference Proceeding
Generating Optimized Fourier Interpolation Routines for Density Functional Theory Using SPIRAL
Popovici, Doru Thom, Russell, Francis P., Wilkinson, Karl, Skylaris, Chris-Kriton, Kelly, Paul H. J., Franchetti, Franz
Published in 2015 IEEE International Parallel and Distributed Processing Symposium (01.05.2015)
Published in 2015 IEEE International Parallel and Distributed Processing Symposium (01.05.2015)
Get full text
Conference Proceeding