共 50 条
- [41] 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
- [42] Causal Termination of Multi-threaded Programs COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 814 - 830
- [45] Branch prediction in multi-threaded processors 2000 INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PROCEEDINGS, 2000, : 179 - 188
- [46] Go! for multi-threaded deliberative agents DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES, 2004, 2990 : 54 - 75
- [48] Multi-threaded microprocessors - Evolution or revolution ADVANCES IN COMPUTER SYSTEMS ARCHITECTURE, 2003, 2823 : 21 - 45
- [50] Regression Verification for Multi-threaded Programs VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 119 - 135