Evaluating an OpenCL FPGA Platform for HPC: a Case Study with the HACCmk Kernel | IEEE Conference Publication | IEEE Xplore