共 50 条
- [31] Probabilistic noninterference for multi-threaded programs 13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 200 - 214
- [32] 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
- [34] Branch prediction in multi-threaded processors 2000 INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PROCEEDINGS, 2000, : 179 - 188
- [35] Causal Termination of Multi-threaded Programs COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 814 - 830
- [38] Go! for multi-threaded deliberative agents DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES, 2004, 2990 : 54 - 75
- [39] Regression Verification for Multi-threaded Programs VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 119 - 135