A Research-Based Course Module to Study Non-determinism in High Performance Applications | IEEE Conference Publication | IEEE Xplore