Skeleton Programming for Heterogeneous GPU-based Systems