Polynomial-time Algorithms for Enforcing Sequential Consistency in SPMD Programs with Arrays

by Wei-Yu Chen · 2003