1
Languages and Compilers for Parallel Computing [E-Book] : 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers /
2
Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings /
3
Languages and Compilers for Parallel Computing [E-Book] : 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019, Revised Selected Papers /
4
High Performance Computing for Computational Science - VECPAR 2018 [E-Book] : 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers /
5
High Performance Computing [E-Book] : ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers /