共 50 条
- [2] Approximate weighted matching on emerging manycore and multithreaded architectures [J]. INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, 2012, 26 (04): : 413 - 430
- [3] Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (POPL):
- [5] Performance pounds for distributed memory multithreaded architectures [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 232 - 237
- [7] Approximate simulation of distributed-memory multithreaded multiprocessors [J]. 35TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2002, : 107 - 114
- [8] A multithreaded processor designed for distributed shared memory systems [J]. ADVANCES IN PARALLEL AND DISTRIBUTED COMPUTING - PROCEEDINGS, 1997, : 206 - 213
- [10] Automatic Detection of Shared Objects in Multithreaded Java']Java Programs [J]. 2008 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING CONTROL & AUTOMATION, VOLS 1 AND 2, 2008, : 522 - 526