共 50 条
- [2] Execution replay and debugging of distributed multi-threaded parallel programs COMPUTERS AND ARTIFICIAL INTELLIGENCE, 2000, 19 (06): : 511 - 526
- [3] 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
- [4] Paje: An extensible environment for visualizing multi-threaded programs executions EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, 2000, 1900 : 133 - 140
- [5] Parallel parsing of MPEG video in a multi-threaded multiprocessor environment PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 194 - 201
- [6] Security Check for Multi-threaded Programs 2016 IEEE SIXTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2016, : 465 - 470
- [7] Information Declassification for Multi-Threaded Programs APPLIED MATHEMATICS & INFORMATION SCIENCES, 2014, 8 (04): : 1911 - 1916
- [8] A Basis for Verifying Multi-threaded Programs PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 378 - 393
- [10] Probabilistic noninterference for multi-threaded programs 13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 200 - 214