共 50 条
- [1] C++11 in Parallel [J]. SIGCSE 12: PROCEEDINGS OF THE 43RD ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2011, : 656 - 656
- [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] An Operational Semantics for C/C++11 Concurrency [J]. ACM SIGPLAN NOTICES, 2016, 51 (10) : 111 - 128
- [6] Algebraic Semantics for C++11 Memory Model [J]. 2022 IEEE 46TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2022), 2022, : 1513 - 1518
- [7] A Practical Approach for Model Checking C/C++11 Code [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2016, 38 (03):
- [8] 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
- [9] High-level Multicore Programming with C++11 [J]. COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2012, 9 (03) : 1187 - 1202
- [10] Service Level Objectives via C++11 Attributes [J]. EURO-PAR 2018: PARALLEL PROCESSING WORKSHOPS, 2019, 11339 : 745 - 756