From algorithms to parallel architectures: a formal approach | IEEE Conference Publication | IEEE Xplore