Task scheduling in hybrid CPU-GPU systems