共 50 条
- [33] On multi-threaded satisfiability solving with OpenMP OPENMP IN A NEW ERA OF PARALLELISM, PROCEEDINGS, 2008, 5004 : 146 - 157
- [35] Probabilistic noninterference for multi-threaded programs 13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 200 - 214
- [36] Studying multi-threaded behavior with TSViz PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), 2017, : 35 - 38
- [38] Branch prediction in multi-threaded processors 2000 INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PROCEEDINGS, 2000, : 179 - 188
- [39] Causal Termination of Multi-threaded Programs COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 814 - 830