共 50 条
- [1] Dynamic deadlock analysis of multi-threaded programs HARDWARE AND SOFTWARE VERIFICATION AND TESTING, 2006, 3875 : 208 - 223
- [2] Interactive visualization environment of multi-threaded parallel programs PARALLEL COMPUTING: FUNDAMENTALS, APPLICATIONS AND NEW DIRECTIONS, 1998, 12 : 311 - 318
- [3] Analyzing the Impact of Change in Multi-threaded Programs FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2010, 6013 : 293 - +
- [7] Safe and Timely Dynamic Updates for Multi-threaded Programs PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 13 - 24
- [8] Execution replay and debugging of distributed multi-threaded parallel programs COMPUTERS AND ARTIFICIAL INTELLIGENCE, 2000, 19 (06): : 511 - 526
- [9] 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
- [10] Security Check for Multi-threaded Programs 2016 IEEE SIXTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2016, : 465 - 470