Architectural models and design methodologies for general-purpose highly-parallel computers | IEEE Conference Publication | IEEE Xplore