共 50 条
- [1] Parallelism in C plus plus using Sequential Communicating Processes [J]. 2018 17TH INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING (ISPDC), 2018, : 157 - 163
- [2] Shared Memory Parallelism in Modern C plus plus and HPX [J]. ASYNCHRONOUS MANY-TASK SYSTEMS AND APPLICATIONS, WAMTA 2023, 2023, 13861 : 27 - 38
- [3] Model checking C plus plus programs [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2022, 32 (01):
- [4] Assessing and discovering parallelism in C plus plus code for heterogeneous platforms [J]. JOURNAL OF SUPERCOMPUTING, 2018, 74 (11): : 5674 - 5689
- [6] On Monitoring C/C plus plus Transactional Memory Programs [J]. MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE, MEMICS 2014, 2014, 8934 : 73 - 87
- [7] Validating Optimizations of Concurrent C/C plus plus Programs [J]. PROCEEDINGS OF CGO 2016: THE 14TH INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, 2016, : 216 - 226
- [8] Rejuvenating C plus plus Programs through Demacrofication [J]. 2012 28TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE (ICSM), 2012, : 98 - 107
- [9] Summary of Model Checking C plus plus Programs [J]. 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), 2022, : 461 - 461