Dynamic Memory Bandwidth Allocation for Real-Time GPU-Based SoC Platforms