Semi-automatic process partitioning for parallel computation | doi.page