共 50 条
- [1] PSTM: Python']Python Software Transactional Memory 2014 22ND TELECOMMUNICATIONS FORUM TELFOR (TELFOR), 2014, : 1106 - 1109
- [2] An Approach to Formal Verification of Python']Python Software Transactional Memory PROCEEDINGS OF THE FIFTH EUROPEAN CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS (ECBS 2017), 2017,
- [5] Formal Verification of Python']Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model PROCEEDINGS OF THE 6TH CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2019), 2020,
- [7] AVOIDING DEADLOCK WITH A DUAL-PORT MEMORY MICROPROCESSING AND MICROPROGRAMMING, 1989, 25 (1-5): : 139 - 142
- [8] Dual-port memory with reconfigurable structure PROCEEDINGS OF THE FIFTH WORKSHOP ON ELECTRONICS FOR LHC EXPERIMENTS, 1999, : 348 - 351
- [9] Dual-Port Content Addressable Memory for Cache Memory Applications CMC-COMPUTERS MATERIALS & CONTINUA, 2022, 70 (03): : 4583 - 4597