RedCores parallel programming framework