A Formal Analysis of Space Filling Curves for Parallel Domain Decomposition | IEEE Conference Publication | IEEE Xplore