共 50 条
- [41] A Multi-Threaded Semantic Focused Crawler Journal of Computer Science and Technology, 2012, 27 : 1233 - 1242
- [44] Performance characterization of data-intensive kernels on AMD Fusion architectures COMPUTER SCIENCE-RESEARCH AND DEVELOPMENT, 2013, 28 (2-3): : 175 - 184
- [45] Information Declassification for Multi-Threaded Programs APPLIED MATHEMATICS & INFORMATION SCIENCES, 2014, 8 (04): : 1911 - 1916
- [47] A Basis for Verifying Multi-threaded Programs PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 378 - 393
- [48] Verifying Multi-threaded Software with Impact 2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2013, : 210 - 217
- [49] A Tale of Two Data-Intensive Paradigms: Applications, Abstractions, and Architectures 2014 IEEE INTERNATIONAL CONGRESS ON BIG DATA (BIGDATA CONGRESS), 2014, : 645 - 652