Platform-independent modeling of explicitly parallel programs | VDE Conference Publication | IEEE Xplore