共 50 条
- [1] Hydra: a C++11 framework for data analysis in massively parallel platforms [J]. 18TH INTERNATIONAL WORKSHOP ON ADVANCED COMPUTING AND ANALYSIS TECHNIQUES IN PHYSICS RESEARCH (ACAT2017), 2018, 1085
- [3] An operational semantics for C/C++11 concurrency [J]. 2016, Association for Computing Machinery, 2 Penn Plaza, Suite 701, New York, NY 10121-0701, United States (51):
- [4] Preparing for the new C++11 standard [J]. INTERNATIONAL CONFERENCE ON COMPUTING IN HIGH ENERGY AND NUCLEAR PHYSICS 2012 (CHEP2012), PTS 1-6, 2012, 396
- [5] An Operational Semantics for C/C++11 Concurrency [J]. ACM SIGPLAN NOTICES, 2016, 51 (10) : 111 - 128
- [7] Algebraic Semantics for C++11 Memory Model [J]. 2022 IEEE 46TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2022), 2022, : 1513 - 1518
- [8] A Practical Approach for Model Checking C/C++11 Code [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2016, 38 (03):
- [9] On the Quality of Implementation of the C++11 Thread Support Library [J]. 23RD EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2015), 2015, : 94 - 98
- [10] High-level Multicore Programming with C++11 [J]. COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2012, 9 (03) : 1187 - 1202