共 50 条
- [1] A Tool to Detect Performance Problems of Multi-threaded Programs on NUMA Systems [J]. 2016 IEEE TRUSTCOM/BIGDATASE/ISPA, 2016, : 1145 - 1152
- [2] Security Check for Multi-threaded Programs [J]. 2016 IEEE SIXTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2016, : 465 - 470
- [3] A Basis for Verifying Multi-threaded Programs [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 378 - 393
- [4] Information Declassification for Multi-Threaded Programs [J]. APPLIED MATHEMATICS & INFORMATION SCIENCES, 2014, 8 (04): : 1911 - 1916
- [5] Probabilistic noninterference for multi-threaded programs [J]. 13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 200 - 214
- [6] Information leakage of multi-threaded programs [J]. COMPUTERS & ELECTRICAL ENGINEERING, 2019, 78 : 400 - 419
- [7] Causal Termination of Multi-threaded Programs [J]. COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 814 - 830
- [8] Regression Verification for Multi-threaded Programs [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 119 - 135
- [9] Performance Analysis of Multi-threaded Applications in NUMA Multicore Processors [J]. 2015 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND INFORMATION SYSTEM (SEIS 2015), 2015, : 257 - 262
- [10] Workshop on Multi-Threaded Architectures and Applications - MTAAP [J]. 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW), 2012, : 1571 - 1571