共 50 条
- [32] A REVIEW OF EXPLOITATION OF AND-PARALLELISM AND COMBINED AND OR-PARALLELISM IN LOGIC PROGRAMS [J]. SIGPLAN NOTICES, 1994, 29 (02): : 25 - 32
- [33] Space-efficient first race detection in shared memory programs with nested parallelism [J]. APPLIED PARALLEL COMPUTING: ADVANCED SCIENTIFIC COMPUTING, 2002, 2367 : 253 - 263
- [34] Space-efficient first race detection in shared memory programs with nested parallelism [J]. APPLIED PARALLEL COMPUTING: ADVANCED SCIENTIFIC COMPUTING, 2002, 2367 : 253 - 263
- [35] MUTAGEN DETECTION IN THEORY AND PRACTICE [J]. FOOD AND COSMETICS TOXICOLOGY, 1981, 19 (03): : 390 - 392
- [36] Experimenting with parallelism for the instantiation of ASP programs [J]. JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2008, 63 (1-3): : 34 - 54
- [37] Profiling Java']Java Programs for Parallelism [J]. 2009 ICSE WORKSHOP ON MULTICORE SOFTWARE ENGINEERING (IWMSE), 2009, : 49 - 55
- [39] Estimating Parallelism of Transactional Memory Programs [J]. 2013 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND TECHNOLOGY (ICIST), 2013, : 437 - 443