Execution-time profiling for multiple-process behavioral synthesis | IEEE Conference Publication | IEEE Xplore