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