Automatic run-time mapping of polyhedral computations to heterogeneous devices with memory-size restrictions