共 50 条
- [2] Parallel and Distributed Bounded Model Checking of Multi-threaded Programs PROCEEDINGS OF THE 25TH ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING (PPOPP '20), 2020, : 202 - 216
- [3] Parallel Refinement for Multi-Threaded Program Verification 2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2019), 2019, : 643 - 653
- [4] Fault Localization in Multi-Threaded C Programs using Bounded Model Checking 2015 BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC), 2015, : 96 - 101
- [6] A reconfigurable multi-threaded architecture model ADVANCES IN COMPUTER SYSTEMS ARCHITECTURE, 2003, 2823 : 193 - 207
- [7] Multi-Threaded Parallel I/O for OpenMP Applications International Journal of Parallel Programming, 2015, 43 : 286 - 309
- [8] MTIO - A multi-threaded parallel I/O system 11TH INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM, PROCEEDINGS, 1997, : 368 - 373
- [9] Interactive visualization environment of multi-threaded parallel programs PARALLEL COMPUTING: FUNDAMENTALS, APPLICATIONS AND NEW DIRECTIONS, 1998, 12 : 311 - 318