共 50 条
- [41] A Basis for Verifying Multi-threaded Programs [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 378 - 393
- [42] Verifying Multi-threaded Software with Impact [J]. 2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2013, : 210 - 217
- [43] Information Declassification for Multi-Threaded Programs [J]. APPLIED MATHEMATICS & INFORMATION SCIENCES, 2014, 8 (04): : 1911 - 1916
- [44] 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
- [45] A Multi-Threaded Semantic Focused Crawler [J]. Journal of Computer Science & Technology, 2012, 27 (06) : 1233 - 1242
- [46] A reconfigurable multi-threaded architecture model [J]. ADVANCES IN COMPUTER SYSTEMS ARCHITECTURE, 2003, 2823 : 193 - 207
- [47] Global multi-threaded instruction scheduling [J]. MICRO-40: PROCEEDINGS OF THE 40TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE, 2007, : 56 - 68
- [48] Probabilistic noninterference for multi-threaded programs [J]. 13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 200 - 214
- [49] On multi-threaded satisfiability solving with OpenMP [J]. OPENMP IN A NEW ERA OF PARALLELISM, PROCEEDINGS, 2008, 5004 : 146 - 157
- [50] Multi-threaded ASP solving with clasp [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2012, 12 : 525 - 545