共 50 条
- [31] A Multi-threaded Version of Field II [J]. 2014 IEEE INTERNATIONAL ULTRASONICS SYMPOSIUM (IUS), 2014, : 2229 - 2232
- [32] Information Declassification for Multi-Threaded Programs [J]. APPLIED MATHEMATICS & INFORMATION SCIENCES, 2014, 8 (04): : 1911 - 1916
- [33] A Basis for Verifying Multi-threaded Programs [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 378 - 393
- [35] Verifying Multi-threaded Software with Impact [J]. 2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2013, : 210 - 217
- [36] A Multi-Threaded Semantic Focused Crawler [J]. Journal of Computer Science & Technology, 2012, 27 (06) : 1233 - 1242
- [37] Agents as multi-threaded logical objects [J]. COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 33 - 65
- [39] Global multi-threaded instruction scheduling [J]. MICRO-40: PROCEEDINGS OF THE 40TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE, 2007, : 56 - 68
- [40] A reconfigurable multi-threaded architecture model [J]. ADVANCES IN COMPUTER SYSTEMS ARCHITECTURE, 2003, 2823 : 193 - 207