共 50 条
- [41] A reconfigurable multi-threaded architecture model ADVANCES IN COMPUTER SYSTEMS ARCHITECTURE, 2003, 2823 : 193 - 207
- [44] On multi-threaded satisfiability solving with OpenMP OPENMP IN A NEW ERA OF PARALLELISM, PROCEEDINGS, 2008, 5004 : 146 - 157
- [46] Probabilistic noninterference for multi-threaded programs 13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 200 - 214
- [48] 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
- [49] Causal Termination of Multi-threaded Programs COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 814 - 830