US9715390B2 - Run-Time Parallelization of Code Execution Based on an Approximate Register-Access Specification