共 50 条
- [41] Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C plus plus Programs ISSTA'18: PROCEEDINGS OF THE 27TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2018, : 356 - 359
- [44] PGASUS: A Framework for C plus plus Application Development on NUMA Architectures 2016 FOURTH INTERNATIONAL SYMPOSIUM ON COMPUTING AND NETWORKING (CANDAR), 2016, : 368 - 374
- [45] Model Checking a C plus plus Software Framework: A Case Study ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2019, : 1026 - 1036
- [46] EVALUATION OF SPECTRAL, SPECTRAL-ELEMENT AND FINITE-ELEMENT METHODS FOR THE SOLUTION OF THE PELLET EQUATION CANADIAN JOURNAL OF CHEMICAL ENGINEERING, 2014, 92 (08): : 1396 - 1413
- [47] The FKM Pedagogics for Teaching C plus plus Object Oriented Programming Language 2016 INTERNATIONAL CONFERENCE ON EDUCATION SCIENCE AND EDUCATION MANAGEMENT (ESEM 2016), 2016, : 102 - 106