Cited By
View all- Abadi MKeidar-Barner SPidan DVeksler T(2019)Verifying Parallel Code After Refactoring Using Equivalence CheckingInternational Journal of Parallel Programming10.1007/s10766-017-0548-447:1(59-73)Online publication date: 1-Feb-2019
- Marzolla MD'Angelo GGarro AD'Ambrogio A(2017)Parallel sort-based matching for data distribution management on shared-memory multiprocessorsProceedings of the 21st International Symposium on Distributed Simulation and Real Time Applications10.5555/3199858.3199860(1-8)Online publication date: 18-Oct-2017
- León EJacob B(2017)mpibindProceedings of the International Symposium on Memory Systems10.1145/3132402.3132415(262-264)Online publication date: 2-Oct-2017
- Show More Cited By