SkePU: a multi-backend skeleton programming library for multi-GPU systems