High level modeling for parallel executions of nested loop algorithms | IEEE Conference Publication | IEEE Xplore