共 50 条
- [31] Agents as multi-threaded logical objects COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 33 - 65
- [33] Global multi-threaded instruction scheduling MICRO-40: PROCEEDINGS OF THE 40TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE, 2007, : 56 - 68
- [34] A reconfigurable multi-threaded architecture model ADVANCES IN COMPUTER SYSTEMS ARCHITECTURE, 2003, 2823 : 193 - 207
- [37] On multi-threaded satisfiability solving with OpenMP OPENMP IN A NEW ERA OF PARALLELISM, PROCEEDINGS, 2008, 5004 : 146 - 157
- [39] Probabilistic noninterference for multi-threaded programs 13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 200 - 214