Efficient Lava Flows Simulations with OpenCL: A Preliminary Application for Civil Defence Purposes | IEEE Conference Publication | IEEE Xplore